>>491
それを断言するために“a,bは有理数の定数とする”とあるんだけどね。
それと>>489は完全におかしいよ。[1]式と[2]式に共通解がなければ元の方程式は実数解を持たないんだが。