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. Legyenek a húrnégyszög csúcsai ,,,, a téglalapok középpontjai , , , , az -val szomszédos két téglalap-csúcs pedig és ( ábra). Először megmutatjuk, hogy az , , , négyszög szemközti oldalai egyenlőek (vagyis hogy a négyszög paralelogramma), majd pedig azt, hogy az egyik szög derékszög.
A feladat feltételeiből következik, hogy a húrnégyszög szemközti oldalaira szerkesztett téglalapok egybevágóak; ezért és , továbbá és . Az csúcsnál levő teljesszöget ‐ -ot ‐ a , a és két -os szög alkotja, tehát , hiszen a húrnégyszög szemközti szögeinek összege . Ekkor viszont
Az és az háromszögekben tehát megegyezik két-két oldal és az azok által bezárt szög, ezért a háromszögek egybevágóak, így . A bizonyítás során hallgatólagosan feltételeztük, hogy a szög hegyesszög, ez azonban nem jelent lényeges megszorítást. A húrnégyszög két szemközti szöge közül ugyanis vagy mindkettő derékszög ‐ és ekkor az egyenlőség nyilván teljesül ‐, vagy pedig az egyik hegyesszög, a másik pedig tompaszög. Ez utóbbi esetben pedig feltehető, hogy a -nél levő szög hegyesszög. Ugyanígy láthatjuk be, hogy . A paralelogramma szemközti szögei egyenlők, tehát ; az egyenlő szögeket felbontva: | |
Ismét felhasználtuk, hogy az húrnégyszögben a és csúcsoknál levő szög hegyesszög. Hasonlóan végezhető a bizonyítás azokban az esetekben is, amikor e szögek között derékszög vagy tompaszög is van. Az egyenlőséget átrendezve:
A bal oldalon éppen az szög kétszerese áll, mivel az és háromszögek egybevágósága miatt, az és az háromszögek egybevágóságából pedig következik. A jobb oldalon levő két szög összege , hiszen a szemközti téglalapok egybevágósága miatt. Beláttuk tehát, hogy , így az négyszög derékszögű paralelogramma, vagyis téglalap. |