Dobry podvecer prajem. Prosim o kontrolu mojho dokazu, mam za ulohu dokazat vetu- Dokazte, ze neexistuje konecny pravidelny graf neparneho stupna s neparnym poctom vrcholov.
Dokaz sporom: Predpokladam, ze taky graf existuje. Jeho pocet vrcholov je
kde
a jeho stupen
kde
. Sucet stupnov nasho grafu je:
dostali sme neparne cislo a to je v rozpore s tym, ze sucet stupnov vrcholov v neorientovanom grafe je rovny dvojnasobku poctu hran. Pocet hran by bol teda necele cislo, co je nezmysel.
Offline