18/09/19 16:03:20.74 nLnx1y/v.net
>>107
＞>xy を x^2－xy＋y^2 で割った商をaとする。
＞xy≦x^2－xy＋y^2じゃね？
＞a=0、あまりx^2－xy＋y^2になるよ？
x≧y と仮定していて x≧3、y≧2 だから、x＝y≧3 のときもあり得て、
このときは xy＝x^2 は x^2－xy＋y^2＝x^2 で割り切れて a＝1 となる。見落としがあった。
>94-96、>107
>>110の
＞>>107
＞いわれてみるとそうだな。>>94-96は一体何だったんだろう。
＞
＞>>94-96
＞>互いに素ではなくない？
＞xy≦x^2－xy＋y^2 だから、xy を x^2－xy＋y^2 で割ったときの商は0で余りをaとする。すると、x^2－xy＋y^2＋a＝xy、
＞a≠0 とすると、(x－y)^2＞－a で、(x－y)^2＝－a に反し矛盾するから、a＝0、故に。x^2－xy＋y^2＋a＝xy。
のところは削除。>>106の添え字を訂正して読めばいい。