Sabiendo que el ángulo B es doble que A, en el triángulo ABC, demuestra que la longitud de la bisectriz interior v_a = bc/a.

El triángulo ABD es isósceles, y el lado BD = AD = v_a; por el teorema de la bisectriz, tenemos que:
v_a/c = k/b = (a - v_a)/b, de donde, v_a = ca / (b+c) (pero sabemos que b+c = a²/b) = cab / a² = b c /a.

Pepe Martínez, 14/10/2005, creado con GeoGebra