Feladat: F.2216 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Bohus Géza ,  Szegedy P. 
Füzet: 1980/január, 15 - 16. oldal  PDF  |  MathML 
Témakör(ök): Tengelyes tükrözés, Szögfelező egyenes, Síkbeli ponthalmazok távolsága, Síkgeometriai számítások trigonometria nélkül háromszögekben, Feladat
Hivatkozás(ok):Feladatok: 1979/szeptember: F.2216

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.

Mozgassunk egy P pontot a DE egyenesen, jellemezzük helyzetét a DP=x előjeles szakasszal, amit E felé vegyünk pozitívnak. P-nek az AB=e3 egyenestől való távolsága mint x függvénye

d3(x)=d3(0)+xsinφ,(1)
ahol φ a DE és BA egyenesek szöge, és d3(0) természetesen D-nek AB fölötti magassága. Könnyű belátni, hogy d3(DE)d3(0) aszerint, hogy CACB, és ha ezek nem egyenlők, akkor elég nagy abszolút értékű x0 mellett d3(x) negatívnak adódik, mert P átlép e3-on, ennek C-t és a háromszöget nem tartalmazó partjára. Ilyenkor feladatunkban természetesen |d3(x)|-ét használjuk majd föl.
 
 

Válasszuk DE-t hosszegységnek, ekkor E-re x=1, és kiküszöbölhetjük (1)-ből a szöget: d3(1)=d3(0)+sinφ, tehát
d3(x)=d3(0)+x(d3(1)-d3(0)).(2)
Látjuk, hogy d3(x) az x-nek elsőfokú függvénye. Nyilván ugyanez áll P-nek BC-től, CA-tól mért, ugyanígy értelmezett d1(x), illetve d2(x) távolságára. Ezekre D-ből d3(0)=d2(0) és E révén d3(1)=d1(1) ‐ itt használtuk föl D és E szögfelezős származtatását ‐, továbbá d1(0)=0 és d2(1)=0, mert D,E rajta van BC-n, illetve AC-n.
Így d1(x)-nek és d2(x)-nek 2 ‐ 2 helyen fölvett értékét ismertként kezelhetjük, és (2)-höz hasonlóan
d1(x)=d1(0)+x(d1(1)-d(0)),azazd1(x)=xd1(1),
és ugyanígy
d2(x)=d2(0)-xd2(0).

Ezekből ‐ az említett egyenlőségeket is fölhasználva ‐ minden x-re:
d1(x)+d2(x)=d2(0)+x(d1(1)-d2(0))=d3(0)+x(d3(1)-d3(0))=d3(x),(3)
és ez tüstént az állítás igazolása P-nek minden olyan helyzetére, amelyre egyik di(x) sem negatív (i=1,2,3), és közülük d3(x) a legnagyobb. Van ilyen helyzete P-nek, a DE szakasz minden pontja ilyen, más szóval: amikor P a C-t tartalmazó DOE szögtartományban halad, beleértve az OD, OE félegyeneseket. Ugyanis ekkor P a háromszög belsejében van (illetve a kerületén), továbbá a síknak az AD szögfelezővel való kettévágása révén d3(x)d2(x), és BE révén d3(x)d1(x).
Amint P átlép E-n, egyrészt d2(x) negatív lesz, mert átlépte az AC oldalegyenest, másrészt d1(x) nagyobb lesz, mint d3(x), mert a BE szögfelezőt is átlépte; továbbá d1(x)>|d2(x)| is teljesül, mert ez a nagyságviszony a CO szögfelezőn átlépve fordul az ellentétesre, ezt pedig P már D és E közt átlépte. Ezek szerint d1(x) a három távolság legnagyobbika, d2(x)=-|d2(x)| és (3)-ból d1(x)=d3(x)+|d2(x)|, tehát az állítás ekkor is érvényes.
A legutóbbiakból úgy kapjuk az állítást a DE szakasz D-n túli meghosszabbításán levő P pontokra, hogy az 1-es és 2-es indexeket fölcseréljük egymással.
 

 Bohus Géza (Budapest, Fazekas M. Gyak. Gimn., IV. o. t.)
 
Megjegyzés. CA=CB esetén az állítás elemi tükrözésekkel is könnyen belátható.