DC-DB = (DC2-DB2)/BC = (AC2-AB2)/BC = (b2-a2)/c 故に DB = ((DB+DC)-(DC-DB))/2 = (c2+a2-b2)/2c DC = ((DD+DC)+(DC-DB))/2 = (c2-a2+b2)/2c である。 また 2S = AD×BC = AD×c より AD = 2S/c である。 以上より求める結果 AD : DB : AB = 2S : (c2+a2-b2)/2 : ac AD : DC : AC = 2S : (c2-a2+b2)/2 : bc を得る。 　 戻る