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. Legyen a háromszög -nél levő szöge -os, és a -nél, -nél levő szögek közül a -nél levő legyen a kisebb. A egyenes -re vonatkozó tükörképe messe -t -ban, és az , , , , szakaszok hosszát jelöljük rendre -vel, -val, -vel, -vel, -vel. Mivel az háromszögben szögfelező, , továbbá Pitagorasz tétele szerint Írjunk itt helyére -t, és fejezzük ki a kapott összefüggésből -t, majd -t: | | (a -re adódó másodfokú egyenlet másik gyöke negatív). Ha most a kapott háromszög oldalait -szorosukra nyújtjuk, az új háromszög oldalainak a hossza rendre | | (1) | lesz. Ennek alapján elegendő olyan háromszöget találnunk, melyben és egészek, továbbá a szög nagyobb -nél. Mérjük fel egy tetszőleges félegyenesre az , szögeket, és messe az utóbbi szárát a -re -ben emelt merőleges -ban. Mérjük fel a -ból felé induló félegyenesre az egységnyi hosszú szakaszt, és húzzunk párhuzamost -en át -val. Ez valahol metszi az szög szárát, jelöljük ezt a pontot -sel, -nek -n levő vetületét -vel. Legyen a félegyenes tetszőleges, -n túli pontja, melyre egész szám. A -ben -re emelt merőlegesnek az , szögek szárai közti darabja hosszabb az egységül választott szakasznál, így biztosan van benne olyan pont, amelyre egész. (Ha a -re -ben emelt merőlegesre egymás után egységnyi hosszúságú szakaszokat mérünk fel, ezek végpontjainak a sorozata nem ugorhatja át ezt a szakaszt.) Készen vagyunk, megvan az a háromszög, amit kerestünk, a feladat állítását ezzel beláttuk. Megjegyzések. 1. Akik csak képletekben hajlandók gondolkodni, most azt mondják: igen, tudni kellett a pitagoraszi számhármasokat. Valóban ezek jól ismert képlete. Ne tévesszük azonban szem elől, hogy ‐ a pitagoraszi számhármasok előállításának a nem-triviális fele az, hogy minden derékszögű háromszöghöz van olyan és egész, hogy előállítja a háromszög , , oldalait, ha , , egészek [az, hogy derékszögű háromszöget ad meg, nyilvánvaló]; ‐ nekünk ehelyett arra volt szükségünk, hogy uralni tudjuk a kapott háromszög szögeit , alkalmas megválasztásával, ami a pitagoraszi hármasok levezetésénél nem szokott szerepelni. 2. Belátható a feladat állítása annak alapján is, hogy megmutatjuk, tetszőleges természetes számhoz található olyan nála nagyobb természetes szám, hogy az , befogókkal rajzolt derékszögű háromszög átfogójának a hossza egész szám. Más szóval azt mutatjuk meg, hogy a egyenlet egész gyökpárjai között tetszőlegesen nagy található. Ilyen egyenletekről sokszor volt már szó lapunkban (általános megoldásukról Fried Ervin írt cikksorozatot), így az is többször szerepelt már, hogyan lehet egyetlen gyökpárjából végtelen sokat előállitani. |