Xét tứ diện có
đôi một vuông góc. Gọi
lần lượt là góc giữa các đường thẳng
với mặt phẳng
. Khi đó giá trị nhỏ nhất của biểu thức
là
Hình vẽ minh họa

Ta có
, tương tự
Nên .
Và
Áp dụng BĐT Cauchy, ta có
Tương tự, ta được
Suy ra .
Dấu bằng xảy ra khi .








