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. 1. Az háromszög beírt köre a , a , illetve az oldalt rendre az , a , illetve a pontban érinti, -ból induló súlyvonala pedig az pontban metszi a szakaszt. Mutassuk meg, hogy az szakasz merőleges a oldalra.
I. megoldás. Ha , akkor az ábra szimmetrikus az -ból induló magasságra, amely egyben súlyvonal is. Ezért az és az pont is ezen a szimmetriatengelyen fekszik, így az állítás triviális. A továbbiakban feltesszük, hogy . Ekkor az -ból induló szögfelező nem merőleges a oldalra, tehát az -nek egy, a -re merőleges egyenesre vett tükörképe nem párhuzamos -vel. Legyen az háromszög beírt körének középpontja, és jelölje , és rendre az , , illetve pontoknak az egyenesre vett tükörképét. Láttuk, hogy és nem párhuzamosak, ezért egyértelműen létezik az és egyeneseknek egy metszéspontja. Legyen a -nek az -ra vett tükörképe, valamint jelölje a és metszéspontját (1. ábra).
1. ábra Ekkor a tükrözés miatt, illetve , hiszen és a beírt kör érintői. Ezek szerint , , , és egy körön vannak, konkrétan a Thálesz-körén. Ezen körnek és egyenlő hosszúságú húrjai (mivel mindkét szakasz a beírt körnek ugyanabból a külső pontból húzott érintője), tehát -ban ugyanakkora kerületi szögek tartoznak hozzájuk: ; az utóbbi egyenlőség a tükrözés miatt igaz. Ezek szerint illeszkedik a szakaszra. miatt és a tükrözésből adódóan. Alkalmas, -ból végzett középpontos hasonlóság tehát -t -be és -et a szakasz felezőpontjába viszi. Ez pedig azt jelenti, hogy rajta van az háromszög -ból induló súlyvonalán. Az pont tehát megegyezik a szakasznak és az háromszög -ból induló súlyvonalának metszéspontjával, -mel, ahonnan adódik. Nekünk pedig pontosan ezt kellett igazolunk.
Az alábbiakban közöljük Egri Máté rendkívül szellemes megoldásának vázlatát is.
II. megoldás. Jelölje az háromszög beírt körének -gyel átellenes pontját, és legyenek rendre és a beírt körhöz -ban húzott (és -vel párhuzamos) érintőnek az és oldalakkal vett metszéspontjai (2. ábra). 2. ábra Azt fogjuk megmutatni, hogy az pont egyrészt megegyezik és metszéspontjával, másrészt, hogy illeszkedik az szakaszra. A konstrukció folytán trapéz, így átlóinak metszéspontját a szárak metszéspontjával (azaz -val) összekötő egyenes felezi az alapokat. Ez azt jelenti, hogy és metszéspontja illeszkedik az -ból induló súlyvonalra. A továbbiakban a jól ismert Brianchon-tételre támaszkodunk, amely szerint egy érintőhatszög szemközti csúcsait összekötő három átló egy ponton halad át. A tételt abban az elfajuló esetben alkalmazzuk, amikor az érintőhatszög bizonyos csúcsai a hatszög beírt körén vannak. Ilyenformán az elfajuló érintőhatszög fenti tulajdonsága alapján tartalmazza és metszéspontját, amely ‐ mint láttuk ‐ az -ból induló súlyvonalon van. Tehát és valóban az pontban metszik egymást. Az érintőhatszögre pedig az adódik, hogy is tartalmazza -et. A feladat állítása innen közvetlenül adódik.
2. Legyenek a térbeli derékszögű koordinátarendszer egész koordinátájú, páronként különböző, hosszúságú vektorai, ahol prímszám. Tegyük fel, hogy tetszőleges esetén van olyan egész szám, melyre a vektor mindhárom koordinátája -vel osztható. Igazoljuk, hogy .
Megoldás. Ha , akkor a hosszúságú, egész koordinátájú vektorok kizárólag a , , vektorok lehetnek, amiből pontosan hat db van. A továbbiakban feltesszük tehát, hogy . Figyeljük meg, hogy ha valamelyik vektor mindhárom koordinátája -vel osztható, akkor a feladatbeli feltétel szerint valamely esetén a vektor mindhárom koordinátája osztható -vel. Ekkor azonban az vektornak, következésképp a vektornak is mindhárom koordinátája osztható -vel, tehát a vektorok mindegyikére ugyanez igaz. Tekintettel arra, hogy a hosszúságú, -vel osztható egész koordinátájú vektorok csupán hatfélék lehetnek (konkrétan , , ), ezért feltehetjük, hogy a vektorok egyikének sem osztható mindhárom koordinátája -vel. A feladatbeli feltétel miatt tetszőleges esetén létezik olyan egész, amelyre az vektor mindhárom koordinátája egész. Ekkor (az és vektorok skaláris szorzatát -nal jelölve)
azaz | | Mivel és egész, ezért a fenti egyenlőség bal oldala is többszöröse, tehát . Ekkor
így okán . Azonban miatt csak vagy lehet. Ezért ha és nem párhuzamosak, akkor bizonyosan merőlegesek egymásra. Azt kaptuk tehát, hogy a vektorok meghatározta irányok páronként merőlegesek, ezért legfeljebb három ilyen irány lehetséges. Minthogy az azonos irányt meghatározó vektorok egymás ellentettjei, ezért minden irányt legfeljebb két vektor határoz meg, innen pedig közvetlenül adódik a bizonyítandó állítás.
Megjegyzés. Ha valamely pozitív egészre, akkor megadható hat olyan vektor, amelyek teljesítik a feladatbeli követelményeket, és egyikük sem párhuzamos a koordinátatengelyekkel. Könnyű ellenőrizni, hogy például a , , illetve ilyen vektorhármast alkot. Általánosságban az igaz, hogy a és az kivételével minden prímre létezik hat vektor a fenti tulajdonsággal. A részletekért ld. az A. 744., ehavi számunkban kitűzött feladatot.
3. A utcából álló Aprajafalván klub működik, mindegyik tagsága törpöt számlál. Egy törp több klubnak is tagja lehet, és két törp bizonyosan ismeri egymást, ha klubtársak vagy ha ugyanabban az utcában laknak. Igazoljuk, hogy kiválasztható különböző klub és ezeknek egy-egy tagja úgy, hogy ez az tag páronként különböző legyen és közülük bármely kettő ismerje egymást.
Megoldás. Legyenek a klubok és válasszunk sorra minden klubból egy-egy képviselőt azzal a megszorítással, hogy minden törp legfeljebb egy klubot képviselhet. Ha e választások során a klubból nem tudunk képviselőt választani, akkor az azért van, mert minden egyes tagja (akik persze páronként ismerik egymást) már képvisel egy-egy különböző klubot, ezért kész vagyunk. Ha azonban mind a klubból sikerül különböző képviselőt választani, akkor a skatulya-elv miatt közülük törp ugyanabban az utcában lakik, és ezért ismerik egymást. |
|