Comme les triangles ABC et ABD sont rectangles on a :

AB² + BC² = AC² = 49 et AB² + AD² = BD² = 36

Puis, dans (3), en réduisant au même dénominateur :

Puis, dans (4), en élevant les deux membres au carré :

Ensuite, en développant (6) :

Et en posant x = AB, on obtient

Par dichotomie on trouve une solution acceptable x₀ » 5,85 m