>>61
無理数×無理数がゼロにならないことは自明だと思うが

>>63
Σa_(i1)a_(i2)・・・の積は異なるi1、i2、i3・・・の組の和を取る
そうすればすべての√は異なったものが現れる
つまり★にはx^2、y^2の項は現れない
F=Ca_1a_2+Ca_1a_3+・・・+Ca_1a_2a_3+・・・+Ca_1a_2a_3・・・a_k+q
の形ですべての項の係数がゼロではない