La formule est fausse, la bonne est :
x = a - (a-b)*z/sqrt(h²+(a-b)²)
Ca peut se trouver en considérant que la valeur de x varie proportionnellement à z, qu'elle vaut a pour z=0 et b pour z=Z, en notant Z la longueur d'un segment extérieur.
On trouve Z avec Pythagore.