Hình bát diện đều có số cạnh là:

I. Khối đa diện lồi.

Khối đa diện lồi (H) được gọi là khối đa diện lồi nếu đoạn thẳng nối hai điểm bất kì của (H) luôn thuộc (H). Khi đó đa diện xác định (H) được gọi là đa diện lồi.

Ví dụ 1. Các khối chóp tam giác, tứ giác, các khối lăng trụ tam giác, khối lăng trụ tứ giác… đều là những khối đa diện đều.

- Người ta chứng minh được rằng, một khối đa diện là khối đa diện lồi khi và chỉ khi miềm trong của nó luôn nằm về một phía đối với mỗi mặt phẳng chứa một mặt của nó.

II. Khối đa diện đều.

- Định nghĩa: Khối đa diện đều là khối đa diện lồi có tính chất sau đây:

a) Mỗi mặt của nó là một đa giác đều p cạnh.

b) Mỗi đỉnh của nó là đỉnh chung của đúng q mặt.

Khối đa diện đều như vậy được gọi là khối đa diện đều loại {p; q}.

Từ định nghĩa trên ta thấy các mặt của khối đa diện đều là những đa giác đều bằng nhau.

- Định lí: Chỉ có năm loại khối đa diện đều. Đó là các loại {3; 3}; loại {4; 3}; loại {3; 4}; loại {5; 3} và loại {3; 5}.

Tùy theo số mặt của chúng, năm loại khối đa diện đều kể trên theo thứ tự gọi là các khối tứ diện đều, khối lập phương, khối bát diện đều (hay khối tám mặt đều), khối mười hai mặt đều và khối hai mươi mặt đều.

Bảng tóm tắt của năm loại khối đa diện đều.

Ví dụ 2. Chứng minh rằng nếu khối đa diện có các mặt là những tam giác thì tổng các mặt của nó phải là một số chẵn.

Lời giải:

Gọi số cạnh và số mặt của đa diện lần lượt là c và m .

Vì mỗi mặt có ba cạnh và mỗi cạnh là cạnh chung của đúng hai mặt nên ta có số cạnh của đa diện là $c=\frac{3m}{2}\Rightarrow 3m=2c.$

Do đó, 3m chia hết cho 2 mà 3 không chia hết cho 2 nên m phải chia hết cho 2, nghĩa là m là số chẵn.

Vậy nếu khối đa diện có các mặt là những tam giác thì tổng các mặt của nó phải là một số chẵn.