Bonne question, mais simple geom:
et et et on trouve

Waw ! Ça vaut bien un Vanhamme !
(Ou alors, je n'ai simplement pas eu les yeux en face des trous...)

Comment sais-tu que AE.AB=AD.AC ?

Puissance d'un point par rapport à un cercle...

Je ne suis pas sûr que tout le monde connaisse la notion de puissance, Victor... En fait, quand on a un point et un cercle, et qu'on trace une droite passant par et coupant le cercle en deux points et , alors le produit est indépendant de la droite choisie (pourvu qu'elle coupe le cercle). Et ce produit est appelé la puissance de par rapport au cercle. Ainsi, dans cet énoncé, On a et le cercle passant par , , et . Et la puissance de par rapport à ce cercle est si on prend comme droite la droite , ou si on prend la droite . Donc . Note que le fait que ce produit ne dépend pas de la droite est assez simple à démontrer. En effet, les triangles et sont semblables car ils ont l'angle en commun et l'angle est supplémentaire de qui est lui même supplémentaire de (car deux angles opposés d'un quadrilatère inscriptible dans un cercle sont supplémentaires), d'où . Le mot puissance est donc un bien joli mot pour pas grand chose...

En fait, si on veut éviter de devoir définir cette puissance comme étant "la valeur |PA|.|PB| quelle que soit la droite passant par P et coupant le cercle en A et B", ce qui est quand même lourd, on peut la définir comme étant , où O est le centre du cercle et R son rayon.

En considérant comme droite particulière le diamètre OP, on vérifie facilement qu'on obtient bien la même valeur...

Effectivement je ne connaissais pas. Mais c'est très clair maintenant effectivement c'est une belle solution, mais je ne vois comment faire autrement.

Avec ce que connaissent les élèves de troisième...
Les angles AED, FCD, DBA, DBC, DFC et DAE ont la même amplitude : ce sont des angles inscrits qui interceptent un même arc dans un des deux cercles, sauf pour les deux angles de sommet B qui valent la moitié de l'angle ABC par construction.
Appelons a l'amplitude commune de ces six angles.
Il en résulte que les angles DFC et DAE ont la même amplitude, égale à 180°-2a et qu'à leur tour les angles ADF et EDC ont la même amplitude égale à 180°-2a-EDF.
Cela étant, les triangles DAF et DEC sont isocèles et, par suite, les triangles DAF et DEC sont isométriques. Aussi, les segments AF et EC ont la même longueur; CQFD

Dans ma démonstration ci-dessus, j'ai inversé les lettres E et F : mille excuses !