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. Mindegyik átló két háromszögre vágja szét a négyszöget. Ezekben a háromszög‐egyenlőtlenség alapján az 1. ábra jelöléseit használva
Adjuk össze az ugyanazon átlót tartalmazó 2‐2 egyenlőtlenséget, majd szorozzuk az így adódó (nyilvánvalóan helyes) egyenlőtlenségeket a bennük szereplő átlóval Az átló pozitív, tehát a szorzások után is helyes egyenlőtlenségeket kapunk: | | Az (1) állítás ezek összeadásával és kellő kiemelésekkel adódik.
1. ábra Az állítás konkáv négyszögre is igaz, sőt hurkolt négyszögre is, az utóbbi esetben átlókon azokat a szakaszokat értve, melyeknek végpontjai a nem szomszédos és , ill. és csúcs-párok (2. ábra).
2. ábra II. A PQRST ötszög 3‐3 egymás utáni csúcsával meghatározott háromszögeket 2‐2 szomszédos ötszögoldal és egy átló határolja. Ezért
Avégett, hogy megkapjuk az átlók négyzetösszegét, szorozzuk meg a felírt egyenlőtlenségek mindkét oldalát a jobb oldalukon szereplő átlóval, majd adjuk össze az így kapott egyenlőtlenségeket:
A végzett átalakításokkal mindig a bal oldalon kaptunk nagyobb számot, mert az átlók mértékszámai pozitívok. A bal oldalon kapott összeg azonos az állítás (2) kifejezésével, csupán alakban különböznek, itt ugyanis a bal oldal az átlók szerint van rendezve, (2) pedig az oldalak szerint. ‐ Ezzel az állításokat bebizonyítottuk.
Legányi András (Tatabánya, Árpád g. I. o. t.)
3. ábra Megjegyzés. Az ötszögre is kaphatunk az (1)-hez hasonló egyenlőtlenségeket, ha azt is felírjuk, hogy az 1‐1 csúcs elhagyásával adódó négyszögekben a 3 egymás utáni ötszögoldal összege nagyobb, mint a szabad végpontjaikat összekötő átló. Pl. az RSTP négyszögben ezt (3) első egyenlőtlenségével összeadva kapjuk, hogy az ötszög (bármelyik) átlója kisebb a kerület felénél: Ezt mindegyik átlóra felírva kellő szorzás és összeadás után | |
|