--> Un exemple d'enveloppe d'une famille de courbes Nous allons découvrir ici un exemple d'une famille de courbes qui va faire « apparaître » une autre courbe. Définition de la famille de courbes Dans un repère du plan, on considère le demi-cercle $\mathscr{C}$ de centre $(0\,;1)$ et de rayon $1$ suivant : Xmin = -0.2 Xmax = 2.2 Ymin = -0.2 Ymax = 2.2 couleur = noir trait = 1 traceX() traceY() couleur = rouge x_a = 0 y_a = 0 pas = 0.05 for( var t= -%PI/2+pas; t <= %PI/2+pas; t = t+pas){ x = cos(t) y = sin(t)+1 segment([x_a,y_a],[x,y]) x_a = x y_a = y } L'équation de $\mathscr{C}$ est : $$x^2+(y-1)^2=1$$ pour tout $x\geq0$.

Pour tout nombre réel $t\in]0\,;1]$, il existe deux points $M_t$ et $N_t$ de $\mathscr{C}$ d'abscisse $t$. Pour chacun de ces points on construit la parabole passant par $(0\,;0)$ et dont le sommet est $M_t$ ou $N_t$. Xmin = -0.2 Xmax = 2.2 Ymin = -0.2 Ymax = 2.2 couleur = noir trait = 1 traceX() traceY() couleur = rouge x_a = 0 y_a = 0 pas = 0.05 for( var t= -%PI/2+pas; t <= %PI/2+pas; t = t+pas){ x = cos(t) y = sin(t)+1 segment([x_a,y_a],[x,y]) x_a = x y_a = y } couleur = "rgba(100,100,100,0.5)" function traceP_h(t){ a = -(1+racineCarrée(1-t*t))/(t*t) graphe( function (x){return a*x*x-2*a*t*x } ,0,2*t) point([t,racineCarrée(1-t*t)+1 ]) //x = 2*t*a/(2*a+1) //point([x, a*x*x-2*a*t*x ]) } function traceP_b(t){ g = -(1-racineCarrée(1-t*t))/(t*t) graphe( function (x){return g*x*x-2*g*t*x } ,0,2*t) point([t,-racineCarrée(1-t*t)+1 ]) //x = 2*t*g/(2*g+1) //point([x, g*x*x-2*g*t*x ]) } traceP_h(0.5) traceP_b(0.5) couleur = "rgba(100,100,100,0.3)" segment([0.5,0],[0.5,1.85],[4,4]) couleur = "rgba(0,0,0,0.8)" texte("t",[0.49,-0.1]) On s'intéresse alors à l'ensemble de ces paraboles, pour toutes les valeurs de $t\in]0\,;1]$. C'est la famille de courbes que l'on considère ici.
Voici quelques éléments de cette famille représentés dans le repère : Xmin = -0.2 Xmax = 2.2 Ymin = -0.2 Ymax = 2.2 couleur = noir trait = 1 traceX() traceY() couleur = rouge x_a = 0 y_a = 0 pas = 0.05 for( var t= -%PI/2+pas; t <= %PI/2+pas; t = t+pas){ x = cos(t) y = sin(t)+1 segment([x_a,y_a],[x,y]) x_a = x y_a = y } couleur = "rgba(100,100,100,0.5)" function traceP_h(t){ a = -(1+racineCarrée(1-t*t))/(t*t) graphe( function (x){return a*x*x-2*a*t*x } ,0,2*t) //point([t,racineCarrée(1-t*t)+1 ]) //x = 2*t*a/(2*a+1) //point([x, a*x*x-2*a*t*x ]) } function traceP_b(t){ g = -(1-racineCarrée(1-t*t))/(t*t) graphe( function (x){return g*x*x-2*g*t*x } ,0,2*t) //point([t,-racineCarrée(1-t*t)+1 ]) //x = 2*t*g/(2*g+1) //point([x, g*x*x-2*g*t*x ]) } traceP_h(0.1) traceP_h(0.2) traceP_h(0.3) traceP_h(0.4) traceP_h(0.5) traceP_h(0.65) traceP_h(0.8) traceP_h(0.89) traceP_h(0.96) traceP_h(0.99) traceP_h(1) traceP_b(0.99) traceP_b(0.95) traceP_b(0.89) traceP_b(0.8) traceP_b(0.7) traceP_b(0.6) traceP_b(0.48) traceP_b(0.35) couleur = "rgb(200,100,150)" trait = 4 //graphe( function (x){return 2-x*x/2 } ,0,2) Enveloppe de la famille de courbes En représentant de plus en plus d'éléments de la famille, une courbe semble apparaître. Xmin = -0.2 Xmax = 2.2 Ymin = -0.2 Ymax = 2.2 couleur = noir trait = 1 traceX() traceY() couleur = rouge x_a = 0 y_a = 0 pas = 0.05 for( var t= -%PI/2+pas; t <= %PI/2+pas; t = t+pas){ x = cos(t) y = sin(t)+1 segment([x_a,y_a],[x,y]) x_a = x y_a = y } couleur = "rgba(100,100,100,0.5)" function traceP_h(t){ a = -(1+racineCarrée(1-t*t))/(t*t) graphe( function (x){return a*x*x-2*a*t*x } ,0,2*t) //point([t,racineCarrée(1-t*t)+1 ]) //x = 2*t*a/(2*a+1) //point([x, a*x*x-2*a*t*x ]) } function traceP_b(t){ g = -(1-racineCarrée(1-t*t))/(t*t) graphe( function (x){return g*x*x-2*g*t*x } ,0,2*t) //point([t,-racineCarrée(1-t*t)+1 ]) //x = 2*t*g/(2*g+1) //point([x, g*x*x-2*g*t*x ]) } traceP_h(0.05) traceP_h(0.1) traceP_h(0.15) traceP_h(0.2) traceP_h(0.25) traceP_h(0.3) traceP_h(0.35) traceP_h(0.4) traceP_h(0.45) traceP_h(0.5) traceP_h(0.55) traceP_h(0.6) traceP_h(0.65) traceP_h(0.7) traceP_h(0.75) traceP_h(0.8) traceP_h(0.85) traceP_h(0.89) traceP_h(0.93) traceP_h(0.96) traceP_h(0.975) traceP_h(0.99) traceP_h(0.997) traceP_h(1) traceP_b(0.997) traceP_b(0.99) traceP_b(0.98) traceP_b(0.97) traceP_b(0.95) traceP_b(0.92) traceP_b(0.89) traceP_b(0.85) traceP_b(0.8) traceP_b(0.75) traceP_b(0.7) traceP_b(0.65) traceP_b(0.6) traceP_b(0.54) traceP_b(0.48) traceP_b(0.43) traceP_b(0.35) couleur = "rgb(200,100,150)" trait = 4 //graphe( function (x){return 2-x*x/2 } ,0,2) Cette courbe semble être « tangente » aux courbes de la famille, c'est-à-dire qu'au point de contact entre un élément de la famille et cette courbe il y a une tangente commune. Xmin = -0.2 Xmax = 2.2 Ymin = -0.2 Ymax = 2.2 couleur = noir trait = 1 traceX() traceY() couleur = rouge x_a = 0 y_a = 0 pas = 0.05 for( var t= -%PI/2+pas; t <= %PI/2+pas; t = t+pas){ x = cos(t) y = sin(t)+1 segment([x_a,y_a],[x,y]) x_a = x y_a = y } couleur = "rgba(100,100,100,0.5)" function traceP_h(t){ a = -(1+racineCarrée(1-t*t))/(t*t) graphe( function (x){return a*x*x-2*a*t*x } ,0,2*t) //point([t,racineCarrée(1-t*t)+1 ]) x = 2*t*a/(2*a+1) y = a*x*x-2*a*t*x P = [x,y] point(P) V = [-1,x] couleur = "rgba(0,100,200,0.5)" droiteParam(P,V,[4,4]) } function traceP_b(t){ g = -(1-racineCarrée(1-t*t))/(t*t) graphe( function (x){return g*x*x-2*g*t*x } ,0,2*t) //point([t,-racineCarrée(1-t*t)+1 ]) x = 2*t*g/(2*g+1) y = g*x*x-2*g*t*x P = [x, y] point(P) } traceP_h(0.8) couleur = "rgb(0,100,150)" trait = 1 graphe( function (x){return 2-x*x/2 } ,0,2) Mise en équation Nous allons ici conjecturer l'équation de l'enveloppe de la famille de courbes, puis déterminer les expressions algébriques des paraboles de la famille. On cherchera ensuite si il existe des tangentes parallèles entre l'enveloppe et une parabole quelconque de la famille de courbe. Ceci permettra de conclure. Équation de l'enveloppe En observant la famille de courbes, on peut conjecturer que l'enveloppe est une portion de parabole. Son sommet est sur l'axe des ordonnées en $(0\,;2)$ et elle semble couper l'axe des abscisses en $(2\,;0)$.
Son équation serait donc $y=2-\dfrac{1}{2}x^2$ Expression algébrique des paraboles constituant la famille de courbes Rappelons que l'équation du cercle considéré ici est : $x^2+(y-1)^2=1$.
Ainsi, pour $x=t$, on a :
$t^2+(y-1)^2$ $=$ $1$
$(y-1)^2$ $=$ $1-t^2$
$y-1$ $=$ $\pm \sqrt{1-t^2}$
$y$ $=$ $1\pm \sqrt{1-t^2}$.
Les ordonnées des points du cercle d'abscisse $t$ sont donc $1+ \sqrt{1-t^2}$ et $1-\sqrt{1-t^2}$. Xmin = -0.2 Xmax = 2.2 Ymin = -0.2 Ymax = 2.2 couleur = noir trait = 1 traceX() traceY() couleur = rouge x_a = 0 y_a = 0 pas = 0.05 for( var t= -%PI/2+pas; t <= %PI/2+pas; t = t+pas){ x = cos(t) y = sin(t)+1 segment([x_a,y_a],[x,y]) x_a = x y_a = y } couleur = "rgba(100,100,100,0.5)" function traceP_h(t){ a = -(1+racineCarrée(1-t*t))/(t*t) //graphe( function (x){return a*x*x-2*a*t*x } ,0,2*t) point([t,racineCarrée(1-t*t)+1 ]) //x = 2*t*a/(2*a+1) //point([x, a*x*x-2*a*t*x ]) } function traceP_b(t){ g = -(1-racineCarrée(1-t*t))/(t*t) //graphe( function (x){return g*x*x-2*g*t*x } ,0,2*t) point([t,-racineCarrée(1-t*t)+1 ]) //x = 2*t*g/(2*g+1) //point([x, g*x*x-2*g*t*x ]) } traceP_h(0.5) traceP_b(0.5) couleur = "rgba(100,100,100,0.3)" segment([0.5,0],[0.5,1.85],[4,4]) couleur = "rgba(0,0,0,0.8)" texte("t",[0.49,-0.1]) Intéressons-nous dans un premier temps au point le plus haut $(t\,; 1+ \sqrt{1-t^2})$.
On cherche l'expression algébrique $P_t(x)$ de la parabole passant par $(0\,;0)$ et de sommet $(t\,; 1+ \sqrt{1-t^2})$. Xmin = -0.2 Xmax = 2.2 Ymin = -0.2 Ymax = 2.2 couleur = noir trait = 1 traceX() traceY() couleur = rouge x_a = 0 y_a = 0 pas = 0.05 for( var t= -%PI/2+pas; t <= %PI/2+pas; t = t+pas){ x = cos(t) y = sin(t)+1 segment([x_a,y_a],[x,y]) x_a = x y_a = y } couleur = "rgba(100,100,100,0.5)" function traceP_h(t){ a = -(1+racineCarrée(1-t*t))/(t*t) graphe( function (x){return a*x*x-2*a*t*x } ,0,2*t) point([t,racineCarrée(1-t*t)+1 ]) //x = 2*t*a/(2*a+1) //point([x, a*x*x-2*a*t*x ]) } function traceP_b(t){ g = -(1-racineCarrée(1-t*t))/(t*t) //graphe( function (x){return g*x*x-2*g*t*x } ,0,2*t) point([t,-racineCarrée(1-t*t)+1 ]) //x = 2*t*g/(2*g+1) //point([x, g*x*x-2*g*t*x ]) } traceP_h(0.5) //traceP_b(0.5) couleur = "rgba(100,100,100,0.3)" segment([0.5,0],[0.5,1.85],[4,4]) couleur = "rgba(0,0,0,0.8)" texte("t",[0.49,-0.1]) On sait que cette expression algébrique est de la forme $P_t(x)=ax^2+bx+c$, avec $c=0$ car la parabole passe par l'origine du repère. Il nous faut donc trouver $a$ et $b$ qui nécessairement dépendront de la valeur de $t$. On les notes donc plutôt $a(t)$ et $b(t)$.
On a de plus, pour des raisons de symétrie que le polynôme s'annule pour $x=2t$. Xmin = -0.2 Xmax = 2.2 Ymin = -0.2 Ymax = 2.2 couleur = noir trait = 1 traceX() traceY() couleur = rouge x_a = 0 y_a = 0 pas = 0.05 for( var t= -%PI/2+pas; t <= %PI/2+pas; t = t+pas){ x = cos(t) y = sin(t)+1 segment([x_a,y_a],[x,y]) x_a = x y_a = y } couleur = "rgba(100,100,100,0.5)" function traceP_h(t){ a = -(1+racineCarrée(1-t*t))/(t*t) graphe( function (x){return a*x*x-2*a*t*x } ,0,2*t) point([t,racineCarrée(1-t*t)+1 ]) //x = 2*t*a/(2*a+1) //point([x, a*x*x-2*a*t*x ]) } function traceP_b(t){ g = -(1-racineCarrée(1-t*t))/(t*t) //graphe( function (x){return g*x*x-2*g*t*x } ,0,2*t) point([t,-racineCarrée(1-t*t)+1 ]) //x = 2*t*g/(2*g+1) //point([x, g*x*x-2*g*t*x ]) } traceP_h(0.5) //traceP_b(0.5) couleur = "rgba(100,100,100,0.3)" segment([0.5,0],[0.5,1.85],[4,4]) couleur = "rgba(0,0,0,0.8)" texte("t",[0.49,-0.1]) texte("0",[-0.075,-0.1]) texte("2t",[0.95,-0.1]) Ainsi :
$P_t(2t)$ $=$ $0$
$a(t)(2t)^2+b(t)2t$ $=$ $0$
$4t^2a(t)+2tb(t)$ $=$ $0$
$2tb(t)$ $=$ $-4t^2a(t)$
$b(t)$ $=$ $\dfrac{-4t^2a(t)}{2t}$ car $t\neq0$
$b(t)$ $=$ $-2ta(t)$.
Par ailleurs, on a :
$P_t(t)$ $=$ $1+\sqrt{1-t^2}$
$a(t)t^2+b(t)t$ $=$ $1+\sqrt{1-t^2}$
$a(t)t^2-2ta(t)t$ $=$ $1+\sqrt{1-t^2}$ car $b(t)=-2ta(t)$
$a(t)t^2-2a(t)t^2$ $=$ $1+\sqrt{1-t^2}$
$-a(t)t^2$ $=$ $1+\sqrt{1-t^2}$
$a(t)$ $=$ $-\dfrac{1+\sqrt{1-t^2}}{t^2}$ car $t\neq0$.
On obtient alors :
$b(t)$ $=$ $-2ta(t)$
$=$ $-2t\times\left(-\dfrac{1+\sqrt{1-t^2}}{t^2}\right)$
$=$ $2\times\dfrac{1+\sqrt{1-t^2}}{t}$.
L'expression algébrique de la parabole supérieure est donc : $$P_t(x)=-\dfrac{1+\sqrt{1-t^2}}{t^2}x^2+2\times\dfrac{1+\sqrt{1-t^2}}{t}x,$$ mais nous conserverons autant que possible, pour des raisons de lisibilité, l'écriture : $$P_t(x)=a(t)x^2-2ta(t)x.$$ On remarque, par ailleurs, que pour la parabole inférieure $a(t)=-\dfrac{1-\sqrt{1-t^2}}{t^2}$, soit $a(t)=\dfrac{-1+\sqrt{1-t^2}}{t^2}$. Tangente parallèle entre paraboles et enveloppe Pour déterminer si il existe, pour une abscisse $x$ donnée, des tangentes parallèles entre une parabole quelconque de la famille de courbe et la candidate pour l'enveloppe, on résout :
$P'_t(x)$ $=$ $\left(2-\dfrac{1}{2}x^2\right)'$
$\left( a(t)x^2-2ta(t)x \right)'$ $=$ $-x$
$2a(t)x-2ta(t)$ $=$ $-x$
$2a(t)x+x$ $=$ $2ta(t)$
$(2a(t)+1)x$ $=$ $2ta(t)$
$x$ $=$ $\dfrac{2ta(t)}{2a(t)+1}$.
Ainsi, pour tout $t\in]0\,;1]$, au point d'abscisse $x_0=\dfrac{2ta(t)}{2a(t)+1}$, toute parabole de la famille, obtenue pour le paramètre $t$, admet une tangente en $x_0$ qui est parallèle à la tangente de la courbe d'équation $y=2-\dfrac{1}{2}x^2$, également au point d'abscisse $x_0$.
C'est-à-dire, que l'enveloppe que nous cherchons est obtenue par une translation de la parabole d'équation $y=2-\dfrac{1}{2}x^2$.
Nous allons montrer que l'enveloppe est exactement la courbe d'équation $y=2-\dfrac{1}{2}x^2$, en vérifiant qu'une des paraboles de la famille possède un point commun avec elle.
En effet, pour $t=1$, on a $a(t)=a(1)=-\dfrac{1-\sqrt{1-1^2}}{1^2}$ $=$ $-1$ (on a le même résultat pour la deuxième formule de $a(t)$ pour les paraboles inférieures).

Ainsi, $x_0=\dfrac{2ta(t)}{2a(t)+1}$ $=$ $\dfrac{-2}{-2+1}$ $=$ $2$.

Or, $P_t(x_0)=P_1(2)$ $=$ $a(1)2^2-2\times1\times a(1)\times2$ $=$ $-4+4$ $=$ $0$.
Et pour la parabole candidate pour l'enveloppe : $y=2-\dfrac{1}{2}x_0^2$ $=$ $2-\dfrac{1}{2}\times 4$ $=$ $0$.
Ainsi, pour $t=1$, la courbe d'équation $y=2-\dfrac{1}{2}x^2$ (qui est « parallèle » à l'enveloppe) et la parabole de la famille ont un point en commun, et ce point en commun est donc celui où ces courbes ont une tangente commune.

On peut alors conclure que l'enveloppe de la famille est bien la parabole d'équation $y=2-\dfrac{1}{2}x^2$.