thêm sự việc đỉnh khác với cạnh này nếu nó không phải là đã có trong St-1. Xây dựng này
có thể vì G được kết nối. G thu được sau khi cạnh e được thêm vào. Hãy rn, en, và vn
đại diện cho số của khu vực, cạnh, và đỉnh của các đại diện phẳng của Gen gây ra
bởi các đại diện phẳng của G, tương ứng.
Một
1 b1
R
1
Hình 9
Cơ sở Trường hợp của
Proof của Euler
Formula.
các bằng chứng hiện nay sẽ tiến hành bằng cảm ứng. Các mối quan hệ r1 = e1 - v1 + 2 là đúng đối với G1,
vì e1 = 1, v1 = 2, và r1 = 1. Điều này được thể hiện trong hình 9.
Bây giờ giả sử rằng rk = ek - vk + 2. Cho {ak + 1, bk + 1} là cạnh được thêm vào Gk để
có được Gk + 1. Có hai khả năng để xem xét. Trong trường hợp đầu tiên, cả hai ak + 1 và bk + 1 là
đã có trong Gk. Hai đỉnh phải trên ranh giới của một khu vực R phổ biến, nếu không
nó sẽ không thể để thêm các cạnh {ak + 1, bk + 1} để Gk mà hai cạnh qua (và
Gk + 1 là phẳng). Việc bổ sung các cạnh mới này chia tách R thành hai khu vực. Do đó, trong này
trường hợp, rk + 1 = rk + 1, ek + 1 = ek + 1, và vk + 1 = vk. Như vậy, mỗi bên của các công thức liên hệ giữa
số khu vực, cạnh, và đỉnh tăng một cách chính xác, vì vậy công thức này vẫn là sự thật. Trong
Nói cách khác, rk + 1 = ek + 1 - vk + 1 + 2. Trường hợp này được minh họa trong hình 10 (a).
Trong trường hợp thứ hai, một trong hai đỉnh của cạnh mới không phải là đã có trong Gk. Giả sử
rằng ak + 1 là trong Gk nhưng mà bk + 1 không phải là. Thêm cạnh mới này không sản xuất bất kỳ khu vực mới,
vì bk + 1 phải ở trong một khu vực có ak + 1 trên ranh giới của nó. Do đó, rk + 1 = rk.
Hơn nữa, ek + 1 = ek + 1 và vk + 1 = vk + 1. Mỗi bên của các công thức liên hệ giữa số lượng
của các vùng, cạnh, và đỉnh vẫn giữ nguyên, nên công thức vẫn là thật. Nói cách khác,
rk + 1 = ek + 1 - vk + 1 + 2. Trường hợp này được minh họa trong hình 10 (b).
Chúng tôi đã hoàn thành việc lập luận quy nạp. Do đó, rn = en - vn + 2 với mọi n. Bởi vì các
biểu đồ ban đầu là đồ thị Ge, thu được sau khi cạnh e đã được thêm vào, định lý là đúng sự thật.
Công thức Euler được minh họa trong ví dụ 4.
đang được dịch, vui lòng đợi..
