Feladat: Pontversenyen kívüli P.32 Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Beck József 
Füzet: 1970/február, 62 - 66. oldal  PDF  |  MathML 
Témakör(ök): Egyéb sokszögek egybevágósága, Háromszögek hasonlósága, Középpontos tükrözés, Numerikus és grafikus módszerek, Terület, felszín, ( x + 1/x ) > = 2 ( x > 0 ), Paralelogrammák, Síkgeometriai számítások trigonometria nélkül négyszögekben, Pontversenyen kívüli probléma
Hivatkozás(ok):Feladatok: 1969/április: Pontversenyen kívüli P.32

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.

Tükrözzük az ABCD négyszöget a B' pontra, kapjuk az EFGH négyszöget (1. ábra), ahol G azonos D-vel, H azonos C-vel.

 

 
1. ábra
 

Állítsuk elő az új négyszögben az E', F', G', H' és E1, F1, G1, H1 pontokat ugyanúgy, mint az eredeti négyszög megfelelő pontjait. Az új négyszöget E'-re tükrözve kapjuk az IJKL négyszöget (J a D2-vel, K az F-fel azonos), és ebben hasonlóan állítsuk elő a további 4‐4 pontot, végül ezt a négyszöget L'-re tükrözve az MNOP négyszöget kapjuk (M a D-vel, N a J-vel azonos).
Mivel D-ben az eredeti négyszögnek mind a négy szöge fellép, az MP egyenes azonos DA-val, a tükrözések miatt AD=EH=IL=MP, tehát P és A is azonos, és utolsó négyszögünk az eredetiből C'-re való tükrözéssel is előállítható.
A B1E1L1O1 négyszög T2 területe egyenlő (T-T1)-gyel, hiszen e négyszögnek az előbbi négy négyszögbe eső darabjai rendre egybevágóak az eredeti ABCD négyszög T1-en kívüli részének rendre egy-egy darabjával. Az ACFI négyszög oldalai rendre párhuzamosak az eredeti négyszög megfelelő átlóival, ez tehát paralelogramma, és területe az eredeti négyszög területének kétszerese: P=2T
Jelöljük a B1E1, E1L1, L1O1, O1B1 egyenesnek az AC, CF, FI, IA oldalon levő pontját rendre F0, I0, A0, C0-lal, az AC, BD átlók metszéspontját R-rel, és legyen
p=ARAC;q=RCAC;r=DRDB;s=RBDB;(1)
α=IA0IF;β=AC0AI;γ=CF0CA;δ=FI0FC(2)
Ekkor p+q=1, r+s=1. Legyen még IF és DL metszéspontja S. Az A0SL, ARL háromszögek hasonlóak, emiatt
A0S:SL=AR:RL,SLAR=A0SRLSLBDARAC=A0SACRLBD,

rp=(p-α)(1+r),α=p1+r.



Hasonló módon kapjuk, hogy
β=r1+q,γ=q1+s,δ=s1+p.(3)
 

 
2. ábra
 

Az L1-en át AC-vel párhuzamosan húzott egyenes messe AI-t L2-ben, és legyen (2. ábra)
L1L2AC=t;AL2AI=m;L2IAI=n.
Az AL1L2 és AA0I hasonló háromszögek alapján t=mα, hasonló módon kapjuk, hogy t=nδ, ezek alapján
t=α1+δα.
Az ACFI és AL1I idomok területének aránya tehát:
TALI1P=12α1+δα.

Hasonló módon kapjuk, hogy
TCO1AP=12β1+αβ,TFB1CP=12γ1+βγ,TIE1FP=12δ1+γδ.
Jelöljük e négy háromszög területének összegét Q-val akkor
2QP=α1+δα+β1+αβ+γ1+βγ+δ1+γδ.(4)
Fenti összefüggéseink alapján P=2T, Q=P-T2=P-T+T1=T+T1 így
2QP=2T+2T12T=1+T1T.
Azt kell tehát megmutatnunk, hogy
1+162QP1+15.(5)

(3) és (4) alapján
2QP=p(p+1)sp+(p+1)(r+1)+r(r+1)pr+(r+1)(q+1)+q(q+1)rq+(q+1)(s+1)+s(s+1)qs+(s+1)(p+1).


Avégett, hogy ezt a kifejezést könnyebben tudjuk kezelni, vezessük be új változóknak az egyes nevezőkben álló kifejezéseket. Mivel p+q=r+s=1, ezek értéke:
1+2p+r=5x,1+2r+q=5y,(6)1+2q+s=5u,1+2s+p=5v.
Új változóinkkal a régieket kifejezve kapjuk, hogy
p+1=2x+v,p=2x-y,r+1=2y+x,r=2y-u,(7)q+1=2u+y,q=2u-v,s+1=2v+u,s=2v-x.
Ezek alapján
2QP=(2x+v)(2x-y)5x+(2y+x)(2y-u)5y+(2u+y)(2u-v)5u+(2v+u)(2u-x)5v==45(x+y+u+v)-15(vyx+xuy+yvu+uxv)=85-15(vyxu+xuvy).


Közben többször használtuk, hogy x+u=y+v=1, ami (6)-ból közvetlenül látható. (5) alapján azt kell belátnunk, hogy
2vyxu+xuvy163.(8)
A bal oldal könnyen belátható, hiszen x, y, u, v pozitívak, így pozitív a vyxu szám is, és egy pozitív számnak és reciprokának az összege valóban legalább 2. Egyenlőség akkor és csak akkor teljesül, ha a mondott hányados 1-gyel egyenlő; ez a helyzet pl. ha az eredeti négyszög négyzet. A jobb oldali egyenlőtlenség pedig abból fog következni, hogy megmutatjuk, vyxu szám 23 és 32 között van. 32-hez tetszőleges közeli értéket kapunk pl., ha a négyszög egyik oldala elég kicsi a többihez képest.
Mivel 0p1, 0r1, (7) alapján kapjuk, hogy az x, y értékek a
02x-y1,02y-x-11(9)
egyenlőtlenségekkel meghatározott tartományban vannak, melyet az x, y síkon a 3. ábra mutat be.
 

 
3. ábra
 

Azt kell tehát megmutatnunk, hogy ezen a tartományon
23y(1-y)x(1-x)32.
Mivel x és y szerepét felcserélve a kifejezés értéke saját reciprokába megy át, és a vizsgált tartomány egy hasonló típusú tartományba, elegendő például a jobb oldalt bebizonyítanunk. Rögzített x értékek mellett a kifejezés értéke annál nagyobb, minél messzebb van y értéke 1/2-tő1, a kifejezés legnagyobb értékét tehát a tartomány határán kapjuk. Például az y=2x egyenesen a kifejezés értéke
2x(1-2x)x(1-x)=4-21-x,
ami x-ben monoton változik. így szélső értékeit a vizsgált szakasz végpontjaiban veszi fel: x=15, illetve x=25 mellett, ekkora kifejezés értélre 32, illetve 23 Hasonló módon kapjuk, hogy a kifejezés értéke a többi oldalszakaszon is monoton változik, és a másik két csúcsban is 32, illetve 23 az értéke, állításunkat ezzel bizonyítottuk.