Un résultat assez classique. Nous utilisons deux fois la somme de deux tangentes réciproques.

 

 

 

 

On va utiliser ici l’égalité (valable pour tout couple  de réels tels que  ) :

 

 

Avec  et , on a bien  et il vient alors :

 

 

D’où : .

Or : . On en tire alors :

 

 

 

Le résultat est ainsi établi.