Feladat: Pontversenyen kívüli P.111 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Bálint L. ,  Balogh Z. ,  Breuer P. ,  Császár Gy. ,  Hegyi F. ,  Hermann P. ,  Horváth M. ,  Kelen M. ,  Kiss Emil ,  Kópházi J. ,  Major I. ,  Nemeskéri I. ,  Németh Erika ,  Párkány Katalin ,  Stachó B. ,  Székely A. ,  Szeredi J. ,  Tóth Péter ,  Totik V. ,  Turi Erzsébet ,  Varga István 
Füzet: 1972/március, 123 - 124. oldal  PDF  |  MathML 
Témakör(ök): Terület, felszín, Trapézok, Paralelogrammák, Vektorok, Pontversenyen kívüli probléma
Hivatkozás(ok):Feladatok: 1971/szeptember: Pontversenyen kívüli P.111

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.

A föltevés azt jelenti, hogy minden olyan PQ pontpárra, amelyre

APPB=CQQD=λ(>0),(1)
teljesül a következő is:
(APQD)=(BPQC)=12(ABCD),(2)
egy konvex sokszög területét úgy jelölve, hogy zárójelben felsoroljuk csúcsait, valamelyik körüljárása sorrendjében. Megmutatjuk, hogy ebből a λ=1 speciális érték mellett azt kapjuk, hogy CD párhuzamos AB-vel.
 
 
1. ábra
 

Valóban λ=1 esetén P felezi AB-t és Q felezi CD-t (az 1. ábrán P1, ill. Q1), tehát
(AP1Q1D)=(BP1Q1C).(2')
Másrészt teljesül
(P1Q1D)=(P1Q1C)(3)
is, mert Q1D és Q1C alapjuk egyenlő és P1-ből húzott magasságuk azonos. (3)-at (2')-ből kivonva:
(AP1D)=(BP1C).
Ámde e két háromszög AP1, ill. BP1 alapja egyenlő, így magasságuk, azaz D-nek és C-nek az AB egyenestől való távolsága is egyenlő. És mivel az ABCD négyszög konvex, C és D ugyanazon az oldalán vannak AB-nek, tehát CD párhuzamos AB-vel, amint állítottuk. Más szóval: ABCD trapéz.
Legyen most Pλ, Qλ az (1)-nek egy tetszőleges λ(1) pozitív értékkel eleget tevő pontpár (2. ábra).
 
 
2. ábra
 

Így PλB=11+λAB, PλA=λ1+λAB, QλD=11+λCD, QλC=λ1+λCD.
 


APλQλD és BPλQλC közös magasságú és (2) szerint egyenlő területű trapézok, tehát egyenlők az EKλ, KλF középvonalaik is, ahol E, F az AD, ill. BC szár felezőpontja és Kλ az EF, PλQλ egyenesek metszéspontja. Így
EKλ-KλF=12(1+λ)(λAB+CD)-12(1+λ)(AB+λCD)=λ-12(1+λ)(AB-CD)=0,
és ez tetszőleges λ(1) arányérték mellett csak úgy teljesülhet, ha AB=CD, vagyis az ABCD négyszög paralelogramma. Ha viszont AB=CD, akkor minden λ arányérték mellett EKλ=KλF, tehát PλQλ minden λ mellett felezi a négyszög területét. Ezt kellett bizonyítanunk.
 

Kiss Emil (Budapest, Fazekas M. Gyak. Gimn. II. o. t.)
 

Megjegyzés. A feladat feltételéből csak annyit használtunk fel, hogy a PλQλ egyenes felezi a négyszög területét λ=1, és valamilyen, 1-től különböző, de különben tetszőleges λ érték mellett.