Réponse :
Bonjour, j'ai répondu à cette même question, cf réponse en pièce jointe.
Pour le bonus c'est exactement la même demarche sauf que tanADI=tanJCD=1/2
Il existe certainement d'autres manières de démontrer.
Bon courage
Explications étape par étape :
