(続き)
★さて、ここで左辺 C_[m-1](a_1,..,a_[m-1])^2 が一気に有理数になってしまう場合は特別です。
それ以外では、※を満たす D_[m-1](x,y,z...) が作れるのは明らかです。
（何も考えずに D_[m-1](x,y,z...)＝C_[m-1](x,y,z...)^2 - a_m^2 を作っても※を満たさないので無意味です）

例えば C_4(x,y,z,w) = xyzw のような形は明らかに除外できますが、
他の形式は二乗して有理数になる事はないのか？ そういった形式は有理化の際に現れないという保証は？
結局の処は、
　>48 「＊より（中略)二乗して√がすべて消えることはありえない」
の部分が理解できないという事に尽きます。 私がバカなんでしょうか？