コーシー・シュワルツ不等式で等号が成立するのは、PD=PE=PFPD=PE=PFPD=PE=PF、すなわち PPP が三辺から等距離にある場合に限る。三辺を含む直線から等距離にある点は内心と3つの傍心だが、三角形の内部にあるのは内心だけである。したがって最小値は P=IP=IP=I でのみ達成される。