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. Jelöljük a , (azaz ) egyenesek metszéspontját -val, a trapéz szemben fekvő , és , csúcspárjait összekötő egyenesek metszéspontját -mel, továbbá legyen és . A esettel nem kell foglalkoznunk, mert mellett, és ha még az trapéz konvex (azaz paralelogramma), az , és pontok mindegyike az csúcsban adódik, tehát az állítás semmitmondó; ha pedig és hurkolt (vagyis az körüljárás adna paralelogrammát), akkor az metszéspont nem létezik. Az alakzatot konvex trapéz esetére az 1a és 1b ábrák, hurkolt trapéz esetére a 2a és 2b ábrák szemléltetik a , illetve nagyságviszony mellett. Az utóbbi megkülönböztetésre amiatt van szükség, mert az alakzat előállításában és a bizonyítandó állításban az , , , csúcsok mindegyike megkülönböztetett szerepet játszik (azaz és , valamint és nem ekvivalensek).
1a. ábra 1b. ábra A szerkesztés szerint a és háromszögek minden esetben hasonlók egymáshoz, úgyszintén a , háromszögek is. Ezek alapján | | (1) | és azt kell bizonyítanunk, hogy ennek az aránynak az értéke 2. Mivel az és háromszögek hasonlók egymáshoz, azért | | (2) |
Konvex esetében az szakaszon van, ezért az szakaszon, az szakaszon, így , ezért (2) alapján és (1) utolsó előtti tagja céljára Másrészt a , illetve nagyságviszony szerint: és mivel rendre , azért , majd (1) utolsó tagja, majd (3) figyelembevételével (1) értéke mindkét nagyságviszony esetére | |
2a. ábra 2b. ábra Hurkolt esetében az , , pont rendre az , , szakasz valamelyik meghosszabbításán van: , éspedig esetén az -n túli meghosszabbításon, esetén a másikon. (2) alapján | | aszerint, hogy . Másrészt , továbbá mindenképpen . így | | és ezekből a konvex esetéhez hasonlóan . Ezzel az állítást minden szóba jövő esetre bebizonyítottuk.
II. megoldás. Jelöljük az vektor irányába mutató egységvektort -vel, az vektor hosszát -vel: . Mivel a vektor párhuzamos -vel, is skalárszorosa -nek: . Ez a negatív is lehet, ha ugyanis az négyszög hurkolt, akkor és ellentétes irányúak. Legyen még , , első lépésként ennek az és számnak az értékét határozzuk meg. Jelöljük az , átlók metszéspontját -mel. Mivel rajta van az egyenesen, az -nek egy skalárszorosa, azaz | | A nem párhuzamos és vektorokkal minden vektort egyértelműen állíthatunk elő, tehát , és . Mivel másrészt rajta van a egyenesen, azért a a -nak egy skalárszorosa: | | amiből és következik. Tehát feltéve, hogy , különben ugyanis , és nem jön létre. ‐ A szerkesztés szerint , emiatt
Jelöljük a -n átmenő, -vel párhuzamos egyenesnek -en és -n levő pontjait -vel és -lel, ekkor azt a szerepet játssza a és alapokkal bíró trapézban, mint az -ben, így és , miatt ebből következik. Tehát paralelogramma, és az átló felezi -t, amint azt bizonyítani kellett. |