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. Bebizonyítjuk, hogy azok az pontok, amelyeknél az (legkisebb nemnegatív) maradéka -vel történő osztásnál (), kielégítik a követelményt. Az értelmezés szerint alkalmas egésszel. Tegyük fel, hogy az és az szakaszok meredeksége egyenlő volna: | | A törteket eltávolítva, az értelmezést felhasználva és átrendezve: | | továbbrendezve és alakítva | | A bal oldali szorzatnak kellene tehát oszthatónak lennie -vel. Ez azonban nem lehetséges, mert egy szorzat csak úgy lehet osztható egy prímszámmal, ha valamelyik tényezője osztható vele, itt pedig mindegyik tényező 0-tól különböző és abszolút értékük -nél kisebb. Nem lehet tehát a két meredekség egyenlő.
Megjegyzések. 1. Az helyett bármilyen egész együtthatós vagy egész helyeken egész értéket felvevő, másodfokú polinom megfelel. Érdekes, hogy a feladattal foglalkozó versenyzők többnyire az polinomot választották. 2. Többen használtak olyan pontatlan állításokat, mint különbség maradéka egyenlő a maradékok különbségével, vagy szorzat maradéka egyenlő a tényezők maradékainak szorzatával, amelyek csak kiegészítésekkel érvényesek. 3. Egy versenyző azokat az pontokat adta meg, amelyekre (mod ) (), maga is megjegyezve, hogy így csak pontot kap. 4. A kérdésnek kiterjedt irodalma van. A feladat állítása igaznak látszik prímszám helyett minden pozitív egész számra, sőt próbálgatások során -ig és számos nagyobb páros -re pontot is sikerült találni úgy, hogy ne legyen közülük 3 egy egyenesen. Sikerült bebizonyítani, hogy tetszés szerinti pozitív értékhez pont is kiválasztható, ha elég nagy. A problémával kapcsolatban R. K. Guy és P. A. Kelly több érdekes sejtést fogalmazott meg. Így többek közt azt sejtik, hogy csak az 1. ábrán látható 3 esetben helyezhető el pont egy oldalhosszú négyzetben úgy, hogy rendelkezzék a négyzet összes szimmetriájával; azt sejtik továbbá, hogy nagy -re legfeljebb pont helyezhető el a követelménynek megfelelően, ahol . R. K. Guy: Unsolved problems in number theory, 2. kiad. Springer, 1996. XVI + 285 old., közelebbről 242‐244. old.
|