Oui, un peu lourd mais combien efficace.
Voila la démo complète par méthode analytiques (j'ai modifié la fin)
Avec le dessin de ma première réponse.
---
Soit un repère orthonormé d'origine O, de mesure unitaire égale au rayon du cercle.
Avec l'axe des abcisses // à (AB) et donc l'axe des ordonnée est médiatrice de [AB]
Appelons X l'abscisse de B dans ce repère. (X est dans [0 ; 1])
On a :
Equation du cercle: x²+y² = 1
I(0 ; -1)
A(-X ; V(1-X²))
B(X ; V(1-X²))
Equation de (AB): y = V(1-X²)
Equation de (IM): y = m1.x - 1 (avec |m1| >= tg((1 + V(1+X²))/X))
Equation de (IN): y = m2.x - 1 (avec |m2| >= tg((1 + V(1+X²))/X))
On trouve les coordonnées de C en résolvant le système:
x²+y² = 1
y = m1.x - 1
x² + m1²x² + 1 - 2m1.x = 1
x²(m1² + 1) - 2m1x = 0
Une des solutions (x = 0 ) correspond au point I --> pour C:
x(m1² + 1) - 2m1 = 0
x = 2m1/(1+m1²)
y = 2m1²/(1+m1²) - 1
y = (m1²-1)/(1+m1²)
On a donc C(2m1/(1+m1²) ; (m1²-1)/(1+m1²))
On trouve les coordonnées de M en résolvant le système:
y = V(1-X²)
y = m1.x - 1
V(1-X²) = m1x - 1
x = (1+V(1-X²))/m1
On a donc M((1+V(1-X²))/m1 ; V(1-X²))
Par simple remplacement de m1 par m2, on trouve:
D(2m2/(1+m2²) ; (m2²-1)/(1+m2²))
et
N((1+V(1-X²))/m2 ; V(1-X²))
---
Point milieu de [MN] : ((1+V(1-X²)).(m1+m2)/(2m1m2) ; V(1-X²))
médiatrice de [MN] : x = (1+V(1-X²)).(m1+m2)/(2m1m2)
---
Point milieu de [MC] : P(m1/(1+m1²) + (1+V(1-X²))/(2m1) ; (m1²-1)/(2(1+m1²)) + (V(1-X²))/2)
médiatrice de [MC] : y = -(1/m1)x + 1/(1+m1²) + (1+V(1-X²))/(2m1²) + (m1²-1)/(2(1+m1²)) + (V(1-X²))/2
en simplifiant, on obtient immédiatement :
médiatrice de [MC] : y = -(1/m1)x + (m1²+1)/(2m1²) + ((m1²+1)/(2m1²)).V(1-X²)
---
Point commun aux médiatrices de [MN] et [MC] :
x = (1+V(1-X²)).(m1+m2)/(2m1m2)
y = -(1/m1)x + (m1²+1)/(2m1²) + ((m1²+1)/(2m1²)).V(1-X²)
y = -(1/m1)[(1+V(1-X²)).(m1+m2)/(2m1m2)] + (m1²+1)/(2m1²) + ((m1²+1)/(2m1²)).V(1-X²)
Remise au même dénomineut et simplification :
y = (m1m2-1)/(2m1m2).(1 + V(1-X²)
Donc le centre du cercle passant par les points M, N et C a pour coordonnées :
((1+V(1-X²)).(m1+m2)/(2m1m2) ; (m1m2-1)/(2m1m2).(1 + V(1-X²))
Pour trouver le centre du cercle passant par les points M N et D, il suffit de croiser m1 et m2 dont l'expression qu'on vien tde trouver:
Et cela ne change pas le résultat car m1 et m2 sont interchangeable sans modifier l'expression --->
Les point M N, C et D sont cocycliques.
-----
Les angles MCN et NDM ont leurs sommets sur un même cercle et sous-tendent la même corde MN, et comme C et D sont d'un même coté de cette corde, les angles MCN et NDM sont égaux.
Et donc les angles ICN et IDM sont égaux.
CQFD.
-----
Sauf distraction.
