Çözüm: Eşitsizliğe geometrik bir ispat vereceğim.

|BC|=a,|CA|=b,|AB|=c,|AP|=x,|BP|=y,|CP|=z diyelim. Bu halde orijinal problemdeki eşitsizlik
ayz+bzx+cxy≥abc
biçiminde yazılır. BCPD ve ABDE paralelkenarlarını çizelim. Böylece |AE|=|BD|=|CP|=b olup ayrıca bu doğru parçaları birbirine paraleldir. O halde, ACPE bir paralelkenardır ve |PE|=|CA|=b olur. Bununla birlikte |PD|=a,|DE|=c eşitliklerini yazabiliriz.
APBD ve APDE dörtgenlerinde Ptolemy eşitsizliğini uygularsak
|AD|⋅y+xz≥ac
az+xc≥|AD|⋅b
Şimdi (2) eşitsizliğini b ile ve (3) eşitsizliğini y ile çarpalım.
|AD|⋅by+bzx≥abc
ayz+cxy≥|AD|⋅by
eşitsizliklerine ulaşırız. Bunları taraf tarafa toplarsak, (1) eşitsizliği olan
ayz+bzx+cxy≥abc
ifadesine ulaşırız.
Not: Ayrıca eşitlik koşulunu da belirleyebiliriz. Ptolemy eşitsizliğinin eşitlik koşulu, APBD ve APDE kirişler dörtgeni iken gerçekleşir. Böylece,
∠PAB=∠PDB=∠PCB=α
∠PBA=∠PDA=∠PEA=∠PCA=β
∠PAC=∠EPA=∠EDA=∠DAB=∠DPB=∠PBC=γ
olur. Buna göre, ABC üçgeninin iç açılar toplamından 2(α+β+γ)=180∘ olup α+β+γ=90∘ elde edilir. Böylelikle eşitlik durumunun ancak ve ancak, ABC üçgeninin dar açılı olması ve P nin de bu üçgenin diklik merkezi olması durumunda sağlandığını anlarız.