La médiatrice est tangente en M à la parabole.
- Preuve 1 : simple, mais suppose l'existence de la tangente.
Soit M' un autre point de la parabole, H' sa projection sur la directrice.
FM' = M'H' (définition).
M'H > M'H' (M'H' est la distance de M' à la directrice)
Donc M'H > M'F et M' est du même côté que F de la médiatrice.
Tous les points sauf M sont donc strictement du même côté que F de la médiatrice.
Celle ci est donc la tangente à la parabole en M.
Car "la parabole admet une tangente en chaque point" (hum... visiblement).
- Preuve 2 :
Soit M' un autre point de la parabole.
M et M' sont les centres de cercles passant par F et tangents en H et H' à la directrice.
La droite des centres MM' est perpendiculaire à l'axe radical de ces deux cercles
(lieu des points ayant même puissance par rapport aux deux cercles).
Cet axe radical coupe la directrice en I. I est le milieu de HH' :
IH² = IH'² = puissance de I.
Quand M' → M, H' → H et I → M. La droite FI → FH
La perpendiculaire MM' de M à FI admet donc une limite (donc une tangente) qui est la perpendiculaire de M à FH.
Comme MH = MF, cette perpendiculaire est la médiatrice de FH.
Comme le triangle HMF est isocèle, la tangente est aussi la bissectrice de l'angle HMF :
Un rayon (lumineux) parallèle à l'axe se reflète en M et passe au foyer F.
On en déduit immédiatement AJ = HF = constante = p
La sous normale (AJ) est constante et égale au paramètre
Quand F est en A, FM = AH = FH = p et donc
La 1/2 corde focale perpendiculaire à l'axe est égale au paramètre
Les tangentes en M et M' sont perpendiculaires (respectivement perpendiculaires aux bissectrices FH, FH').
Elles se coupent sur la directrice (au milieu I de HH', "droites des milieux" dans HFH').
La construction de I comme pôle de MM' donne I conjugué de F.
La directrice est le lieu des points d'où on voit la parabole sous un angle droit
La directrice est la polaire du foyer. |
Le point rouge déplace la droite parallèlement à elle même, le point cyan en fait varier la direction.
La parallèle à l'axe en P coupe la parabole en T et la tangente en T
est la médiatrice de PF, donc parallèle à la droite donnée.
P étant le milieu de H1H2, la droite PT coupe M1M2 en son milieu G
Si on fait varier la sécante parallèlement à elle même, P est fixe et donc :
Les milieux de cordes parallèles sont alignés sur une parallèle à l'axe.
Cette parallèle coupe la parabole en un point où la tangente est parallèle à ces cordes. |
Dans une parabole, tous les diamètres sont conjugués à l'axe
Le cercle osculateur coupe la parabole en 3 points confondus en M, plus un 4ème point.
Le lieu de C est l'enveloppe des normales à la parabole.
le rayon de courbure au sommet de la parabole est égal au paramètre.
Démonstration directe :
Soient deux points M et M' [voisins] de la parabole.
La normale est la bissectrice de l'angle du rayon vecteur FM et de la parallèle à l'axe
Soit θ l'angle des rayons vecteurs FM et FM', l'angle des normales est donc θ/2, elles se coupent en C.
Construisons le cercle circonscrit à FMM'.
La médiatrice de MM' coupe ce cercle en I et l'angle inscrit MIM' = θ
Le cercle de centre I passant par M et M' est donc le lieu de tous les points d'où on voit MM' sous l'angle θ/2, le point C est donc sur ce cercle.
Quand M'→M, C→ le centre de courbure.
La médiatrice de MM' et les deux normales sont confondues et les deux cercles sont tangents à la parabole en M.
Le point C est alors l'intersection de la normale en M et du cercle de centre I, et donc IC = MI, soit MC = 2MI
I devient diamétralement opposé à M sur le cercle (MFM'), et donc MF _|_ FI.
La construction générale pour une conique quelconque s'applique aussi ici : en effet FJ = FM = FK
construire une parabole étant donné etc...