>>529
>AB=(D^2)C
>よってA=D^2またはB=D^2　これは仮定に反する。

ここが意味不明だが、有理数というだけの仮定でA=D^2云々は出てこない。
むしろA+B=D^2+Cを上の式に入れると
√(AB)＝-D√C<0で矛盾