(1) p + efp = e + f (2) p + hgp = h + g (3) p + x2p = 2x (4) p + y2p = 2y (5) s + egs = e + g (6) s + fhs = f + h を使って s + xys = x + y が成り立つことを示す (3), (4) より (x+y)p = 2 (x+y)p = 2xy これらと (1) より (x+y)(e+f) = 2xy + 2ef (x+y)(h+g) = 2xy + 2hg (5), (6) より (eg-fh)s = e+g - (f+h) (eg-fh)s = eg(f+h) - fh(e+g) よって 2(eg-fh)(s + xys) 　= 2(eg(f+h) - fh(e+g) + xy(e+g - (f+h))) 　= 2(ef+xy)(g-h) + 2(gh+xy)(e-f) 　= (x+y)((e+f)(g-h) + (h+g)(e-f)) 　= (x+y)(2eg-2fh) EF と HG が平行でないので 　eg-fh ≠ 0 である。従って s + xys = x + y である。 続く　　 一つ戻る　　　 戻る