Ptolemy teoremi, bir çember içine yazılmış bir dörtgenin köşegen uzunluklarının çarpımının, karşılıklı kenar uzunluklarının çarpımlarının toplamına eşit olduğunu ifade eder. Teoremin ispatı için aşağıdaki adımlar izlenebilir: 1. Dörtgen ABCD'yi ve bu dörtgenin köşegenleri AC ve BD'yi düşünün. 2. ∠ABK = ∠CBD olacak şekilde K noktasını AC köşegeni üzerinde yerleştirin. 3. BC yayının ∠BAC ve ∠BDC açılarını, AB yayının ise ∠ADB ve ∠ACB açılarını oluşturduğunu gözlemleyin. 4. Benzer üçgenler teoremine göre, △ABK ∼ △DBC ve △KBC ∼ △ABD üçgenleri benzerdir. 5. Benzer üçgenlerin kenarları orantılı olduğundan, AK/AB = CD/BD ve CK/BC = DA/BD oranlarını elde edin. 6. Bu oranları toplayarak AK⋅BD + CK⋅BD = AB⋅CD + BC⋅DA eşitliğini elde edin. 7. Son olarak, ortak terimi dışarı çıkararak (AK+CK)⋅BD = AB⋅CD + BC⋅DA eşitliğini elde edin. Bu şekilde, Ptolemy teoremi kanıtlanmış olur.