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. Ha az összes pont egy egyenesen van, akkor nincs mit bizonyítanunk. Tegyük fel tehát, hogy az , , pontok nincsenek egy egyenesen. Ha egy tetszőleges negyedik pont, akkor a feltételek szerint az , , , pontnégyesből kiválasztható három kollineáris. Feltehetjük, hogy ezek , és . Megmutatjuk, hogy ha az adott pontok közül való, akkor rajta kell lennie a egyenesen. Az , , , pontnégyesből kiválasztható három kollineáris. Mivel , , háromszöget alkot, azért ezek , és ; vagy , és . Ha , és kollineáris (1. ábra), akkor az , , , pontnégyesből, ha pedig például , és kollineáris (2. ábra), akkor az , , , pontnégyesből nem lehetne kiválasztani három kollineárisat. Tehát rajta van a egyenesen.
Ezzel megmutattuk, hogy a pontok közül legalább egy egyenesen van. A megoldás során csak azt használtuk, hogy az adott pontok száma véges, ezért az 1997-et tetszőleges pozitív egész számmal helyettesíthetjük. |