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. A megoldást két lépésben végezzük el. Először megmutatjuk, hogy van olyan legrövidebb út, amelyen a háromszög csúcsából kiindulva a és csúcspont ellenőrizhető. Ezután azt látjuk be, hogy ezen az úton haladva a háromszög minden pontja beleesik a műszer hatósugarába. A magasság felét válasszuk egységnek . Ahhoz, hogy a és pontot ellenőrizzük, el kell jutnunk a és körüli, 1 sugarú körvonal valamely , ill. pontjába. Feltehető, hogy a katona a pontot érinti előbb, és így azt kell vizsgálnunk, hogy miko minimális.
1. ábra Rögzített esetén akkor legkisebb, ha a szakasz és a körüli körvonal metszéspontjába esik, hiszen egyébként és . Feltehetjük tehát, hogy -től a katona a szakaszon halad tovább. Ha útját a pontig folytatná, akkor helyétől függetlenül mindig egységnyivel több utat tenne meg, azaz felhasználva, hogy ugyanakkor minimális, mint , azt kell eldöntenünk, hagy az -ból -be vezető és a körüli kör egy pontját tartalmazó utak közül melyik a legrövidebb. Ehhez jegyezzük meg, hogy ha -ból -be úgy akarunk a legrövidebb úton menni, hogy közben egy -vel párhuzamos egyenes valamely pontját is érintjük, akkor -nek az egyenes és felező merőlegesének metszéspontját kell választani (közismert megoldás: -t -re tükrözzük és -t e tükörponttal összekötjük).
1. ábra Másrészt, a felezőmerőlegesen mozgó pontok esetén annál kisebb, minél közelebb van az szakaszhoz. Ezek után a , , pontok helyzetét figyelve világos, hogy minimális hosszúságú utat akkor kapunk, ha a katona -tól az felezőpontba megy, majd onnan útját mentén folytatja (2. ábra). Ezután belátjuk, hagy ha most az út minden pontja köré egységnyi sugárral kört írunk, akkor ezek a körök az egész háromszöglapot befedik.
3. ábra Az szakasz felezőpontját vetítsük merőlegesen -re és -ra, így kapjuk a és pontot. Az körüli egységnyi sugarú kör -n és -n megy át (Thalész-tétel), így lefedi a négyszöget. Mivel , a -os körcikk belsejében van ( szabályos háromszög, hiszen ). Emiatt és , és mivel , a körüli kör lefedi a háromszöget. Hasonlóan, tükörképe körül egységnyi sugarú kört húzva ez a kör lefedi az háromszöget. Tehát már az , , pontok körüli körök lefedik a háromszöget, és ezzel az állítást bebizonyítottuk.
|