>>39
すみません、割り切るの記号が逆転だったかもです
pa=(a-q)bなので
bはpaを割り切り、よってbはp(≧1)を割り切ります
これからp=kb(k≧1)とかけて、(ka+q)b=abより矛盾
のつもりでした

直線は長方形(0,0)(0.a)(b,0)(b,a)の対角線であり
前述の長方形はこれと中心を共有しているため直線により二等分されることがわかります