Tính giá trị lớn nhất của biểu thức
Cho tứ diện
có
. Gọi
là diện tích toàn phần (tổng diện tích tất cả các mặt). Tính giá trị lớn nhất của
.
Do tứ diện có
nên
.
Gọi là diện tích và
là bán kính đường tròn ngoại tiếp mỗi mặt đó thì
, nên bất đẳng thức cần chứng minh:
.
Theo công thức Leibbnitz:
Với điểm bất kì và
là trọng tâm của tam giác
thì
Cho trùng với tâm đường tròn ngoại tiếp tam giác
ta được:
.





