(AB,BC,CA)(AB,BC,CA)(AB,BC,CA) と (1,1,1)(1,1,1)(1,1,1) にコーシー・シュワルツを適用すると (AB+BC+CA)2≤3(AB2+BC2+CA2)(AB+BC+CA)^2\le3(AB^2+BC^2+CA^2)(AB+BC+CA)2≤3(AB2+BC2+CA2)。上の恒等式から求める不等式が従う。等号は AB=BC=CAAB=BC=CAAB=BC=CA、すなわち底面 ABC が正三角形のときに限る。