Beruflich Dokumente
Kultur Dokumente
Courbes et surfaces
Pr
eface
Page 1/52
JP Barani
Page 2/52
JP Barani
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Surfaces usuelles
2.1 Cylindres . . . . . . . . . . . . . . . . . . . . .
2.1.1 Surfaces cylindriques . . . . . . . . . . .
2.1.2 Probl`emes geometriques associes . . . . .
2.2 Cones . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Surfaces coniques . . . . . . . . . . . . .
2.2.2 Probl`emes geometriques associes . . . . .
2.3 Surfaces de revolution . . . . . . . . . . . . . .
2.3.1 Surface de revolution autour dune droite
2.3.2 Probl`emes geometriques associes . . . . .
2.4 Quadriques . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
. 5
. 5
. 8
. 15
. 17
.
.
.
.
.
.
.
.
.
.
21
22
22
22
24
24
25
26
26
26
28
.
.
.
.
.
.
.
.
.
.
3 Exemples de probl`
emes g
eom
etriques et dutilisation de Maple
29
3.1 Mise en equation de surfaces . . . . . . . . . . . . . . . . . . . 29
3.1.1 Recherche de contours apparents cylindriques et coniques 29
3.1.2 Exemples et exercices divers . . . . . . . . . . . . . . . 30
3.2 Recherche de parametrages dune surface . . . . . . . . . . . . 30
3.3 Generation de surfaces . . . . . . . . . . . . . . . . . . . . . . 30
3.3.1 Recherche de droites sur une surface . . . . . . . . . . 30
3.4 Autres exemples et probl`emes divers . . . . . . . . . . . . . . 31
3
Page 4/52
JP Barani
Chapitre 1
Courbes et surfaces
Dans ce qui suit les espaces R2 et R3 sont munis de leur structure affine
euclidienne et de leur orientation naturelle pour laquelle le rep`ere canonique
h
x ,
y i. On rappelle que, si (B) est une base orthonormee directe de R3 , le
u ,
v ,
w ) ne depend pas de (B), il est note Det(
u ,
v ,
w)
scalaire det(B) (
1.1
Courbes param
etr
ees
1.2
Courbes implicites
orthogonale `
a grad f ((x, (x))).
Demonstration. Hors programme. La derivation de la fonction composee definie par g(x) = f (x, (x)) donne :
0 = g 0 (x) =
f
f
(x, (x)) +
(x, (x))0 (x)
x
y
et donc grad f ((x, (x))) est orthogonal au vecteur (1, 0 (x)) qui dirige la
tangente au graphe de au point (x, (x)). On retrouve le resultat deja
signale dans le cours sur les fonctions de plusieurs variables `a propos des
equipotentielles et des lignes de champ.
L
enonc
e suivant rend les hypoth`
eses plus faciles `
a retenir si on
prend la peine de faire un dessin.
Th
eor`
eme 2 (Forme g
eom
etrique du th
eor`
eme des fonctions implin
cites). Soit f une application de classe C (n 1) dun ouvert U de R2
dans R. Soit
(C) = {(x, y) U / f (x, y) = 0}
JP Barani
un point m(t) est dirigee par grad f (m(t)). Au surplus si grad f (m0 ) nest
pas horizontal resp vertical C0 peut etre pris de la forme :
I =]x0 , x0 + [,
m : x 7 (x, (x))
I =]y0 , y0 + [,
m : y 7 ((y), y)
resp
Demonstration. Soit m0 = (x0 , y0 ) (C). Deux cas se presentent :
a) f
(m0 ) 6= 0 Alors, dapr`es le theor`eme des fonctions implicites, il existe
y
P =]x0 , x0 + []y0 , y0 + [ et C n (]x0 , x0 + [, R) telle
que P (C) soit le support de larc parametre x 7 (x, (x)).
f
b) y (m0 ) = 0 Alors f
(m0 ) 6= 0 et on peut intervertir les roles de x et y
x
cest-`a-dire que P (C) est le support dun arc du type y 7 ((y), y).
Proposition 1 (Equation
cart
esienne de la tangente). Avec les hypoth`eses et notations du theor`eme 2 page 6, le point P = (x, y) R2 appartient
a C si et seulement si :
`a la tangente en m0 = (x0 , y0 ) `
D E
f
f
grad f (m0 ), m0 P = 0 ie
(m0 )(x x0 ) +
(m0 )(y x0 ) = 0
x
y
` la physicienne, on differentie la
Remarque 1 (Lien avec la physique). A
relation f (x, y) = 0 au point m0 ce qui donne f
(m0 ) dx + f
(m0 ) dy =
x
y
0 et on remplace respectivement dx et dy par (x x0 ) et (y y0 ). Les
lecteurs reflechiront au sens des notations dx et dy dans ce calcul.
Exemple 1. Considerons lellipse (E) definie par :
x2 y 2
+ 2 =1
a2
b
Notons f (x, y) =
et :
2
x2
+ yb2 1.
a2
2x dx 2y dy
+ 2
a2
b
Donc, apr`es simplification par 2, la tangente `a (E) au point m a pour equation :
x (X x) y (Y y)
+
=0
a2
b2
df (m) =
Page 7/52
JP Barani
p>0
Exercice 1 (Etude
globale dune courbe simple d
efinie implicitement). Soit f definie sur R2 par :
f (x, y) = y x2 + x2 y + y 3 + 6x3
1.3
Surfaces param
etr
ees
D
efinition 1 (Nappe param
etr
ee). On appelle nappe (ou surface) pau U est un
ram
etr
ee de classe C n (n N {}) un couple S = (U, M ) o`
2
n
3
ouvert non vide de R et M C (U, R ). On se donnera un point M (u, v)
de la nappe en precisant bien le couple (u, v) U . Lensemble des points
M (u, v) o`
u (u, v) decrit U sappelle support de la nappe (mais on dit
aussi la surface par abus) ; dans cet expose on notera (S) cet ensemble.
Exemple 3. Considerons la surface parametree S de R3 definie par :
x = u2
y = 2uv
z = v 2 2u
a) Trac
e Maple Le trace de la portion de surface (S) correspondant `a
(u, v) [5, 5]2 sobtient par :
>M:=vector([u^2,2*u*v,v^2-2*u]);
>plot3d(M,u=-5..5,v=-5..5,axes=normal);
Page 8/52
JP Barani
30
20
10
24
22
20
18
16
14
12
10
2
10
y2
2u
4u2
b) Courbes `
a v constant Elles sont un peu moins evidentes. On peut
ecrire une fonction Maple qui prend v0 en argument et retourne lex
la
pression associee `a la courbe qui correspond `a v = v0 . Etudions
courbe (1 ) qui correspond `a v = 1.
>section:=proc(v0) subs(v=v0,evalm(M)) end;
>s1:=section(1);
>spacecurve(s1,u=-5..5,axes=normal);
Page 9/52
JP Barani
10
8
6
4
2
24
22
20
18
16
14
12
10
2
4
6
8
OA =
j
k
+
2
2
2
2
k
=
j +
2
2
2
2
k
=
j
2
2
JP Barani
le rep`
ere canonique en invoquant
courbe (1 ), on calcule dabord AM
dans
evalm(s1 A) puis dans le rep`ere A, I , J , K via :
>Q:=matrix([Ii,J,K]);
>map(simplify,evalm(Q&*evalm(s1-A)));
Maple trouve :
[u2 , 1/2
Soit :
22
2u, 0]
2 2 2u J
AM = u2 I +
D
efinition 2 (Plan tangent en un point r
egulier). Soit S = (U, M ) une
n
egulier si le
nappe param
etree C, n 1. Le point M (u, v) de S est dit r
syst`eme M
(u, v), M
(u, v) est libre. Le plan tangent `a S en un tel point
u
v
est, par
definition le planaffine qui passe par M (u, v) et dont la direction est
M
(u,
v),
(u, v) . Autrement dit :
Vect M
u
v
)
! (
M M
M
M
M (u, v) + Vect
= M (u, v) +
,
+
, (, ) R2
u v
u
v
La normale `
a S en M (u, v) est la perpendiculaire au plan tangent qui passe
M
par M (u, v). Elle est dirigee par le vecteur M
(u,
v)
(u, v).
u
v
Proposition 2 (Equation
du plan tangent). Avec les hypoth`eses et notations de la definition 2 page 11, Le point P R3 appartient au plan tangent
`a S en le point regulier M (u, v) si et seulement si :
!
M
M
Det
(u, v),
(u, v), M (u, v)P = 0
u
v
Page 11/52
JP Barani
0
M
M
0
0
F (t) = u (t)
(u(t), v(t)) + v (t)
(u(t), v(t))
u
v
est donc reguli`ere et la tangente en lun de ses points est contenue
dans le plan tangent `
a S en ce point.
Page 12/52
JP Barani
Exemple 5 (D
etermination g
eom
etrique dun plan tangent). Notons
O, i , j , k le rep`ere canonique de R3 et considerons les vecteurs associees
au syst`eme de coordonnees spheriques :
M (, ) = O + I ()
qui est de classe C et dont le support (S) est la partie du cone de sommet
O, de revolution autour de Oz et de demi-angle au sommet , qui est situee
dans le demi-espace z > 0. Tracons le pour = /4.
>with(linalg):
>i:=vector([1,0,0]);
>j:=vector([0,1,0]);
>k:=vector([0,0,1]);
>u:=evalm(cos(phi)*i+sin(phi)*j);
>II:=evalm(sin(theta)*u+cos(theta)*k);
>M:=subs(theta=Pi/4,evalm(r*II));
>plot3d(M,r=0..1,phi=0..2*Pi,axes=normal);
Page 13/52
JP Barani
0.7
0.6
0.5
0.4
0.3
0.2
0.6
0.6
0.1
0.4
0.2
0.4
0.2
0.2
0.2
0.4
0.4
0.6
0.6
= I () 6= 0
Les lecteurs calculeront lautre derivee partielle mais cela suffit pour prouver
la regularite de la surface. Par le point M (0 , 0 ) passent deux courbes de
classe C :
le cercle C0 : = 0 ,
la droite D0 : = 0 .
Dapr`es la proposition 3 page 12, le plan tangent `a S au point M (0 , 0 ) est
le plan determine par D0 et la tangente en M (0 , 0 ) `a C0 .
Exercice 4 (Centrale 2007). On consid`ere la surface S de R3 definie par
le parametrage :
x = uv
y = v
z = u2 v + v
Page 14/52
JP Barani
1
2. Plan tangent au point M = 1 ?
3
1.4
Surfaces implicites
On dispose dun th
eor`
eme analogue aux th
eor`
emes 1 page 5 et
2 page 6. On ne donnera que la forme g
eom
etrique plus simple `
a
retrouver.
Th
eor`
eme 3 (Forme g
eom
etrique du th
eor`
eme des fonctions implin
cites). Soit f une application de classe C (n 1) dun ouvert U de R3
dans R. Soit
(S) = {(x, y, z) U / f (x, y, z) = 0}
C n dont la normale en un point m(u, v) est dirigee par grad f (m(u, v)). Au
surplus si grad f (m0 ) nest pas horizontal S0 peut etre pris de la forme :
V =]x0 , x0 + []y0 , y0 + [,
Proposition 4 (Equation
cart
esienne du plan tangent). Avec les hypoth`eses et notations du theor`eme 3 page 15, le point P = (x, y, z) R3
appartient
au planE tangent en m0 = (x0 , y0 , y0 ) `
a S0 si et seulement si
D
a savoir :
grad f (m0 ), m0 P = 0, `
f
f
f
(m0 )(x x0 ) +
(m0 )(y x0 ) +
(m0 )(z z0 ) = 0
x
y
z
Les lecteurs reprendront la remarque 1 page 7 dans ce contexte.
Page 15/52
JP Barani
z
x
y
x
y
z
y
z
= 1
x =
y =
z =
(u, v) R2
3. Etudier
lintersection de () et de son plan tangent en un point regulier.
Exercice 8 (Int t
el
ecom 2007). Determiner les plants tangents `a la surface
2
dequation xy = z qui contiennent la droite dequation :
x = 2
y+z = 1
JP Barani
1.5
Th
eor`
eme 4. Soit f et g deux applications de classe C n (n 1) dun ouvert
U de R3 dans R. Soit
(C) = {(x, y, z) U / f (x, y, z) = 0 et g(x, y, z) = 0}
On suppose que (C) 6= et que :
m : z 7 ((z), (z), z)
Exemple 6 (Repr
esentation en Maple de lintersection de deux sur
faces). On Etudie, au voisinage du point m0 = (1, 1, 1), lintersection (C)
des deux surfaces (S1 ) et (S2 ) definies par :
2
x + y2 + z2 = 3
x2 y + 2xz = 2
En posant :
f (x, y, z) = x2 + y 2 + z 2 3,
g(x, y, z) = x2 y + 2xz 2
JP Barani
1.2
1.4
1.6
1.8
2
0.2
0.4
0.6
x 0.8
1
2
1.8
1.6
1.4
1.2
1z
0.8
0.6
0.4
0.2
0.2
0.4
0.6
0.8 y
1
1.2
1.4
1.6
1.8
2
2
d
` titre dexemple calculons m (1). Les fonctions et etant C 2 sur ]1
A
dx2
, 1 + [, elles admettent, au voisinage de 1, des developpements limites de
la forme :
(1 + h) = 1 + ah + bh2 + o (h2 )
(1 + h) = 1 + a0 h + b0 h2 + o (h2 )
Page 18/52
JP Barani
B
C
=
=
=
=
2 + 2a + 2a0
1 + (2b + a2 ) + (2b0 + (a0 )2 )
4 a + 2a0
1 b + 2a0 + 2b0
2
59
5
2
a = , b = , a 0 = , b0 =
3
27
3
27
118 4
d2 m
,
(1) = 0,
dx2
27 27
Page 19/52
JP Barani
Page 20/52
JP Barani
Chapitre 2
Surfaces usuelles
Lespace R3 est muni de sa structure affine euclidienne canonique. Le rep`
ere par d
efaut est le rep`
ere canonique.
D
efinition 3 (Equations
de plans en position g
en
erale). On appelle
3
equation de plan toute forme affine sur R non constante cest-`a-dire toute
application de R3 dans R de la forme :
(x, y, z) 7 ax + by + cz + d avec (a, b, c) 6= (0, 0, 0)
Trois equations de plans :
Pi (x, y, z) = ai x + bi y + ci z + di
sont dites en position generale si la
a1
a2
a3
i = 1, 2, 3
matrice :
b1 c1
b2 c2 ,
b3 c3
lest. Si (R) = 0, i , j , k est un rep`ere affine de R3 , il existe alors un
autre rep`ere affine (R0 ) = A, I , J , K tel que, pour tout point M R3 ,
les coordonnees (x, y, z) de M dans (R) et les coordonnees (x1 , x2 , x3 ) de M
dans (R0 ) soient liees par les relations :
xi = Pi (x, y, z)
pour i = 1, 2, 3
21
2.1
2.1.1
Cylindres
Surfaces cylindriques
D
efinition 4. Soit
u un vecteur non nul de R3 . On appelle cylindre de
direction
u toute surface S dont le support est la reunion dune famille
n
3
un arc parametre de classe C (n 1) de R et
u un vecteur non nul de
3
u:
R . La surface S = (D, M ) o`
D = I R et
: M (t, ) = m(t) +
u,
`
a u alors le point M (t, ) est un point regulier de S en lequel le plan tangent
est :
!
!
dm
dm
m(t) + Vect
(t),
u = M (t, ) + Vect
(t),
u
dt
dt
2.1.2
Probl`
emes g
eom
etriques associ
es
Proposition 6 (Reconnaissance
dune
equation de Cylindre en re
p`
ere cart
esien). Soit (R) = 0, i , j , k un rep`ere cartesien de R3 daxes
Ox, Oy, Oz, (C) une courbe contenue dans le plan xOy dequation implicite
f (x, y) = 0. Une equation du cylindre de direction Oz et de directrice (C)
est f (x, y) = 0 .
Si P = 0 et Q = 0 sont deux equations de plans non parall`eles de R3 dintersection la droite () et si f est une fonction de R2 dans R, lequation :
f (P, Q) = 0
Page 22/52
JP Barani
x = t
y = t2
z = t3
Exemple 9 (Mise en
equation cart
esienne). Equation
du cylindre ()
de directrice :
2
x + y2 = 1
z = 0
1
3
3 sin
z() =
r() =
2 cos
2 cos
1. Montrer que (C) est plane. Determiner sa nature.
2. Parametrer la surface S obtenue en faisant tourner (C) autour de Oz.
Determiner sa nature.
Page 23/52
JP Barani
2.2
C
ones
2.2.1
Surfaces coniques
D
efinition 6. Soit A un point de R3 . On appelle c
one de sommet A toute
surface S dont le support est la reunion dune famille de droites passant
toutes par A. Une droite de cette famille sappelle une g
en
eratrice du cone
et
M (t, ) = A + Am(t)
est un cone de sommet A dont est appele une directrice. Si le syst`eme
0
Am(t), m (t) est libre (ce qui impose que le point m(t) soit un point regulier
de ) et si 6= 0 alors le point M (t, ) est un point regulier de S en lequel
son plan tangent est :
A + Vect
Page 24/52
dm
(t), Am(t)
dt
JP Barani
2.2.2
Probl`
emes g
eom
etriques associ
es
x = t
y = t2
z = t3
1
et de sommet par A = 1.
1
Exemple 14 (Mise en
equation cart
esienne). Equation
du cone de
directrice :
2
y + 2z 2 = 1
x = 0
2
et de sommet A = 0
2
Exercice 13. Lieu des sommets des cones circonscrits `a une sph`ere qui
coupent un plan tangent dicelle suivant une hyperbole equilat`ere ?
Page 25/52
JP Barani
2.3
Surfaces de r
evolution
2.3.1
Surface de r
evolution autour dune droite
D
efinition 7. Une surface S est dite de revolution autour dun axe (D) si
son support est globalement invariant par toutes les rotations autour de (D).
vecteur unitaire
u . Notons R la rotation dangle autour de
u . La surface
S = (I R, M ) definie par :
M (t, ) = R (m(t))
est de revolution autour de (D). Si m(t) est un point regulier de dont la
tangente (T ) nest pas orthogonale `
a (D), le point M (t, ) est regulier sur
S dont le plan tangent en ce point est determine par la droite R (T ) et la
tangente au parall`ele passant par ce point.
2.3.2
Probl`
emes g
eom
etriques associ
es
3
3
lution). Soit A R et u R { 0 }. Toute surface (S) admettant une
equation de la forme :
u
=0
f ||AM ||2 , AM |
o`
u f est une fonction de deux variables est de revolution autour de laxe
(D) = A + Vect
u.
Page 26/52
JP Barani
0, i , j , k = (O, i , j , k ) daxes
(C) dequations parametriques :
x =
y =
z =
JP Barani
2.4
Quadriques
cf cours sur la r
eduction des
equations de quadriques
Exercice 17. Nature de la quadrique dequation xy + yz xz = 0 en rep`ere
orthonorme.
Page 28/52
JP Barani
Chapitre 3
Exemples de probl`
emes
g
eom
etriques et dutilisation de
Maple
cf aussi le poly de g
eom
etrie
3.1
3.1.1
Mise en
equation de surfaces
Recherche de contours apparents cylindriques et
coniques
x = u2
y = uv
z = 2u + v
x = uv
y = uv
z = u2 + v 2
3.1.2
de AM V .
2. Soit :
mx , x R
(D) =
et
mx , x R
(D ) =
3.2
Recherche de param
etrages dune surface
3.3
G
en
eration de surfaces
3.3.1
Page 30/52
x = az +
y = bz +
JP Barani
0
C = 1
B=
A= 0
0
0
0
3.4
3.4.1
Exemple 21. On consid`ere, dans lespace affine E3 , trois droites (D1 ), (D2 ),
JP Barani
2. En deduire lexistence dun rep`ere cartesien 0, i , j , k = (O, i , j , k )
par rapport auquel les equations de (D1 ), (D2 ), (D3 ) sont de la forme :
y = 0
x = 0
x = 1
(D2 )
(D3 )
(D1 )
z = 1
z = 1
y = 1
3. Ecrire une equation cartesienne de la surface (S), lieu de lensemble
des droites (D) qui coupent (on dit aussi qui sappuient sur) les trois
droites (Di ).
Demonstration. On constate dabord quil sagit dun probl`
eme affine. Les
rep`ere consideres seront donc cartesiens. Il est conseille de faire de nombreux
dessins.
1. Soit O1 (D1 ) et O2 (D2 ). Considerons les plans affines :
(P1 ) = O1 + Vect(
u1 ,
u3 ),
(P2 ) = O2 + Vect(
u2 ,
u3 )
(
ui )1i3 est, par hypoth`ese, libre. Il sensuit que (P1 ) et (P2 ) sont non
parall`eles et se coupent donc selon une droite (3 ) dont la direction
u1 ,
u3 )
est lintersection des directions de (P1 ) et (P2 ), `a savoir : Vect(
u2 , k = h
u3
i = a
u1 , j = b
Page 32/52
JP Barani
Les droites (Di ) ont, dans le rep`ere 0, i , j , k = ((O, i , j , k ))
les equations voulues.
3. Soit M (x, y, z) un point de lespace, on va chercher une condition necessaire et
S suffisante pour quil appartienne au lieu (S) cherche.
Si M 6 3i=1 (Di ), il existe un unique plan (i ) qui contienne {M }
(Di ). Si i 6= j, (i ) et (j ) sont non parall`eles car (Di ) et (Dj ) sont non
coplanaires (non secantes et non parall`eles). Ils se coupent donc en une
droite (Dij ) qui est lunique droite qui contient M et qui coupe `a la fois
(Di ) et (Dj ). M est sur (S) si et seulement si les trois plans (i )1i3
ont une droite en commun cest-`a-dire sils forment un faisceau. On va
donc dabord ecrire lequation de ces trois plans.
Equation
des (i ) : (1 ) contient (D1 ), il a donc une equation de la
forme :
Y + (Z + 1) = 0
En ecrivant quil contient M (x, y, z), on voit quon peut prendre :
= z + 1,
= y
Equation
de (S) : Ces trois plans sont deux `a deux non parall`eles, ils
contiennent une droite en commun si et seulement si
existent des scalaires (i )1i3 6= (0, 0, 0) tels que :
3
X
i i = 0
i=1
Comme ils contiennent tous les trois le point M , il est pour cela
necessaire et suffisant que leurs directions forment un faisceau, ce
qui se traduit par la nullite du determinant :
0
z + 1 y
z1
0
x
y1 1x 0
Page 33/52
JP Barani
Exercice 23. On conserve les notations et hypoth`eses de lexemple precedent. On rappelle les proprietes suivantes relatives aux bijections affines de
E3 . Soit f une telle bijection. On notera E3 la direction de E3 et L(f ) lapplication lineaire de E3 associee `a f (partie lineaire de f ) :
Pour tout couple (A, B) de point de E3 :
Page 34/52
JP Barani
f et que L(f )( k ) = k .
(b) Etudier
L(f )( i ) et L(f )( j ). En deduire que le plan affine (P ) =
3. Soit (Di0 ) un autre syst`eme de droites de E3 verifiant les memes proprietes que le syst`eme (Di ) (leurs vecteurs directeurs forment une base
de E3 et elles ne se coupent pas deux `a deux). Montrer lexistence
dune bijection affine g telle que pour i = 1, 2, 3 on ait g((Di )) = (i ).
En remarquant que lensemble des bijections affines de E3 constitue un
groupe pour la composition des bijections, prouver lunicite de g 1 .
4. Montrer lexistence
dune
(unique) structure euclidienne sur E3 telle
que le rep`ere 0, i , j , k soit orthonorme. dans le suite on notera
( , ) ce produit scalaire sur E3 .
5. En diagonalisant un endomorphisme convenable de E3 , prouver lexis
Page 35/52
JP Barani
3.4.2
Plan tangent `
a une surface
(O, i , j , k ) on consid`ere les deux droites :
x = 1
x = 1
()
(D)
y = z
y = z
Page 36/52
JP Barani
Exemple 22. Trouver le lieu des centres des ellipses dexcentricite 2/2,
contenues dans le parabolode de revolution dont une equation en rep`ere
orthonorme est, en coordonnees cylindriques :
r2 = 2pz
Demonstration. On va utiliser la biblioth`eque (package) "linalg" afin de pouvoir faire des operations algebriques sur les points et les vecteurs. On commence donc par linvocation "with(linalg)".
>par:=x^2+y^2-2*p*z;
par := x2 + y 2 2 p z
Le probl`eme etant de revolution
autour de Oz, on cherche le lieu des
centres des ellipses dexcentricite 2/2 contenues dans un plan non vertical
parall`ele `a Ox. On peut donc definir ce plan par un point de laxe A(0, 0, a)
J = cos t j + sin t k
et cos t non nul car sinon le plan est vertical.
>A:=vector([0,0,a]);i:=vector([1,0,0]);
>J:=vector([0,cos(t),sin(t)]);
A := [0, 0, a]
i := [1, 0, 0]
J := [0, cos(t), sin(t)]
Page 37/52
JP Barani
rep`ere orthonorme (A, i , J ) :
>P:=evalm(A+X*i+Y*J);
P := [X, Y cos(t), a + Y sin(t)]
Do`
u lintersection avec le parabolode :
>inter1:=subs({x=P[1],y=P[2],z=P[3]},par);
inter1 := X 2 + Y 2 cos(t)2 2 p (a + Y sin(t))
Conique quasiment reduite. Cherchons en un centre :
>centre:=solve({diff(inter1,X),diff(inter1,Y) },{X,Y});
p sin(t)
, X = 0}
cos(t)2
On prend le centre comme nouvelle origine :
centre := {Y =
>inter2:=
>collect(expand(subs(Y=Y1+rhs(centre[1]),inter1)), {X,Y1});
p2 sin(t)2
2pa
cos(t)2
La conique est une ellipse si p sin(t)2 + 2 a cos(t)2 > 0, ce qui sera suppose
dans
la suite. Un calcul evident prouve que cette ellipse est dexcentricite
>lieu:=subs(centre,evalm(P));
p sin(t)
p sin(t)2
lieu := 0,
, a+
cos(t)2
cos(t)
Comme tan(t) = epsilon = 1, on le recrit `a la main :
>lieu1:=vector([0,p*epsilon,a+p]);
lieu1 := [0, p , a + p]
Page 38/52
JP Barani
muni dun rep`ere orthonorme 0, i , j , k = (O, i , j , k ), la surface (S)
dequation :
z 2 (x2 + y 2 ) = x2 y 2
1. Trouver les droites de (S) non parall`eles au plan xOy.
2. Trouver toutes les droites de (S).
Page 39/52
JP Barani
JP Barani
x = r cos
y = r
sin
z = cos 2
Il reste `a etudier le cas des droites parall`eles `a Oy.
>drt4:=subs({x=a,z=h},eq);
drt4 := h2 (a2 + y 2 ) + y 2 a2
>collect(drt4,y);
(h2 + 1) y 2 + h2 a2 a2
Il ny en a pas. On voit que (S) est bien reunion des droites quil contient
puisque tout point de (S) non sur Oz, dont (r, , h) est un syst`eme de coordonnees cylindriques, appartient `a la droite :
x = r cos
y = r sin
avec h2 = cos 2
z = h
>with(plots):
>implicitplot3d(eq,x=-10..10,y=-10..10,z=-2..2,numpoints=10000);
Page 41/52
JP Barani
1 2
1
r cos(2 t) + r2 cos(2 t)
2
2
>solve(pol1,r);
p
p
2 (cos(2 t) + 1) cos(2 t)
2 (cos(2 t) + 1) cos(2 t)
,
cos(2 t) + 1
cos(2 t) + 1
Page 42/52
JP Barani
2/2( i + k )
I =
J = j
K =
2/2( i + k )
JP Barani
1
1
1
(X + Z)2 ( (X Z)2 + Y 2 ) + Y 2 (X Z)2
2
2
2
>inters:=subs({Z=0},neweq);
inters :=
1 2 1 2
1
X ( X + Y 2) + Y 2 X 2
2
2
2
>interv:=X=-2..2,Y=-2..2:
>conds:=numpoints=5000,scaling=constrained:
>implicitplot(inters,interv,conds);
0.4
Y 0.2
0.5
0.5
0.2
1
X
0.4
1 2
1
1
r cos()2 ( r2 cos()2 + r2 sin()2 ) + r2 sin()2 r2 cos()2
2
2
2
JP Barani
polint1 :=
1 4
1
5 4 1 2 3 2
r cos(4 ) + r4 cos(2 ) +
r + r r cos(2 )
32
8
32
4
4
>solve(polint1,r);
p
%1 (1 + 3 cos(2 ))
0, 0, 2
, 2
%1
%1 := cos(2 )2 3 2 cos(2 )
%1 (1 + 3 cos(2 ))
%1
Exemple 24 (Fen
etre de Viviani). On appelle ainsi la courbe intersection
dune sph`ere (S) de rayon r et dun cylindre de revolution (C) de rayon r/2
qui lui est tangent interieurement. On choisira comme axe Oz la generatrice
du cylindre qui passe par le point O, centre de la sph`ere, et comme axe Ox la
droite qui joint le point A au centre du cercle intersection du plan orthogonal
`a Oz et de cylindre. On se propose :
1. De representer la figure.
2. De calculer le volume du solide limite par la sph`ere et le cylindre.
3. De determiner lequation et de tracer la surface (SC), lieu de lensemble
des droites (D) qui rencontrent Oz est la courbe (S) (C).
Demonstration. 1) Trac
es de (S) et (C) >cyl:=(r,x,y,z)->(x-r/2)^2+y^2-r^2/4;
>sph:=(r,x,y,z)->x^2+y^2+z^2-r^2;
cyl := (r, x, y, z) (x
1 2
1
r) + y 2 r2
2
4
sph := (r, x, y, z) x2 + y 2 + z 2 r2
Page 45/52
JP Barani
O`
u D est la premiere moitie du disque defini par lintersection du cylindre et du plan xOy.
Lintegrale se calcule en polaires :
ZZ p
V =4
r2 2 d d
D
Page 46/52
JP Barani
D = (, ) / 0 , 0 r cos
2
>seg:=int(sqrt(r^2-rho^2)*rho,rho=0..r*cos(theta));
seg := 1/3 r2 r2 (cos())2
>V:=4*int(seg,theta=0..Pi/2);
V := 4/9
4 r2
>Vol:=simplify(V,symbolic);
3/2
3/2
+ 1/3 r2
+ 2/3 r2
3/2
3/2
8
Vol := r3 + 2/3 r3
9
3) Lieu des droites qui sappuient sur laxe Oz et sur la fen
etre de Viviani
On se donne un point M (x, y, z) E3 nappartenant pas `a laxe Oz.
Un syst`eme dequations parametriques de la droite DM qui passe par
M et qui coupe orthogonalement Oz est :
X = tx
Y = ty
Z = z
On ecrit les equations aux intersections de la droite DM et de (S) (C)
sous forme de polynomes en t.
>eqc:=cyl(r,t*x,t*y,z);eqs:=sph(r,t*x,t*y,z);
1 2
1
r) + t2 y 2 r2
2
4
eqs := t2 x2 + t2 y 2 + z 2 r2
M (SC) si et seulement si les deux polynomes ci dessus ont une
racine reelle commune. Or, pour |z| r ; le polynome Q defini par
lexpression eqs poss`ede deux racines reelles opposees notees a et a.
Si P est le polynome defini par lexpression eqc, P et Q ont une racine
commune si et seulement si :
eqc := (t x
P (a)P (a) = 0
Expression symetrique qui sexprime donc uniquement en fonction des
coefficients de P et Q via la commande evala.
Page 47/52
JP Barani
2
+
+
x2 + y 2 x2 + y 2
x2 + y 2 x2 + y 2 x2 + y 2
Une equation de (SC) est donc obtenue en multipliant celle ci par
x2 + y 2 . On recup`ere donc laxe Oz (SC) qui avait ete perdu par la
mise en equation.
eqcc :=
>eqccc:=normal((x^2+y^2)*eqcc);
eqccc := x2 r2 z 2 + r4 y 2 2 r2 z 2 y 2 + z 4 x2 + z 4 y 2
>domaine2:=x=-2..2,y=-2..2,z=-2.1..2.1:
>conds2:=domaine2,scaling=constrained,numpoints=10000:
>plotcc:=implicitplot3d(subs(r=2,eqccc),conds2):
>plotcc;
JP Barani
3.4.3
Exercice 30 (Cen 2000 et 2002). Lespace E3 est muni dun rep`ere orthonorme daxes (Ox, Oy, Oz). On consid`ere la nappe parametree (S) definie
par :
sin v
x = (1 + cos u) cos v
i h
y = cos u
(u, v) ] , [ ,
2 2
sin u
z =
cos v
1. Determiner la courbe dequation v = v0 et ses elements caracteristiques.
JP Barani
x =
y =
z =
Trouver les droites tracees sur (S). Determiner le lieu des points de (S) en
lesquels son plan tangent est parall`ele `a Oz.
Exercice 33 (Cen 99). Soit (S) la surface dequation x2 + y 2 z 2 = 0 en
rep`ere orthonorme.
1. Etudier
la projection sur le plan xOy de lintersection de (S) et dun
plan quelconque.
JP Barani
x+y+z =0
0
1/2 0
0
0
M = 1/2
0
0
1
JP Barani
3. Etudier
lintersection de (S) avec un plan orthogonal `a toutes ces
droites.
Exercice 38 (Centrale 2004). Determiner les courbes bireguli`eres tracees
sur la surface dequation x2 + y 2 = a2 (a > 0 fixe) dont la normale `a leur
plan osculateur en tout point M dicelles (plan passant par M et dirige par
les deux premiers vecteurs derives) fasse un angle de /4 avec Oz.
Exercice 39 (Centrale 2004).
(S) = {(x, ln(cos(x)), z) / x ] /2, /2[, z R}
R3 est muni de sa structure affine euclidienne canonique. (P ) est la projection
orthogonale de (S) sur xOy.
1. Determiner (P ), tracer (P ) et determiner la courbure en un point de
(P ).
2. Determiner une equation du plan tangent (PM ) `a (S) en M (x, y, z)
(S).
3. Determiner lensemble des M (S) tels que (PM ) soit parall`ele au plan
yOz
Exercice 40 (Centrale 2004). Soit (C) dequations :
2
x + y 2 = R2
z = 0
et (S) la surface dequation x y = a z, a > 0. Trouver lensemble des points
M de (S) tels que le plan tangent `a (S) en M soit aussi tangent `a (C).
Exercice 41 (Centrale 2004). Soit la surface (S) dequation x2 + y 2 =
sin2 z dans R3 canoniquement affine euclidien.
1. Trouver les points reguliers de (S) et lequation du plan tangent en ces
points.
2. Trouver lintersection des droites tangentes `a (S) et parall`eles au vecteur u = (1, 0, 1) avec le plan xOy. [On definit une droite tangente
comme une droite incluse dans le plan tangent et qui touche la surface
au point correspondant]
Page 52/52
JP Barani