Công thức Euler cho đồ thị phẳng
Phát biểu
Với mọi đồ thị phẳng liên thông đã vẽ có đỉnh, cạnh và mặt (tính cả mặt ngoài không bị chặn), .
Vì sao đúng?
Đẳng thức duy nhất này là nguồn gốc của gần như mọi sự kiện khác về đồ thị phẳng, bao gồm chặn số cạnh và tính không phẳng của và , và nó được chứng minh bằng một phép quy nạp ngắn gọn, hoàn toàn sơ cấp.
Phác thảo chứng minh
Cơ sở quy nạp. Nếu và đồ thị liên thông, nó phải chỉ gồm một đỉnh duy nhất (), và có đúng một mặt, toàn bộ mặt phẳng không bị chặn (). Khi đó đúng.
Bước quy nạp, trường hợp 1: một cạnh nằm trên chu trình. Giả sử công thức đúng với mọi đồ thị phẳng liên thông đã vẽ có ít hơn cạnh, và cho đồ thị có cạnh. Nếu một cạnh nằm trên chu trình, thì bỏ vẫn giữ đồ thị liên thông (phần còn lại của chu trình vẫn nối hai đầu mút của nó). Bỏ nhập hai mặt ở hai phía của nó thành một mặt duy nhất, nên đồ thị nhỏ hơn có đỉnh, cạnh và mặt. Theo giả thiết quy nạp, , rút gọn thành .
Bước quy nạp, trường hợp 2: không cạnh nào nằm trên chu trình. Khi đó mọi cạnh đều là cầu, nghĩa là đồ thị hoàn toàn không có chu trình, tức nó là một cây. Một cây vẽ trên mặt phẳng có đúng một mặt (, miền không bị chặn duy nhất, vì không có chu trình nào để bao một miền bị chặn), và một sự kiện chuẩn về cây là cây có đỉnh thì có đúng cạnh. Thay vào, .
Kết luận. Mọi trường hợp đều quy về công thức đúng, hoặc quy về (qua việc bỏ một cạnh) một đồ thị nhỏ hơn nơi nó đúng theo quy nạp, nên với mọi đồ thị phẳng liên thông đã vẽ.
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Kazimierz Kuratowski (1930). Sur le problème des courbes gauches en Analysis Situs
- Reinhard Diestel (2017). Graph Theory