MathLabs
Bổ đềĐã chứng minh

Bổ đề bắt tay

Phát biểu

Trong bất kỳ đồ thị hữu hạn G=(V,E)G=(V,E) nào, ∑v∈Vdeg⁡(v)=2∣E∣\sum_{v \in V} \deg(v) = 2|E|; do đó, số đỉnh có bậc lẻ là một số chẵn.

Vì sao đúng?

Mỗi cạnh có đúng hai đầu mút, nên khi cộng bậc của mọi đỉnh lại, mỗi cạnh được đếm hai lần — một lần từ mỗi đầu, giống như mỗi cái bắt tay trong một bữa tiệc được cả hai người tham gia đếm một lần. Vì tổng bằng hai lần một số nguyên, nó là số chẵn, điều này buộc số đỉnh có bậc lẻ cũng phải là số chẵn.

Phác thảo chứng minh

Mỗi cạnh {u,v}\{u,v\} đóng góp đúng 1 vào deg⁡(u)\deg(u) và đúng 1 vào deg⁡(v)\deg(v), nên cộng deg⁡(v)\deg(v) trên mọi đỉnh đếm mỗi cạnh đúng hai lần, cho ∑vdeg⁡(v)=2∣E∣\sum_v \deg(v) = 2|E|. Vì vế phải là số chẵn, tổng các bậc là số chẵn; tổng bậc của các đỉnh bậc chẵn tự động là số chẵn, nên tổng bậc của các đỉnh bậc lẻ cũng phải là số chẵn, điều này chỉ có thể xảy ra nếu số đỉnh bậc lẻ là số chẵn.

Người phát biểu

Chủ đề chứa định lý này

Định lý liên quan

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

  1. Douglas B. West (2001). Introduction to Graph Theory