ให้ D เป็นจุดกึ่งกลางด้าน BC ใช้ กฎของ cosine กับสามเหลี่ยม ABD, ACD
ได้ $AB^2=AD^2+BD^2-2AD\cdot BD\cos \theta\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,$ ---(1)
และ $AC^2=AD^2+CD^2-2AD\cdot CD\cos (\pi-\theta)\,\,\,$ ---(2)
แต่ $BD=CD$ และ $cos \theta+\cos (\pi-\theta)=0$
จึงเอา (1)+(2) ได้ $$AB^2+AC^2=2AD^2+2BD^2$$
แทนตัวเลขลงไป $\displaystyle{4^2+3^2=2\Big(\frac{5}{2}\Big)^2+2x^2}$