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 egy konvex négyszög átlóinak metszéspontját -mel (2. ábra). Alkalmazzuk a háromszög-egyenlőtlenséget az , , , háromszögekre
A négy egyenlőtlenséget összeadva | | A bal oldal nem kisebb a legkisebb oldal 4-szeresénél, a jobb nem nagyobb a nagyobb átló négyszeresénél, s így valóban a legkisebb oldal kisebb a nagyobbik átlónál.
2. ábra II. megoldás. Vizsgáljuk pl. a négyszög oldalát és átlóját. Ha , akkor a feladat állítása érvényes: a legkisebb oldal biztosan kisebb a nagyobbik átlónál. Ha , akkor megmutatjuk, hogy az -vel szemben levő oldal kisebb a másik átlónál: . A feltételből ugyanis következik (az háromszögre alkalmazva az oldalak és szögek közti összefüggést), hogy Másrészt konvex négyszög átlói két részre osztják a négyszögnek a végpontjaikban levő szögeit, így Ebből ismét az oldalak és szögek közti összefüggés alapján nyerjük, hogy , amint állítottuk. Ezzel a bizonyítást befejeztük.
Megjegyzések. 1. A feladat állításánál többet is bizonyítottunk: konvex négyszög bármelyik szemben fekvő oldalpárjának egyik tagja kisebb valamelyik átlónál (tehát a hosszabb átlónál minden esetre kisebb), s így legalább két oldal kisebb, mint az átlók hosszabbika. Azt is látjuk, hogy ha csak két ilyen oldal van, ezek szomszédosak. 2. A megoldásból az is következik, hogy ha valamelyik oldal nem kisebb egyik átlónál sem, akkor a szemben fekvő oldal mindkét átlónál kisebb. 3. A rövidebb átlóra a bizonyítás azt adja, hogy ahány oldal nem kisebb a rövidebb átlónál, legalább annyi a hosszabbik átlónál kisebb oldal van.
III. megoldás. Legyen a négyszög legnagyobb szöge az szög (3. ábra). Ez legalább , különben ugyanis a szögek összege nem lehetne . Így az szög nagyobb az háromszög másik két szögénél. Ezért az szöget bezáró és oldalak ‐ egyszersmind a négyszögnek is oldalai ‐ kisebbek a háromszög oldalánál, ami a négyszögnek átlója. Ezzel az állítást bebizonyítottuk.
3. ábra Megjegyzések. 1. A mondottakból következik, hogy ha egy konvex négyszögben két szemben levő szög egyike sem hegyesszög, akkor mind a négy oldal kisebb a hosszabb átlónál. 2. Megmutatjuk, hogy minden konvex négyszögnek a legkisebb oldala fölé négyzetet rajzolva még ennek az átlója sem nagyobb a hosszabb átlónál. Legyen továbbra is , válasszuk a betűzést úgy, hogy álljon , mérjük rá a szakaszt -től a félegyenesre, és legyen a végpont . Ekkor , mert az háromszögből, amennyiben különbözik -től, tehát az háromszögben -nél tompaszög van, . Ha , akkor az említett négyzet-átló, s így állításunk helyes. Ha , akkor állítsunk merőlegest -ben -re és mérjük fel erre a szakaszt, azon az oldalon, amelyen a négyszög fekszik. Így , tehát rajta van az szakasz felező merőlegesén. pedig e merőlegesnek -et tartalmazó partján van, mert a felező merőlegesből körüli, hegyessszögű forgással jutunk -be (ti. akkorával mint -be), onnan tovább -os forgással -ba, és a két forgás összege kisebb -nál. Ez esetben , a kérdéses négyzetátló, kisebb -nél. Ha pedig egybeesik -vel, akkor . Ezzel igazoltuk állításunkat. Pythagorász tételéből tudjuk, hogy az oldalú négyzet átlójának hossza . Eszerint konvex négyszög két, tompaszöget vagy derékszöget bezáró oldala közül a kisebbik -szöröse kisebb valamelyik átlónál vagy egyenlő vele.
IV. megoldás. Az átlók metszéspontja mindegyik átlót két részre osztja (2. ábra). Válasszuk a betűzést úgy, hogy a négy szakasz legnagyobbika legyen, vagy a legnagyobbak egyike. Ekkor tehát van olyan oldal, amelyik kisebb egy átlónál, s így a legkisebb oldal bizonyosan kisebb a nagyobbik átlónál.
Megjegyzések. 1. A választott jelölések mellett fennáll is, tehát konvex négyszögnek mindig van két szomszédos oldala, amelyek rövidebbek a közös végpontjukból induló átlónál. 2. Kiindulhatunk a legkisebb átlórészből is. Ha pl. nem nagyobb a , , szakaszok egyikénél sem, akkor és Így azt kaptuk, hogy konvex négyszögben mindig van két szomszédos oldal, amelyek kisebbek a velük háromszöget alkotó átlónál. A két oldalpár közös végpontjai csak akkor lehetnek szemközti csúcsok, ha ugyanaz a szakasz szerepel a legrövidebbek közt és a leghosszabbak közt is, vagyis ha a két átlót csupa egyenlő részekre osztja (téglalap esetén). Ekkor bármelyik szomszédos oldalpár rendelkezik mindkét tulajdonsággal. Egyébként vagy mindkét állítás ugyanarról az oldalpárról szól, vagy ugyanarról az átlóról (és a szóban forgó két oldal közül egy oldal kétszer nyer említést). A két állításból így az is következik, hogy egy konvex négyszögnek vagy van két szomszédos oldala, amelyek mindegyike kisebb mindkét átlónál, vagy három oldala kisebb a hosszabb átlónál. Lásd az 1961. évi Kürschák József matematikai tanulóverseny 1. feladatát, K. M. L. 24 (1962) 98. o. |