�僊BD の内接円と �僊DC の内接円の半径 r とする a = BC, b = CA, c = AB, f = AD とする。 4f2 = (b+c)2 - a2　　 であることを示す BG = BE = rx DE = DF = rz AF = AG = r(x+z)/(xz-1) CL = CK = ry DK = DM = r/z AM = AL = r(yz + 1)/(y-z) f = AF + FD = r((x+z)/(xz-1) + rz 　= rx(z2+1)/(xz-1) f = AM + MD = r(yz + 1)/(y-z) + r/z 　= ry(z2+1)/((y-z)z) である。 rx(z2+1)/(xz-1) = ry(z2+1)/((y-z)z) なので x/(xz-1) = y/((y-z)z) x(y-z)z = y(xz-1) よって y = xz2 を得る 注意　　 y = xz2 より BE × ED = DK × KC　が分かる 戻る　　 一つ戻る　　 続く