(2) p + hgp = h + g
(3) p + x2p = 2x
(4) p + y2p = 2y
(7) d + g2s = 2g
(8) d + h2s = 2h
を使って
d + xyd = x + y

が成り立つことを示す
(3), (4) より
(x+y)p = 2
(x+y)p = 2xy
これらと (2) より
(x+y)(h+g) = 2xy + 2hg
(7), (8) より
(g+h)d = 2
(g+h)d = 2gh
(g+h)(d + xyd)
 = 2gh + 2xy = (x+y)(g+h)
HD と GD が平行でないので
 g+h ≠ 0
である。従って
d + xyd = x + y

である。

一つ戻る    戻る