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 az , , , oldalak felezőpontjai rendre , , és . Húzzuk meg a négyszög valamelyik átlóját, pl. -t és ennek felezőpontján át húzzunk párhuzamost a másik átlóval. Azt állítjuk, hogy ezen párhuzamos egyenes bármely pontjára az , ill. négyszögek területe negyede az négyszög területének. A bizonyítást az egyik átlóra mutatjuk meg, a másik átlóra ugyanígy elvégezhető (1. ábra).
1. ábra | 2. ábra |
Legyen először a átló és metszéspontja. Ekkor és , ezért háromszög hasonló a háromszöghöz, a hasonlóság aránya , amiből . Ugyanúgy adódik, hogy vagyis területe, valóban negyede az négyszög területének. Hasonlóan adódik, hogy . Ha mármost -t az egyenesen mozgatjuk, akkor mivel és , a , ill. háromszögek területe változtatásával nem változik, és így a , ill. terület sem. Ha ezt az eljárást mindkét átlóra elvégezzük, a kapott két párhuzamos, és metszéspontja lesz az a pont, mellyel a felezőpontokat összekötve négy egyenlő területű részt kapunk. (2. ábra). mindig létrejön és mindig belső pont, ezt a következőképpen láthatjuk be (3. ábra). Húzzunk és pontokon át az átlóval, az és pontokon át a átlóval párhuzamost. Így egy paralelogrammát kapunk. Az és egyenesek e paralelogramma középvonalai. Metszéspontjuk , egyben a paralelogramma átlóinak is metszéspontja. Mivel az és , és (és így tovább) pontok mindig két szomszédos paralelogramma oldalon vannak, az ezen oldalak másik végpontjait összekötő átlónak mindig ugyanazon partjára esnek. Azaz nem eshet a négyszög oldalai által a paralelogrammából levágott háromszögek egyikébe sem. De akkor a négyszög belsejében van. Könnyű belátni, hogy csak egy pont van a négyszög belsejében, amely az előírásoknak eleget tesz.
3. ábra | 4. ábra |
Tegyük fel ugyanis, hogy két pont is lenne és , amelyik a négyszöget a kívánt módon osztja fel négy egyenlő területű részre (4. ábra). Ekkor ‐ mivel a négyszög konvex ‐ a által kiosztott négy rész valamelyikében (esetleg a határán) van. Legyen ez pl. . Ekkor , azaz nem osztja négy egyenlő területű részre a négyszöget. |