Dans l'applet Geogebra e définit l'excentricité (ou en tapant la valeur e= dans la ligne de commandes, entre 0 et 5)
Le point bleu (d) définit le rayon vecteur (d)
Si (d) est l'axe focal, T est à l'infini et la construction disparaît.
Nota : Le cercle de diamètre IJ est tangent à la conique en P et P'.
Construisons la tangente PT par FT _|_ FP.
Tout cercle passant par F et H est perpendiculaire au cercle de diamètre IJ, puisque
F et H sont conjugués par rapport à I,J.
En particulier le cercle de diamètre PT, circonscrit au quadrilatère THPF.
Donc PT est perpendiculaire à Pm.
Une fois le cercle (m) construit il suffit donc de tracer la perpendiculaire à Pm pour avoir la tangente
Tracer un cercle quelconque centré en I sur (D), passant par F et coupant le cercle directeur en X et X'.
La perpendiculaire en F à (D) (= la droite FH) coupe la droite XX' en M.
Construire les tangentes MT et MT' de M au cercle directeur.
Les droites F'T et F'T' coupent (D) en P et P' qui sont les points cherchés.
La conique peut être changée en déplaçant F.
La droite (D) est déplaçable par ses points bleus
Choisir I (point vert) pour que le cercle (I,F) coupe le cercle directeur.
On peut chercher l'ensemble des points d'où on "voit" la conique sous un angle droit.
C'est à dire d'où les deux tangentes sont perpendiculaires.
C'est un cercle centré en O (dégénère en droite pour une parabole).
Soient M et N deux points du cercle directeur avec FM_|_FN
Les médiatrices de FM et FN sont donc deux tangentes perpendiculaires, se coupant en P.
Dans le triangle rectangle FPN, FP = PM = PN.
Dans le triangle rectangle F'PM, F'P² + PM² = F'M² = R², rayon du cercle directeur.
Donc F'P² + FP² = R² = cte.
Le lieu de P est donc un cercle centré en O (lieu connu).
Une démonstration classique que le lieu des points dont la somme des
carrés des distances à F et F' est constante est un cercle :
FP >2 = (FO > + OP >)2 =
FO >2 + OP >2 + 2.FO >.OP >
et de même :
F'P >2 = (F'O > + OP >)2 =
F'O >2 + OP >2 + 2.F'O >.OP >
en ajoutant membre à membre il vient (F'O > = - FO >) :
FP² + F'P² = 2.FO² + 2.OP², et donc OP est constant.
La construction de ce cercle en découle :
Soit X le point d'intersection de la médiatrice de FF' avec le cercle de centre F',
de rayon R/√2
Ce point est sur le cercle cherché.
On notera que si l'excentricité e > √2, aucun point ne convient.
Ce qui semble évident compte tenu de l'angle des asymptotes dans ce cas.
Il suffit donc pour construire le centre de courbure de tracer l'intersection V de la normale avec l'axe. La perpendiculaire à la normale en V coupe le rayon vecteur en Q, la perpendiculaire au rayon vecteur en Q coupe la normale en C.
La construction ne marche pas aux sommets de la conique.
Mais dans ce cas, V,Q et C sont confondus avec le conjugué
harmonique du sommet par rapport aux foyers.
Pour la parabole, le deuxième foyer étant rejeté à l'infini,
la construction est la même avec une démonstration un peu différente...
Nota : Le cercle osculateur coupant la conique en 4 points,
3 sont en P et il recoupe donc la conique en un seul autre point.
Il traverse donc la conique en P.
Aux sommets, les 4 points sont confondus et c'est le seul cas où
le cercle osculateur est entièrement du même côté de la conique.
construire une conique étant donné etc...