[AD] est le diamètre du petit cercle et E est situé sur ce petit cercle.
Le petit cercle est donc circonscrit au triangle ADE.
Le triangle ADE est donc rectangle en E.
[AB] est le diamètre du grand cercle et C est situé sur ce grand cercle.
Le grand cercle est donc circonscrit au triangle ABC.
Le triangle ABC est donc rectangle en C.
On a donc un angle droit en C et en E.
Donc (DE) et (CB) sont perpendiculaires à (AC).
Si 2 droites sont perpendiculaires à une 3e droite, alors, ces 2 droites sont parallèles.
Donc (DE) // (BC)
