Tegyük fel, hogy ABCD húrnégyszög, és a k olyan kör, mely a húrnégyszög minden oldalát két pontban metszi. Tekintsük, az ábrán látható módon, az ABCD belsejében létrejövő lA, lB, lC, lD íveket. Bizonyítsuk be, hogy az lA és lC ívek hosszának összege egyenlő az lB és lD ívek hosszának összegével.
Megoldás: -