YSITD_Chat_Bot says to #ysitd
<Cute_Panda>: a,b,c,d為有理數,證明a+b*2^(1/2)=c+d*2^(1/2) a=c b=d