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 feladatot reductio ad absurdum módszerével oldjuk meg, azaz feltesszük, hogy az állítás nem igaz és ellentmondásra jutunk belőle. Legyenek tehát megadott számaink , , , , ahol , és legyen legkisebb prímosztója . Mivel nem prímszám, van -n kívül még (esetleg -vel megegyező) prímosztója, következésképp . Az így kapott prímszámok mind különbözők, hiszen ha volna, akkor osztója volna -nek és -nek is, noha feltételünk szerint és relatív prím. Így kaptunk különböző prímszámot, melyek mindegyike kisebb -nél. Megmutatjuk, hogy ez lehetetlen. Ugyanis és között páratlan szám van , , , , és minden prímszám, a -t kivéve, páratlan. Tehát és között legfeljebb különböző prímszám található, ami ellentmondás. Ez az ellentmondás igazolja állításunkat. |