A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. I. megoldás. Az és háromszögek egybevágóak, mert oldaluk közös, másik két-két oldaluk pedig egyenlő. Ezért . Mivel és metszik egymást, és az egyenesnek ugyanazon az oldalán helyezkedik el. A szögek egyenlősége miatt ezért és az szakasz szöghöz tartozó két látóköríve közül ugyanazon van rajta, tehát húrnégyszög.
Ptolemaiosz tétele (lásd pl. Geometriai feladatok gyűjteménye I., 1259. feladat) szerint bármely húrnégyszög két-két szemközti oldala szorzatának összege megegyezik az átlók szorzatával. Esetünkben tehát azaz | |
A háromszög-egyenlőtlenség miatt és . Ezen feltételek teljesülése esetén is fennáll, s ilyenkor létezik az négyszög.
II. megoldás. Az húrnégyszög szimmetrikus trapéz, mert két szemközti oldala, és egyenlő. Ezért , vagyis . A koszinusztételt az , illetve az háromszögekre felírva | | tehát | | Ebből átszorzás és rendezés után az egyenlőséget kapjuk. Mivel , azért , vagyis . |