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. Úgy fogjuk megszámozni az éleket, hogy már két olyan él is tartozzék minden legalább másodfokú csúcshoz, amelyekre egymáshoz relatív prím számokat írtunk; ez nyilván elegendő a feladatbeli állítás bizonyítására. Legyenek a gráf legalább másodfokú csúcsai (ha ilyen csúcs nincsen, akkor triviális az állítás). Mivel a gráf összefüggő, ezért bármely csúcsból bármely csúcsba vezet út a gráfban. Menjünk el -ből -be, -ből -ba, -ből -be, végül -ből -be a gráf egy-egy tetszőleges élsorozatán keresztül! Így egy olyan utazást teszünk a gráfban, amelynek során minden -t érintünk és elhagyunk legalább egyszer. Tegyük fel, hogy utazásunk alatt sorra számozzuk az érintett éleket az számokkal ‐ azzal a kikötéssel, hogy ha egy élre a) már írtunk számot, akkor arra új számot már nem írunk. b) még nem írtunk számot (tehát az utazás során először érintjük), akkor 1-gyel nagyobb számot írunk rá, mint amilyet utoljára használtunk. Ezek szerint mindig csak az "új'' ‐ addig még nem érintett ‐ élekre kell számot írnunk, és összesen db élt számoztunk meg a db él közül. Az utazásnál még egy dologra kell ügyelnünk: Ha valamelyik csúcsot először érintjük utazásunk során (ez biztosan bekövetkezik minden -re valamikor), akkor -t másik élén keresztül hagyjuk el, mint amilyenen keresztül megközelítettük; ez megtehető, mert legalább másodfokú. Mivel az -ből kiinduló élek egyikét sem érintettük azelőtt, ezért a számozási algoritmus szerint ebben a lépésben -nek élére szomszédos számot kell írnunk.
Ha utazásunkat és a számozást az előírt módon végezzük, akkor teljesül, hogy ‐ az -ből kiinduló egyik élre (utazásunk első élére) az -et írjuk, ‐ -ből kiindul olyan él, amelyre szomszédos számokat írunk. Mivel és pozitív egészek relatív prímek egymáshoz, ha vagy , ezért a megoldás elején megfogalmazott követelményünk teljesül, vagyis ‐ a fennmaradó db élt tetszőlegesen megszámozva az számokkal ‐ a feladat állítását beláttuk. |