MathLabs

第1問

ABCABC を内心 II を持つ三角形とする。三角形の内部の点 PP が ∠PBA+∠PCA=∠PBC+∠PCB\angle PBA+\angle PCA = \angle PBC+\angle PCB を満たしている。このとき AP≥AIAP \geq AI であり、等号成立は P=IP=I のときに限ることを示せ。
ステップ 4/4: A,P,MA,P,M に三角不等式を適用する
AP+PM≥AM=AI+IM ⟹ AP≥AI(equality iff P=I)AP+PM\ge AM=AI+IM\ \Longrightarrow\ AP\ge AI\quad(\text{equality iff }P=I)
詳しい解説

A,P,MA,P,M に対する三角不等式より AP+PM≥AM=AI+IMAP+PM\ge AM=AI+IM。ステップ3の PM=IMPM=IM を引くと AP≥AIAP\ge AI を得る。AP+PM≥AMAP+PM\ge AM で等号が成り立つのは PP が線分 AMAM 上にあるときに限るが、線分 AMAM と中心 MM・半径 MIMI の円との交点は II ただ一点なので、等号成立は P=IP=I のときに限る。