Feladat: F.3276 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Andrássy Zoltán ,  Baharev Ali ,  Baranyai Gábor ,  Barát Anna ,  Dancsó Zsuzsanna ,  Fehér Lajos Károly ,  Gelencsér Gábor ,  Gueth Krisztián ,  Györey Bernadett ,  Harangi Viktor ,  Horváth Gábor ,  Kiss Norbert ,  Kunszenti-Kovács Dávid ,  Lábó Eszter ,  Lábó Melinda ,  Máthé András ,  Naszódi Gergely ,  Papp Dávid ,  Poronyi Gábor ,  Schlotter Ildikó ,  Szabadka Zoltán ,  Szakács László ,  Taraza Busra ,  Terpai Tamás ,  Torda Péter ,  Vitéz Ildikó ,  Zempléni Márton 
Füzet: 2000/január, 26 - 27. oldal  PDF  |  MathML 
Témakör(ök): Rácsgeometria, Háromszög-egyenlőtlenség alkalmazásai, Pont körüli forgatás, Koszinusztétel alkalmazása, Feladat
Hivatkozás(ok):Feladatok: 1999/március: F.3276

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.

Mivel A és C szerepe a feladatban felcserélhető, azért feltehetjük, hogy az ABC háromszög pozitív körüljárású. Legyen AB=c, BC=a, ABC=β, és jelöljük A'-vel A-nak a B körüli -90-os elforgatottját (ábra). Ekkor A' is rácspont, mert ha a BA koordinátái (x,y), akkor a BA' koordinátái (y,-x), amik egész számok (mert A is és B is rácspont), s így A' koordinátái is egészek, mert egészek összegeként állnak elő.

 

 

Az A'BC háromszögben a koszinusztétel szerint
A'C2=BC2+BA'2-2BCBA'cos(90-ABC)=a2+c2-2acsinβ.
Feltételünk szerint (a+c)2<8T+1, ami a T=12acsinβ képletet felhasználva
-2acsinβ<12(1-(a+c)2)
alakra hozható. Tehát
A'C2=a2+c2-2acsinβ<a2+c2+12(1-(a+c)2)=12(1+(a-c)2).(1)
Ám a háromszög-egyenlőtlenség miatt A'C|BC-A'B|=|a-c| ‐ itt egyenlőség is lehet, ha az A'BC háromszög elfajuló ‐, vagyis A'C2(a-c)2. Így
(a-c)2A'C2<12(1+(a-c)2),
amiből kapjuk, hogy (a-c)2<1. Ezt az (1) egyenlőtlenségbe visszaírva
A'C2<12(1+1)=1
adódik. Két rácspont távolsága azonban csak akkor lehet 1-nél kisebb, ha a pontok egybeesnek, tehát A'C.
Vagyis az A-nak B körüli -90-os elforgatottja C, azaz A, B és C valóban egy négyzet három csúcsa.
 Terpai Tamás (Fazekas M. Főv. Gyak. Gimn., 12. o.t.)