Trong hình học, một khối đa diện đều là một khối đa diện có tất cả các mặt là các đa giác đều bằng nhau và các cạnh bằng nhau.

Đa diện đều được chia thành đa diện đều lồi và lõm.

Đa diện đều lồi

Trong không gian ba chiều, chỉ có đúng 5 khối đa diện đều lồi (khối đa diện lồi có tất cả các mặt, các cạnh và các góc ở đỉnh bằng nhau), 3 trong số chúng có mặt là các tam giác đều (xem chứng minh trong bài). Chúng được giới thiệu trong các hình dưới đây:

Tên của chúng gọi theo số mặt của mỗi khối tương ứng là 4, 6, 8, 12, và 20. Các khối này đều có số mặt là chẵn

Đa diện đều lõm

Các tính chất về số lượng

Một khối đa diện lồi là đều nếu và chỉ nếu thỏa mãn cả ba tính chất sau

Tất cả các mặt của nó là các đa giác đều, bằng nhau

Các mặt không cắt nhau ngoài các cạnh

Mỗi đỉnh là giao của một số mặt như nhau (cũng là giao của số cạnh như nhau).

Mỗi khối đa diện đều có thể xác định bới ký hiệu {p, q} trong đó :p = số các cạnh của mỗi mặt (hoặc số các đỉnh của mỗi mặt) :q = số các mặt gặp nhau ở một đỉnh (hoặc số các cạnh gặp nhau ở mỗi đỉnh). Khí hiệu {p, q}, được gọi là ký hiệu Schläfli, là đặc trưng về số lượng của khối đa diện đều. Ký hiệu Schläfli của năm khối đa diện đều được cho trong bảng sau.

Tất cả các thông tin số lượng khác của khối đa diện đều như số các đỉnh (V), số các cạnh (E), và số các mặt (F), có thể tính được từ p và q. Vì mỗi cạnh nối hai đỉnh, mỗi cạnh kề hai mặt nên chúng ta có: :$pF\; =\; 2E\; =\; qV.\backslash ,$ Một quan hệ khác giữa các giá trị này cho bới công thức Euler: :$V\; -\; E\; +\; F\; =\; 2.\backslash ,$ Còn có ba hệ thức khác với V, E, and F là: :$V\; =\; \backslash frac\{4p\}\{4\; -\; (p-2)(q-2)\},\backslash quad\; E\; =\; \backslash frac\{2pq\}\{4\; -\; (p-2)(q-2)\},\backslash quad\; F\; =\; \backslash frac\{4q\}\{4\; -\; (p-2)(q-2)\}.$

Các kết quả cổ điển

Một kết quả cổ điển là chỉ có đúng năm khối đa diện đều lồi.

Chứng minh bằng hình học

Các mệnh đề hình học sau được biết từ Euclid trong tác phẩm Elements:

Mỗi đỉnh của khối đa diện phải là giao của ít nhất ba mặt.

Tại mỗi đỉnh của khối đa diện, tổng các góc của các mặt phải nhỏ hơn 360°.

Các góc tại tất cả các đỉnh của khối đa diện đều là bằng nhau do đó mỗi góc phải nhỏ hơn 360°/3=120°.

Các đa giác đều có từ sáu cạnh trở lên có góc là 120° trở lên nên không thể là mặt của khối đa diện đều, do đó mối mặt của khối đa diện đều chỉ có thể là các tam giác đều, hình vuông hoặc ngũ giác đều. Cụ thể:

Các mặt là tam giác đều: góc ở mỗi đỉnh của tam giác đều là 60°, do đó tại mỗi đỉnh chỉ có 3, 4, hoặc 5 góc của tam giác; tương ứng ta có các tứ diện đều, khối tám mặt đều và khối hai mươi mặt đều.

Các mặt là hình vuông: góc ở đỉnh hình vuông là 90°, do đó chỉ có thể có ba mặt tại mỗi đỉnh ta có khối lập phương.

Các mặt là ngũ giác đều: mỗi góc ở đỉnh là 108°; do đó chỉ có thể có đúng ba mặt tại một đỉnh, khi đo ta có khối mười hai mặt đều.

Chứng minh bằng topo

Một chứng minh khá đơn giản bằng topo dựa vào các thông tin về khối đa diện. Chìa khóa của chứng minh là công thức Euler $V\; -\; E\; +\; F\; =\; 2$, và các quan hệ $pF\; =\; 2E\; =\; qV$. Từ các đẳng thức này :$\backslash frac\{2E\}\{q\}\; -\; E\; +\; \backslash frac\{2E\}\{p\}\; =\; 2.$ Một biến đổi đại số đơn giản cho ta :$\{1\; \backslash over\; q\}\; +\; \{1\; \backslash over\; p\}=\; \{1\; \backslash over\; 2\}\; +\; \{1\; \backslash over\; E\}.$ Vì $E$ là số dương ta phải có :$\backslash frac\{1\}\{q\}\; +\; \backslash frac\{1\}\{p\}\; >\; \backslash frac\{1\}\{2\}.$ Dựa vào việc cả p và q ít nhất là 3, dễ dàng có năm cặp có thể của {p, q}: :$\{3,\; 3\}\backslash quad\; \{4,\; 3\}\backslash quad\; \{3,\; 4\}\backslash quad\; \{5,\; 3\}\backslash quad\; \{3,5\}$

Khối đa diện đều trong trò chơi may rủi

Các khối đa diện đều thường được dùng là quân xúc xắc dùng trong các trò chơi may rủi. Con xúc xắc sáu mặt (khối lập phương) thường được dùng hơn cả, tuy nhiên cũng có thể dùng các khối 4, 8, 12, 20 mặt như trong hình dưới đây. giữa|Các quân xúc xắc đa diện đều trong trò chơi may rủi