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 egy körút darab várost érint, és csak autóbuszt (csak repülőt) kell hozzá igénybe vennünk, akkor azt fogjuk mondani, hogy ez egy hosszúságú autóbuszkörút (repülőkörút). Tegyük fel, hogy és van hosszú autóbuszkörút. Bebizonyítjuk, hogy ekkor vagy van hosszú autóbuszkörút, vagy van hosszú repülőkörút. Legyenek a hosszú autóbuszkörút során érintett városok (az érintés sorrendjében) , , , , . Az egyöntetű jelölés kedvéért ciklikusan kiterjesztjük a városok indexelését: minden egészre. Legyen tetszőleges egész, és helyettesítsük a körút szakaszát a közvetlen járattal. Ha ez a járat autóbuszjárat, akkor máris kaptunk egy hosszú autóbusz körutat. Ha viszont és között minden -re repülő jár, akkor először is csinálhatunk egy hosszú repülőkörutat: . Ezt a körutat így is felírhatjuk: . (Az 1. ábrán ezt a körutat a szaggatott élek jelzik.) Legyen tetszőleges egész, és helyettesítsük ebben a körútban a szakaszt a közvetlen járattal. Ha ez a járat repülőjárat, akkor így ezzel hosszú repülőúthoz jutottunk.
 1. ábra |  2. ábra |
Marad tehát az az eset, ha és között is minden -re autóbusz jár. Ez esetben viszont menjünk végig a következő útvonalon. , ahol esetén a szakasz az egyetlen városból áll, esetén pedig és között "egyesével'' haladunk. Ez az útvonal csupa autóbusz járatot használ, és ha , akkor ez egy hosszú körút (lásd a 2. ábrát). Így tehát most is egy hosszú autóbuszkörúthoz jutottunk. Ezzel beláttuk, hogyha van hosszú autóbuszkörút, akkor vagy van hosszú autóbuszkörút vagy van hosszú repülőkörút. Az autóbusz és repülő szerepének felcserélésével ugyanez a gondolatmenet azt is adja, hogy ha van hosszú repülőkörút, akkor szintén van hosszú autóbuszkörút vagy hosszú repülőkörút. Mivel pedig nincs hosszú autóbusz- és repülőkörút, így hosszú autóbusz- és repülőkörút sincsen. Ezzel a feladat állítását beláttuk. Megjegyzés. esetén a útvonal nem körút, hiszen ebben az esetben már . Tehát -re a feladat állítása nem is igaz: ha autóbuszkörút, viszont repülőkörút, akkor a 4 hosszú körutakhoz mindig szükség van autóbuszra is, repülőre is, és mégis van 5 hosszú autóbuszkörút (sőt repülőkörút is). |