中の定理の証明

作成者:
Bunryu Kamimura

ナビゲーションを遡ってみてください。中さんのアイディアは相似三角形の証明に三角関数を使ったことです。みごと!

証明の見通し

①△EFO’と△EDBが相似であれば、△EDFが△ABCと相似であることが示せる。 ②∠EO´F=∠LBDを示す。 ③二辺の比が等しいことを示すために、まず△AFO’≡△O’LBを示す。 ④EB:EO’=AB:ACなのでLBとDBの比が同じになれば相似。 これをどう示せばいいだろうか。 なお、ACsinC=ABsinBなのでsinC:sinB=AB:AC