Problem B. 3940. (October 2006)
B. 3940. Let a, o and c be three lines in the plane. Consider all squares ABCD such that vertex A lies on line a, the opposite vertex C on line c, and the centre of the square O lies on line o. Find the locus of vertices B and D.
Suggested by M. Danka and B. Kalló, 9th-grade students of Fazekas Mihály Gimnázium, Budapest
(5 pont)
Deadline expired on November 15, 2006.
Sorry, the solution is available only in Hungarian. Google translation
Megoldás: Ha a három egyenes egybeesik, akkor a mértani hely az a két nyílt félsík, amelyek erre az egyenesre támaszkodnak. Ha a=co és o párhuzamos a-val, akkor a mértani hely üres, ha pedig o metszi a-t az O pontban, akkor a mértani hely az a-ra O-ban emelt merőleges egyenesnek O-tól különböző pontjai. Ha a és c egymással párhuzamosak, de nem egyeznek meg, akkor o vagy metszi ezt a két egyenest az E és F pontokban, vagy párhuzamos velük. Az első esetben az a,c egyenespárt az EF szakasz középpontja körül 90o-kal elforgatva kapjuk a mértani helyet. A második esetben a mértani hely vagy üres, vagy pedig az egész sík, ha o éppen az a és c egyenesek középpárhuzamosa.
A továbbiakban feltesszük, hogy az a és c egyenesek metszik egymást egy M pontban. Az esetlegesen előforduló O=M esettől eltekintve (M nem lehet a négyzet középpontja, mert akkor a négyzet csúcspontjai egybeesnének) az o egyenes minden O pontjához pontosan két olyan ABCD négyzet található, amely megfelel a követelményeknek, és ez a két négyzet csak a csúcsok körüljárásának sorrendjében tér el egymástól. A B és D csúcsok egyikét (pozitív körüljárási irányt feltételezve a B-t) úgy kapjuk, hogy az a egyenest pozitív, a c-t pedig negatív irányban forgatjuk el 90o-kal az O körül, és az így nyert a'(O) és c'(O) egyenesek metszéspontját vesszük, D pedig azon a''(O) és c''(O) egyenesek metszéspontja lesz, amelyeket az a és a c egyenesekből kapunk úgy, hogy azokat O körül rendre negatív, illetve pozitív irányban forgatjuk el 90o-kal.
Legyen O1,O2,O3 az o egyenes három különböző pontja, az ezekhez tartozó pozitív körüljárású ABCD négyzetek B csúcsát pedig jelölje rendre B1,B2,B3. Azt állítjuk, hogy ha , akkor . Ennek belátásához legyen az o egyenesnek a-val és c-vel vett metszéspontja Oa, illetve Oc. Az Oi pont vetületét az a egyenesre jelölje Xi, ezt Oi körül pozitív irányban 90o-kal elforgatva kapjuk az Yi pontot, amely Oi-nek az a'(Oi)-re eső merőleges vetülete. A párhuzamos szelők tétele miatt
O1Y1:O2Y2:O3Y3=O1X1:O2X2:O3X3=O1Oa:O2Oa:O3Oa.
Mivel az O1Y1,O2Y2,O3Y3 szakaszok párhuzamosak egymással, ebből következik, hogy
Y1Oa:Y2Oa:Y3Oa=O1Y1:O2Y2:O3Y3=O1Oa:O2Oa:O3Oa,
vagyis . Ennélfogva tetszőleges v vektorra, amellyel való eltolás az a'(O1) egyenest az a'(O2) egyenesbe viszi, igaz az, hogy az v vektorral való eltolás az a'(O1) egyenest az a'(O3) egyenesbe viszi. Az a és c egyenesek szerepét felcserélve hasonló módon kapjuk azt is, hogy tetszőleges w vektorra, amellyel való eltolás a c'(O1) egyenest a c'(O2) egyenesbe viszi, igaz az, hogy az w vektorral való eltolás a c'(O1) egyenest a c'(O3) egyenesbe viszi. Ebből pedig az a'(Oi) és c'(Oi) egyenesek Bi metszéspontjaira fennálló összefüggés már könnyen leolvasható.
Az elmondottak alapján a B pont mértani helye vagy egyetlen pont, vagy egy egész egyenes, és nyilván hasonló állítás érvényes a D pontra is. A B pont mértani helyét úgy kaphatjuk meg, hogy kiválasztjuk az O egyenes 2 különböző O1,O2 pontját majd a fenti eljárás szerint megkeressük a B1,B2 pontokat. Ha B1=B2, akkor a B pont mértani helye ez az egyetlen pont, egyébként pedig a teljes B1B2 egyenes. A B és D csúcsok együttes mértani helye pedig vagy két egyenes, vagy pedig egy egyenes és egy arra nem illeszkedő pont lesz.
Statistics:
30 students sent a solution. 5 points: Éles András, Kunos Ádám, Peregi Tamás, Sümegi Károly, Szalkai Balázs, Szalóki Dávid, Szűcs Gergely, Wolosz János. 4 points: Blázsik Zoltán, Bodor Bertalan, Kornis Kristóf, Sárkány Lőrinc, Tossenberger Anna. 3 points: 2 students. 2 points: 1 student. 1 point: 4 students. 0 point: 10 students.
Problems in Mathematics of KöMaL, October 2006