>>366
-√3=(a+b√2)/(c+d√2)となって、
有理化すると
-√3＝{a*c-b*d+(b*c-a*d)*√2}/{c^2-2*(d^2)}
となりました。
これからどうやって矛盾を言えばいいんでしょうか？