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. Jelöljük a futamban részt vevő autók számát -nel, és -vel azoknak az előzéseknek a számát, melyben az sorszámú autó elhagyja a sorszámút , , . Legyen még az -edik autó által megtett körök száma. Állítjuk, hogy Valóban, tegyük fel, hogy (a másik eset hasonlóan kezelhető), és képzeljük el, hogy az -edik autóban ülünk. A futam végéig mi összesen -szer hagytuk le a -edik autót, az pedig összesen -szer ment el mellettünk. Így -szer "köröztük le'', vagyis ennyivel több kört tettünk meg, mint a -edik autó. A futamban összesen előzés történt, ez pedig | | és (1) alapján ugyanolyan párosságú, mint a | | kifejezés. Esetünkben páratlan, tehát a jobb oldalon mindegyik , egy páros számmal van szorozva. Ez az érték tehát páros. Ezzel bizonyítottuk, hogy a futamban páros sok előzés történt. Megjegyzések. 1. Annyit használtunk csak ki, hogy az autók száma páratlan, így az állítás minden páratlan számú autóra érvényes. Páros sok autó esetén könnyen találhatunk ellenpéldát: ha egyetlen autó lekörözi a többit, nyilván páratlan sok előzést végez. 2. Sokan azon törték a fejüket, vajon hogyan bonyolítják le a feladatban említett próbafutamot. Többen feltételezték, hogy minden autó ugyanannyi kört tesz meg. Ez esetben a résztvevő autók számától függetlenül mindig páros sok előzés történik. |