Si les angles CED et CAD sont égaux, alors:
CED = A2 + B2
CAD = A1 + B1
=> A1 + B1 = A2 + B2
=> (90-A2) + (90-B2) = A2 + B2
=> 180 = 2A2 + 2B2
=> 90 = A2 + B2
=> l'angle CED doit former un angle droit
=> de même pour l'angle CAD
Nous avons démontré que CED = CAD uniquement dans le cas où ce sont des angles droits
=> 4 angles droits pour le quadrilatère ACED forment un rectangle
=> le cercle qui a pour diamètre l'une des diagonales (AE) de ce rectangle a l'autre diagonale comme 2nd diamètre.
=> C et D sont opposés par rapport à O
