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