所有不等式的余量都消失了，因此两条边都垂直于该对角线。
由于 BD=8BD=8BD=8 且 AB+BD+DC=16AB+BD+DC=16AB+BD+DC=16，有 AB+DC=8AB+DC=8AB+DC=8。高的估计取等号，故 AB⊥BDAB\perp BDAB⊥BD 且 DC⊥BDDC\perp BDDC⊥BD。