Beruflich Dokumente
Kultur Dokumente
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
` lecrit, lorsquon utilise un theor`eme, il faut citer les hypoth`eses clairement pour en utiliser
A
la conclusion.
1. Premi`
ere ann
ee
1.1. Chapitre 1 : nombres complexes et g
eom
etrie.
(1) Connatre les formules de trigonometrie (cf. page 15).
(2) Connatre la resolution de lequation du second degre sur C (cf.page 16).
(3) Proposition1.1.9 R
esolution de l
equation ez =
On obtient z = ln || + i Arg() + 2ik.
(5) Si u et v ont a et b comme affixe alors det( u . v ) = Im(ab) (cf. page 21).
1.2. Chapitre 2 : fonctions usuelles et
equations diff
erentielles lin
eaires.
(1) Bien connatre les proprietes :
x
1
1
(a ) = a , a b = (ab) , a = x =
(a > 0) (cf. page 30).
a
a
(2) Revoir les fonctions hyperboliques directes et inverses (cf. pages 33 et 34), de meme
avec les fonctions circulaires (pages 35 et 36).
(3) Savoir resoudre une equation differentielle lineaire du second ordre `a coefficients
constants (cf. page 40) et connatre notamment la
Proposition 2.2.6 Recherche dune solution particuli`
ere
x
On cherche une solution sous la forme y = e Q o`
u Q est un polynome.
Si T () 6= 0 alors Q est de meme degre que P . Les coefficients de Q se trouvent
alors par la resolution dun syst`eme triangulaire.
Si T () = 0 alors Q verifie P = (b + 2a)Q + aQ .
Si nest pas racine double on cherche alors Q (on a l`a aussi un syst`eme
triangulaire) et on int`egre.
Si est racine double, on a directement Q que lon int`egre deux fois.
(4) Revoir les coniques (cf. pages 44 et 45). Notamment, avant chaque epreuve susceptible
de porter sur les coniques (ecrit Centrale Maths 2, oral Centrale Maths 1) regarder les
formules :
Recherche des elements caracteristiques :
x2
y2
(i) Ellipse et hyperbole : 2 + 2 = 1, a > b.
a
b
c
b2
b2
On pose c = a2 b2 , e = , p = , h = .
a
a
c
Les foyers ont pour coordonnees (c, 0) et (c, 0), les directrices ont pour equation
a2
x= .
c
p
p
ep
En polaires a =
,b= p
(e 6= 1), c =
.
2
|1 e |
|1 e2 |
|1 e2 |
(ii) Parabole y 2 = 2px, foyer F (p/2, 0), directrice x = p/2.
h
En polaires p = h, c = .
2
x x
xx
x x
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
(i) x E, x 6 M,
(ii) > 0, x E, x > M .
(2) Les suites adjacentes
Corollaire 3.12 Suites adjacentes
!
!
(un ) (vn )
lim un = lim vn = l
n+
n+
lim (un vn ) = 0 (p, q) N2 , v > l > u
p
q
n+
1.4. Chapitre 4 : calcul diff
erentiel et int
egral.
(1) La formule de Leibniz
Th
eor`
eme 4.4. Si f et g sont deux fonctions de C n (I) alors :
n
X
n (nk) (k)
(n)
f
g
(f g) =
k
k=0
utile si f est un polynome de degre faible : exemple (x sin x)(n) .
(2) Ne pas oublier dutiliser le
Th
eor`
eme 4.10. Th
eor`
eme du prolongement d
erivable
1
Si f est continue sur [a, b], de classe C sur ]a, b] et si f a une limite finie en a alors f
est de classe C 1 sur [a, b].
(3) Revoir les fonctions convexes (cf. page 72).
(4) Ne pas oublier que les fonctions `a valeurs complexes se derivent comme les fonctions `a
valeurs reelles et quon a aussi la formule de Leibniz.
(5) Savoir utiliser linegalite de la moyenne (pour les integrales).
(6) Penser aux sommes de Riemann : savoir les reconnatre et utiliser la propriete
R
ba
limn+
[f (x1 ) + + f (b)] = [a,b] f (meme si f est `a valeurs complexes).
n
(7) Penser `a lintegration par parties qui sert souvent.
(8) Connatre absolument la formule de Taylor avec reste integral :
Si f est de classe C n sur [a, b] alors
Z b
(b a)n1 (n1)
1
dT
dN
= N ,
= T .
ds
ds
curviligne.
dT
= N,
d
dN
= T
d
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
Vitesse et acc
el
eration dans le rep`
ere de Frenet
ds
On pose v =
on a alors
dt
2
dM
dM
dv
v2
dv i v 2 i(+/2)
i
= v T = ve
=
T
+
N =
e + e
dt
dt2
dt
R
dt
R
1.7. Chapitre 7 : nombres et structures alg
ebriques usuelles.
(1) Bien retenir la
eunion et intersection dune famille densembles
D
efinition 7.1.8 R
Soit I un ensemble non vide, (Fi )iI une famille de sous-ensembles dun meme ensemble
E, on pose alors les definitions suivantes :
\
[
(i)
Fi = {x E | i I, x Fi }, (ii)
Fi = {x E | i I, x Fi }.
iI
iI
(2) Faire attention `a la relation f (A B) f (A) f (B) (cf. proposition 7.1.2 page 114).
(g f surjective ) (g surjective )
(3) Ne pas oublier que
.
(g f injective ) (f injective )
(4) Une recurrence bien ordonnee commence par la propriete `a lordre 0 et faire attention,
lorsquon utilise une recurrence double, `a bien verifier la propriete aux ordres 0 et 1.
(5) Connatre (ou retrouver rapidement) les relations sur les coefficients binomiaux :
n1
p1
n
n1
n1
n
n
n
,
++
=
,
=
+
=
,
p1
p
p
p1
p
p
np
p1
n
n
n
n n1
np+1
n
n
++
,
=
2 =
=
.
n
p
0
p p1
p
p1
(6) Savoir utiliser les theor`emes de Bezout et de Gauss :
Th
eor`
eme de Gauss
Si a b = 1 et si a|bc alors a|c.
(7) Ne pas se planter dans la formule du binome :
n
X
n k nk
n
(a + b) =
a b .
k
k=0
(8) Connatre la somme des termes dune suite geometrique :
n1
X
k=0
uk = u0
u0 un
1 qn
= u0
.
u0 u1
1q
i Ai
i OAi
i=1
i=1
G = Pn
soit OG = Pn
i=1 i
i=1 i
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
(3) Les relations sur les dimensions sont en general bien connues, notamment dim(E1 + E2 )
et la formule du rang.
` ne pas oublier aussi, la caracterisation dune racine dordre m :
(4) A
Th
eor`
eme 8.26
est racine dordre m de P ssi P () = . . . = P (m1) () = 0 et P (m) () 6= 0.
(5) Revoir les relations entre coefficients
et racines :
P
P
Avec 1 = 1 + + p (note
1 ), 2 = 1 2 + 1 3 + + p1 p (note
1 2 ),
P
a
pk
..., k =
1 . . . k , n = 1 . . . p , on a k = (1)k
.
ap
(6) Jai aussi remarque que, si lon se souvient de la decomposition dun polynome sur C,
on ne sait pas toujours bien comment ca se passe sur R :
Th
eor`
eme 8.29 D
ecomposition dun polyn
ome sur R
Tout polynome de R[X] se decompose sous la forme
s
r
Y
Y
i
P = (X xi )
[(X uj )2 + vj2 ]j
i=1
j=1
1
sans calcul.
+1
Ne pas confondre matrice scalaire M = aIn et matrice diagonale M = Diag(i ).
Choisir clairement la notation de la transposee dune matrice : soit tA, soit AT .
X = P X doit vous rappeler quelque chose...
Si A et B sont deux matrices carrees dordre n qui verifient AB = In alors B = A1 .
Concernant les operations sur les matrices, se rappeler que
Proposition 8.4.7 Les operations que lon peut faire sur les lignes se traduisent par
une multiplication `a gauche par une matrice carree L (gauche left ligne).
Un theor`eme important qui est bien connu en general mais souvent oublie dans les
demonstrations :
Th
eor`
eme 8.42
Ir 0
Rg(A) = r A = U
V o`
u U et V sont des matrices carrees inversibles.
0 0
Une formule importante :
Si A est la matrice des cofacteurs de A, matrice carree, alors AA T = det A.In .
(13)
(14)
Xn
(A, B) E 2 , f (B) = f (A) + f (B A) = f (A) + f AB .
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
ore
`me 9.5).
(4) Et se rappeler quune application affine conserve les barycentres (The
(5) Un theor`eme et son petit fr`ere :
Th
eor`
eme 9.6
Si u est une isometrie de E telle que u(O) = O alors u est une application lineaire.
Corollaire 9.7
Toute isometrie est une application affine
2. Deuxi`
eme ann
ee
2.1. Chapitre 1 : alg`
ebre g
en
erale.
(1) Les sous-groupes de Z sont de la forme aZ.
Les sous-groupes de R sont de la forme aZ ou sont denses dans R.
(2) a
engendre le groupe (Z/nZ, +) ssi a n = 1 (Th
eor`
eme 1.2).
(3) On a vu une version plus generale du theor`eme suivant :
Th
eor`
eme 1.6 Factorisation du morphisme de Z dans A
Si est le morphisme canonique de Z dans un anneau A, Ker = nZ son noyau alors
il existe un unique isomorphisme de Z/nZ dans (Z) A telle que (
a) = (a).
(4) Enfin, dans ce court chapitre, ne pas oublier le
Th
eor`
eme 1.8. Th
eor`
eme Chinois
Soient p et q deux
entiers
premiers entre eux et (y, z) Z2 alors il existe un entier x
(
x y mod p
dans Z tel que
.
x z mod q
Toutes les solutions de ce syst`eme sont congrues modulo pq.
2.2. Chapitre 2 : alg`
ebre lin
eaire et g
eom
etrie affine.
Des repetitions dans ce chapitre.
(1) Bien savoir ce quest une alg`ebre et il est souvent plus simple de verifier quun ensemble
est une sous-alg`ebre :
Cest un sous-anneau (stable par +, ) et un sous-espace vectoriel (stable par .).
(2) Ne pas perdre de vue ce quon appelle fonction polynomiale (sans sur le o) :
P
f P(Kn , K) secrit f (x1 , . . . , xn ) =
1 ,...,n x1 1 . . . xnn .
(1 ,...,n )Nn
En analyse, une fonction polynomiale est continue (utile pour les determinants par
exemple).
(3) Synth`ese sur les sommes directes despaces vectoriels :
P
Ei est directe ssi
iI
la
efinition 2.1.4),
decomposition dun vecteurest unique, cest la definition (cf. D
P
0=
xi i I, xi = 0 (cf. Proposition 2.1.2.),
PiI
P
dim iI Ei = iI dim Ei (Corollaire 2.3).
Q X aj
.
(4) Les polynomes de Lagrange font (ou refont) leur apparition Li =
j6=i ai aj
(5) La dualite commence `a faire des victimes avec
Si E et si sannule sur Ker alors est colineaire `a (cf. Th
eor`
eme 2.9).
(6) Les theor`emes 2.11 et 2.12 sont interessants :
dim{ E | x F, (x) = 0} = dim F o = dim E dim F ,
q
\
dim Hi = dim E q.
i=1
(7) La trace dun projecteur est egale `a son rang (cf. Proposition 2.1.8).
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
2.3. Chapitre 3 : r
eduction des endomorphismes.
Voil`a un chapitre dalg`ebre important.
(1) Dans une base adaptee `a une decomposition en somme directe de sous-espaces stables,
A1
0
..
.
la matrice de u secrit
.
0
Ap
(2) Le lemme des noyaux est lun des resultats les plus importants :
si P Q = 1 alors Ker(P Q)(u) = Ker P (u) Ker Q(u).
(3) Le polynome caracteristique est bien connu mais attention car dans certains enonces on
le definit par det(x IdE u). En dimension 2, il vaut x2 Tr(u)x + det u.
Le theor`eme de Cayley-Hamilton est un grand classique.
(4) u est diagonalisable ssi (par definition) E est P
somme directe de ses sous-espaces propres
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
(9) Le produit scalaire hermitien est lineaire `a droite, semi-lineaire `a gauche. On retrouve
les memes proprietes quavec les espaces euclidiens (notamment lexpression de la projection) sauf la formule de restitution avec le fameux truc pour draguer :
Dans lidentite de polarisation, le coefficient devant la norme multiplie par le coefficient
de y vaut toujours 1.
2.5. Chapitre 5 : suites et fonctions.
Ceci est le plus gros chapitre du programme, il y a deux volets : dune part la topologie des
espaces vectoriels normes, dautre part les theor`emes sur les series numeriques et sur les series
de fonctions.
a) La topologie
(1) Topologie des espaces produits : si (Ei , Ni )i[[1,p]] est une famille finie de.v.n. alors
E = E1 . . . Ep est muni par d
efinition de la norme N(x) = sup Ni (xi ).
i[[1,p]]
(2) Ne pas se tromper lorsquon parle de suite extraite dune suite extraite.
(3) La version edulcoree du theor`eme du point fixe est `a connatre :
Th
eor`
eme 5.5 Th
eor`
eme du point fixe
Soit f : A K o`
u A K et f (A) A, K = R ou C admettant un point fixe a A.
Si f est contractante sur A (i.e. k < 1, (x, y) A2 , |f (x) f (y)| 6 k|x y|) alors a
est lunique point fixe de f .
Si on pose x0 = b A, xn+1 = f (xn ) et si f (A) A alors la suite (xn ) converge vers a,
de plus on a |xn a| 6 k n |b a|.
(4) Un voisinage dun point est un ensemble qui contient une boule ouverte et une propriete
vraie au voisinage dun point est une propriete qui est vraie sur une boule ouverte. Cette
terminologie est parfaitement definie.
(5) Les ouverts supportent mal lintersection sauf si elle est finie, la reunion ne leur pose
pas de probl`eme.
Pour les fermes, cest le contraire.
(6) Comment montrer quun ensemble est un ferme :
par la caracterisation sequentielle (cf. Th
eor`
eme 5.9), cest la methode preferee
des taupins (mais pas toujours la mieux adaptee),
en montrant que cest limage reciproque dun ferme par une application continue.
(7) Tant quon parle dapplication continue, pour montrer quune application lineaire u est
continue, inutile de deballer les , il suffit de majorer ku(x)k par Ckxk (cf. Th
eor`
eme
5.13).
(8) Les suites de Cauchy font un malheur, cest une notion en general bien assimilee mais
je rappelle deux choses :
Proposition 5.1.6 Si E est un espace de Banach et si A E, A 6= , on a equivalence
entre A complet A ferme.
et le
Th
eor`
eme 5.20 Crit`
ere de Cauchy pour les fonctions
On suppose que f : A E F o`
u E et F sont des e.v.n., F complet, on a alors
lequivalence
lim f (x) existe ssi > 0, > 0, (x, y) [A B(a, )]2 , kf (x) f (y)k 6 .
xa
(9) On a generalise les theor`eme de Heine au cas des applications continues sur A E dans
F :
Limage dun compact est un compact,
une application continue sur un compact est uniformement continue,
limage continue dun connexe par arcs est un connexe par arcs.
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
(10) Une somme finie dapplications continues est continue, cest une propriete elementaire
mais elle est souvent oubliee au profit dune bagarre sans merci avec les .
b) Les s
eries
+
P
(1) Je le rappelle souvent mais il faut se mefier comme de la peste de la notation
un qui
n=0
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9) Le theor`eme dinterversion des sommations est mal connu car il sert peu souvent aussi
je le rappelle ici
Th
eor`
eme 5.47 Interversion de sommations, Th
eor`
eme de Fubini
Soit u = (up,q )(p,q)N2 une suite double de reels ou de complexes. Si
P
P
+
P
up,q ,
up,q convergent et
q N,
|up,q | est convergente,
p
q
+ +
p=0
alors
+
P P
P +
P
PP
up,q .
up,q =
|up,q | converge
q
q=0
p=0
p=0
q=0
C.U.
C.S.
fn f
fn f
tt segment
I
Si
alors
f C 1 (I)
C.U.
fn h
tt segment
f = h.
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
(2) Lintegrabilite des fonctions ne pose pas de probl`eme majeurs, garder en tete un exemple
de fonction integrable sur [0, +[ non bornee au voisinage de + :
soit une fonction nulle sauf sur ]n 1/n3 , n + 1/n3 [, continue, affine par morceaux telle
que f (n) = n si n N ,
x
(il est ici plus difficile de prouver que f est integrable).
soit f (x) =
5
1 + x sin2 x
(3) Le theor`eme de changement de variable est au programme mais son usage est risque
aussi `a nutiliser quavec precaution :
Th
eor`
eme 6.18 Changement de variable
Si f L1 (I) et une bijection de lintervalle I sur I de classe C 1 alors
Z
Z
f=
f .| |.
I
10
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
or`
The
eme 5.55 Integration terme `a terme dune serie dapplications
P
Soit (fn ) une suite dapplications continues sur [a, b]. Si la serie
fn converge uniformement sur [a, b] la serie des integrales est convergente et
Z X
+
+ Z
X
fn =
fn .
[a,b] n=0
n=0
[a,b]
or`
The
eme 6.23 Int
egration terme `
a terme dune s
erie de fonctions
Soit (fn ) une suite de fonctions `a valeurs reelles ou complexes telle que lon ait les
hypoth`eses
PR
P
C.S.
la serie
|fn | converge,
fn L1 (I),
fn f CM(I),
I
I
alors
P
P
R P+
P+ R
+
+
f L1 (I), N1
f
n=0 n 6
n=0 N1 (fn ), I
n=0 fn =
n=0 I fn .
Ce qui est important de retenir dans ce theor`eme tr`es puissant, cest la premi`ere hypoth`ese P R
la s
erie
|fn | converge.
I
(7) La continuite sous le signe integral est souvent utile, de meme que la derivabilite. L`a
encore, lhypoth`ese essentielle est la domination mais il ne faut pas etre trop gourmand,
il suffit de lavoir localement. Cest lobjet de la
Remarque 6.2.6. La continuite etant une notion locale, lhypoth`ese de domination na
pas besoin detre valable sur A en entier mais au voisinage de chaque point de A (et on
peut prendre un voisinage compact) i.e.
x0 A, Vx0 , x0 integrable sur I telle que x Vx0 , t I, |f (x, t)| 6 x0 (t).
Que faut-il savoir sur les integrales doubles ?
Jusqu`a present, les sujets decrit ont fait une impasse remarquable l`a-dessus (excepte
lepreuve Mines Maths 1 2008) mais est-ce que la treve va se poursuivre ?
(8) La premi`ere chose `a retenir concerne les crit`eres dintegrabilite :
independamment de J et J , JJ |f |,
R
Si f (x, .) est integrable sur I et si x 7 I |f (x, y)| dy est integrable sur I alors f
est integrable sur II et on a la moitie de Fubini :
ZZ
Z Z
f (x, y) dx dy =
f (x, y) dy dx.
II
Ce que je viens dexposer est une synth`ese des definitions 6.3.2, 6.3.3 et des theor`emes
6.29, 6.34 (le theor`eme 6.34 a des hypoth`eses un peu plus larges mais est-il bien utile
comme cela ?).
(9) Dernier point epineux, la notion dintegrale sur des parties elementaires et des parties
(trop) simples :
je ne vous conseille quune seule chose : le syst`eme D, en effet il vaut mieux se debrouiller
avec des idees assez elementaires plutot que de retenir les resultats et les demonstrations.
(10) Enfin, pour terminer ce passage douloureux, le theor`eme de changement de variable est
tr`es peu employe, pensez au jacobien et faite votre pri`ere...
(11) Je ne terminerai pas ce chapitre sans le :
Th
eor`
eme 6.40 Th
eor`
eme du rel`
evement
Soit f C 1 (I) telle que f (I) U alors il existe g C 1 (I) `a valeurs reelles et telle que
f = eig .
Si f est de classe C k pour k > 2 alors g est aussi de classe C k .
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
11
2.7. Chapitre 7 : s
eries enti`
eres, s
eries de Fourier. Tout commence par les series enti`eres.
(1) Largument massue ici est le rayon de convergence. Une fois apprivoisee, une serie
enti`ere se laisse manipuler sans probl`eme, on peut
la deriver terme `a terme,
lintegrer de meme,
la multiplier par une copine.
Pour determiner le rayon de convergence donc comment faire ?
1
|an+1 |
= alors R = .
Th
eor`
eme 7.4 Si lim
n+ |an |
12
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
Th
eor`
eme 8.6 Etude
de l
equation avec second membre
Lensemble des solutions de lequation (1) x = a.x + b(t) secrit sous la forme
Z t
ta
x(t) = e
eua .b(u) du + e(tt0 )a .x0
t0
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
13
(5) Le theor`eme de Schwarz na plus de secret pour vous, vous pouvez (je le pense et je
lesp`ere) faire limpasse sur la formule de Taylor reste integral et la remplacer avantageusement par
Corollaire 9.13. Soit f C 2 (U), U ouvert de R2 alors, au voisinage de (a, b) U,
on a
1
f (a + h, b + k) = f (a, b) + hp + kq + (h2 r + 2hks + k 2 t) + (h2 + k 2 )(h, k)
2
en prenant les notations de Monge :
f
f
2f
2f
2f
p=
(a, b), q =
(a, b), r =
(a,
b),
s
=
(a,
b),
t
=
(a, b).
x
y
x2
xy
y 2
(6) Je nai pas vu le theor`eme 9.14 sur lexistence dun extremum local servir vraiment, on
peut toujours le retrouver `a laide du corollaire precedent en cas.
(7) Le programme est tellement evasif sur les surfaces que les donneurs de sujet decrit ont
jusqu`a present evite de poser des questions l`a dessus. Vous risquez de voir apparatre
des quadriques (mais comme aucune connaissance sur ces derni`eres nest exigee, on vous
fournira tout ce qui est necessaire). Je vous recommande de connatre deux choses
la notion de surface parametree ainsi que lequation du plan tangent en un point :
D
efinition 9.1.15 Plan tangent, normale
14
`
SPECIALE
MP* : LES THEOR
EMES
IMPORTANTS
lequation du plan tangent au point regulier de param`etre (u0 , v0 ) est donnee par
g
g
x g(u0, v0 )
(u0, v0 )
(u0 , v0 )
u
v
h
h
=0
y h(u0 , v0 )
(u
,
v
)
(u
,
v
)
0
0
0
0
u
v
l
l
z l(u0 , v0 )
(u0, v0 )
(u0 , v0 )
u
v
f
f
et le vecteur normal est le vecteur
(u0 , v0 )
(u0 , v0 ).
u
v
La definition dune surface cartesienne F (x, y, z) = 0 o`
u F C 1 (V ), V etant un
ouvert de R3 et de son plan tangent
Th
eor`
eme 9.16 Le plan tangent `a une surface F (x, y, z) = 0 en un point regulier
M0 = (a, b, c) a pour equation
F
F
F
(x a)
(a, b, c) + (y b)
(a, b, c) + (z c)
(a, b, c) = 0
x
y
z
et grad F (a, b, c) est un vecteur normal `a cette surface en M0 .
Ne vous inquietez pas si vous ne connaissez pas le theor`eme des fonctions implicites,
de toutes facons, il nest pas au programme aussi, si on en a besoin, on vous le
rappellera.
Et pour terminer, les integrales curvilignes.
(8) Savoir la difference entre une forme differentielle exacte (cest exactement la differentielle
dune fonction) et une forme differentielle fermee (caracterisee par les derivees partielles).
(9) Le theor`eme de Poincare est important mais je nai pas le souvenir de lavoir vu dans
un ecrit...
(10) La formule de Green-Riemann est par contre beaucoup plus sollicitee
Th
eor`
eme 9.18 Th
eor`
eme de Green-Riemann
Si A est une partie connexe par arcs qui se decompose, au moyen de droites parall`eles
aux axes, en une reunion dun nombre fini de parties elementaires dinterieurs disjoints,
definies par des fonctions de classe C 1 par morceaux,
si P et Q sont des applications de classe C 1 sur un ouvert U contenant A alors
ZZ
Z
Q P
dx dy =
(P dx + Q dy)
x
y
A
A
o`
u = P dx + Q dy et A est la fronti`ere de A parcourue dans le sens direct (i.e. on
laisse linterieur de A `a gauche comme pour le cercle trigonometrique).
Je pense que vous pouvez laisser tomber la definition tordue de A et la remplacer par
A partie elementaire (ou presque).