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 az első, a leghosszabb szakaszt -vel. Mivel szakaszok csökkenően követik egymást, és mindegyiknek a mértékszáma egész szám, ezért a következő szakasz mértékszáma legfeljebb , a következőé és így tovább. Másrészt a legkisebb szakasz mértékszáma a feltétel szerint . Ebből kiindulva a következő szakasz hosszának mértékszáma legalább , a következőé legalább és így tovább. A teljes km útvonal hossza alapján így a következő egyenlőtlenséget írhatjuk fel -re: | | azaz amiből következik, és mivel mértékszáma is egész, azért és . Mivel egész számok, ezért alakú, ahol nem negatív egész számok. Összeadva | | ahonnan miatt amiből Az (1) és (2) feltételekből viszont , különben volna. Ha , akkor , vagyis Ha , akkor vagy , és így vagy Mindezek szerint az útszakaszok mértékszámaira három lehetőséget találtunk.
|