Académique Documents
Professionnel Documents
Culture Documents
Log Exp
Log Exp
des suites
roissantes majores (1) . Le GEPS, motiv en partie par la perspe
tive de
l'enseignement de la physique (
e qui est en soi une trs bonne
hose), a
ru bon
de re
ommander un grand dtour par les quations direntielles, relevant ainsi
le niveau de
on
eptualisation mis en jeu
elui des quations fon
tionnelles, alors
que les lves de terminale matrisent aujourd'hui grand peine le sens algbrique ou
gomtrique de la drive (2) .
L'eet de
e
hoix, que j'ai pu
onstater de visu dans une trs bonne
lasse de terminale S, est que le professeur est en gnral dans l'impossibilit de dmontrer ou d'asseoir
solidement toutes les tapes, de sorte que la dnition reste enferme dans un
er
le
vi
ieux : l'exponentielle est la solution d'une quation direntielle dont on a le plus
grand mal prouver l'existen
e de solutions, et bien entendu
'est sans bron
her que
l'on rsout ensuite l'quation direntielle y = ky l'aide de
es mmes exponentielles.
In ne, lorsque le logarithme a enn t introduit, on parvient dnir ax pour
onstater pniblement (par des preuves trs alambiques) que
e
i redonne les puissan
es
entires usuelles des nombres rels. Inutile de dire que l'lve normalement
onstitu
aura la plus grande peine se forger une
on
eption
ohrente de
es notions partir
des bribes de savoir la
unaires et de niveau disparate qu'on lui aura enseignes . . .
L'appro
he des annes 19602000 n'tait vrai dire elle-mme pas du tout idale,
puisqu'elle avait le dsavantage patent de
ommen
er par l'introdu
tion du logarithme,
moins intuitif que les puissan
es et les exponentielles, et qu'elle utilisait un thorme devenu quasi-ina
essible (surtout aprs les
oupes sombres opres dans les programmes
partir de 1990 !), savoir l'existen
e de la primitive d'une fon
tion
ontinue (3) . Une
autre
onsquen
e invitable de
es appro
hes qu'il s'agisse de la dnition du logarithme par la primitive de 1/x ou de l'invo
ation un peu magique des quations diffrentielles est que l'introdu
tion des logarithmes et des exponentielles est repousse
de manire quasi-obligatoire la
lasse terminale (4) .
Tout
e
i est proprement hallu
inant quand on sait que l'ide des logarithmes fut introduite par John Napier (dans Miri
i logarithmorum
anonis des
riptio, 1614), une
poque o l'on ne
onnaissait pas en
ore le
al
ul direntiel et intgral, seulement
dvelopp par Newton et Leibnitz vers la n du XVII me si
le. L'ide prin
ipale
utilise par Napier tait d'utiliser la
omparaison entre progressions arithmtiques et
gomtriques dj bien
onnues des Gre
s assortie de quelques
onsidrations
inmatiques simples.
ette poque, les dnitions et les preuves manquent en
ore de
(1)
(2)
(3)
(4)
Des ides analogues mais beau
oup plus abstraites sont utilises par Bourbaki pour donner une preuve
rigoureuse de l'isomorphisme entre les groupes (R, +) et (R+ , ), fonde uniquement sur des ides de
topologie gnrale. Mais
'est assurment trop abstrait pour tre dire
tement transposable au ly
e . . .
Le
hoix du GEPS de Physique a t de proposer l'tude du phnomne de d
roissan
e radioa
tive en
liaison ave
l'introdu
tion de l'exponentielle par les quations direntielles, en mathmatiques. L'ide
d'tablir un pont entre les deux dis
iplines nous apparat louable. Cependant, sur
e sujet pr
is, nous
estimons que la maturit mathmatique moyenne des lves de terminale est aujourd'hui devenue
insusante pour que puisse leur apparatre de manire
laire la
omplexit d'un phnomne statistique
aussi subtil que la d
roissan
e radioa
tive et sa modlisation
ontinue par une quation direntielle
au moins dans une premire appro
he destine l'introdu
tion de la notion d'exponentielle.
Une preuve lmentaire
ourte de l'existen
e des primitives de fon
tions
ontinues ne n
essitant
pas le
on
ept de
ontinuit uniforme serait
ependant possible ds la terminale pour peu que les
programmes retrouvent quelque
onsistan
e - voir par exemple ma proposition de
ours d'introdu
tion
l'intgrale la mme adresse web que
i-dessus. Ce
i relve aujourd'hui plutt de l'universit.
Avant l'introdu
tion des
al
ulettes, la rgle
al
ul venait un peu
ompenser le retard l'allumage ,
mais
e garde-fou n'existe plus aujourd'hui.
rigueur suivant les
ritres a
tuels, mais nous nous proposons de voir i
i qu'on peut
ombler
ette la
une par un expos tout la fois simple et
omplet, ne faisant appel au
une notion di
ile, ouvrant la voie des progressions s
olaires tout fait
envisageables.
Bien entendu, nous ne prtendons au
une originalit s
ientique sur un sujet aussi
lmentaire. la d
harge des
ommissions
harges des programmes de ly
e, il
faut bien
onstater que le dprissement des
ontenus de
al
ul et de la
onnaissan
e
des algorithmes des oprations arithmtiques lmentaires en primaire et au
ollge
rendrait prilleux voire impossible le
heminement que nous proposons : la n
essaire
onnaissan
e intime des nombres
hre Ren Thom est devenue peu prs
orthogonale l'esprit des programmes a
tuels, axs sur un formalisme algbrique rduit au minimum, et sur l'usage des
al
ulettes en lieu et pla
e d'une tude progressive
du
al
ul exa
t et du
al
ul appro
h.
L'analyse longitudinale des n
essits d'enseignement des notions fondamentales que
sont les exponentielles et les logarithmes pla
e don
sous une lumire
rue les graves
d
ien
es des progressions s
olaires a
tuelles. Nous esprons que
e texte parti
ipera
d'une prise de
ons
ien
e plus aigue de la n
essit urgente de revoir les programmes
de mathmatiques depuis la maternelle jusqu' l'universit.
Bien entendu la matrise des algorithmes est trs loin de se sure elle-mme, l'enfant
ne peut a
der au sens des oprations qu'en rsolvant des problmes
on
rets portant sur des grandeurs de la vie
ourante (nombre de pommes, monnaie, longueurs,
poids . . .). Ce sens ne peut se
onstruire que si les quatre oprations sont introduites
simultanment, an que l'enfant puisse
omparer (et ventuellement opposer) l'usage
des direntes oprations. C'est don
le plus tt possible, ds le
ours prparatoire
et mme ds la maternelle, que les quatre oprations doivent tre tudies (pour la
maternelle, bien sr, il s'agira seulement de petits nombres, mais observons que le
problme du partage des bonbons y soulve dj la question de la division !)
la n du
y
le primaire, la pratique sre de la division pose permet d'observer la
priodi
it des restes et don
du dveloppement d
imal d'une fra
tion. Ce
i est parti
ulirement apparent sur de nombreuses fra
tions de petit dnominateur
onduisant
une priodi
it trs
ourte (dnominateurs tels que 3, 7, 9, 11, 21, 27, 33, 37, 41, 63,
77, 99, 101, 271 (. . .) et leurs multiples par 2 et 5, qui
onduisent une priode de
longueur 6 au plus).
a,
2a,
3a,
4a,
5a,
6a,
7a,
...
1,
a,
a2 ,
a3 ,
a4 ,
a5 ,
a6 ,
a7 ,
...
(2.1)
(2.2)
(2.3)
haque fois que a, b sont des nombres stri
tement positifs et x, y des entiers naturels.
Les nombres ngatifs ayant t abords au dbut du
ollge, il est possible de gnraliser
aux multiples et puissan
es ngatives
. . . 5a,
...
4a,
a
3a,
2a,
a,
0,
1,
a,
2a,
3a,
4a,
5a,
a,
a ,
a ,
a ,
a ,
6a,
6
a ,
7a . . .
a7 . . .
1
.
an
On voit alors que les rgles de
al
ul (2.1), (2.2), (2.3) s'tendent aux exposants ngatifs.
l'heure a
tuelle les nombres rels apparaissent ds le
ollge, ave
l'introdu
tion de la
ra
ine
arre. Cependant, l'usage prmatur des
al
ulettes li l'absen
e de pratique
susante du
al
ul d
imal appro
h la main , par exemple des divisions,
onduit
une vision pauvre, trop formelle, de la notion de ra
ine
arre.
Il
onvient absolument que les lves soient
onfronts
au problme numrique de
don 1, 4 <
2 < 1, 5,
...
d imal illimit quel onque, non n essairement priodique, autrement dit une suite
D'un point de vue gomtrique, un nombre rel
orrespond un point sur un axe orient, qui serait positionn l'aide d'une rgle gradue de pr
ision innie .
Nous pr
onisons de manire trs ferme l'enseignement de l'algorithme d'extra
tion
de la ra
ine
arre la main , qui,
omme tout algorithme ee
tif, met l'enfant en
situation de matriser son environnement numrique (et lui fait voir, en la
ir
onstan
e,
l'absen
e de raison parti
ulire qu'une ra
ine
arre d'un nombre entier possde en
gnral un dveloppement d
imal priodique). Ce serait l une ex
ellente
onsolidation
post-primaire de la pratique du
al
ul pos ; l'exprien
e montre que les enfants qui
matrisent bien la division passent trs fa
ilement l'algorithme de la ra
ine
arre
(une heure ou deux susent), de sorte que
et apprentissage n'engendre au
une perte
de temps. Malheureusement, il n'est possible de tester
e
i aujourd'hui que sur une
fra
tion inme de la population s
olaire, tellement la soupe est devenue insipide et la
matrise des algorithmes opratoires in
ertaine . . .
Pour que la dnition (2.4) devienne rigoureuse et pr
ise, on doit expliquer aussi
les dveloppements d
imaux propres et impropres (5) . On fait
onstater l'lve
(5)
Une fois que
ela est fait, la dnition (2.4) peut tre
onsidre
omme une dnition formelle parfaitement a
eptable des nombres rels mme si
elle-
i a l'in
onvnient, qui tient plus d'un lger
manque d'lgan
e, de sembler dpendre du
hoix de la base 10.
(2.5) Complment la dnition des nombres rels. Les nombres d imaux ont
deux
ritures possibles, l'une nie (ou,
e qui revient au mme,
omportant une innit
de 0
ons
utifs), appele dveloppement propre , l'autre sous forme de dveloppement impropre ave
une innit de 9
ons
utifs et le
hire pr
dent rduit d'une
unit. Les nombres rels non d
imaux n'ont qu'un seul dveloppement d
imal illimit.
e stade, ds la
inquime disons, on devrait pouvoir aboutir aux
ara
trisations
importantes qui suivent (sous rserve que tous les programmes pr
dents aient t
re
onstruits de manire solide !) :
Dmonstration. (a) En eet, tant donn une fra
tion p/q simplie qui n'est pas un
nombre d
imal (
'est--dire que q a d'autres fa
teurs premiers que 2 et 5), l'algorithme
de division ave
virgule de p par q ne tombe pas juste et
onduit des restes qui
gurent parmi 1, 2, . . . , q 1. Au bout de q 1 tapes au plus aprs la virgule, on
retombe n
essairement sur un reste dj trouv, de sorte que le dveloppement est
priodique et que la priode est au plus de longueur q 1.(6)
(6)
De faon plus formelle, si on regarde les restes de la division de 10m par mun entiern q N quel
onque,
il doit exister deux
entiers m < n dans l'intervalle [0, q 1 tels que 10 et 10 ont le mme reste,
don
q divise 10nm
10m . Autrement dit, q divise l'entier 10m (10a 1) ave
a = n m. La fra
tion p/q
s'
rit en
ore 10 10 p1 = 10n (k + 10 r1 ) o r est le reste de la division de p par 10a 1 et k son
quotient. Comme r est un entier d'au plusaa
hires et que 1/(10a 1) = 0, 00...00100...001... ave
une
priodi
it de a
hires, on voit que r/(10 1) = 0, r1 r2 ...ra1ra r1 r2 ...ra1ra ... o r1 r2 ...ra1ra est
l'
riture d
imale de r (pr
de d'autant de 0 que n
essaire pour atteindre exa
tement a
hires).
Suivant le signe de p,
e
i implique un dveloppement d
imal de la forme
p
= kN kN 1 ...k1 k0 , k1 k2 ...kmr1 r2 ...ra1ra r1 r2 ...ra1ra ...
q
a
de sorte que
23114
1
= 23114
= 0, 23114231142311423114 . . .
99999
99999
23114
= 0, 00023114231142311423114 . . .
99999000
107
, on obtient
1000
107
23114
107 99999 + 23114
10723007
+
=
=
1000 99999000
99999000
99999000
qui est bien un nombre rationnel. Ce pro
d de mise en forme de fra
tion s'tend
fa
ilement tout dveloppement d
imal priodique. L'armation (b) est seulement
une reformulation de la dnition (2.5), et (
) lui est quivalente. Le dernier
as de (
)
est illustr par exemple par le rationnel 1/11 = 0, 09090909 . . .
Toutes
es
onsidrations sont
onsolides par l'introdu
tion du
al
ul algbrique et
polynomial, la manipulation des ingalits et des en
adrements, les identits remarquables. Il me parat important de visualiser gomtriquement (a + b)2 , (a + b)(a b).
Il serait utile de distribuer dans toutes les
oles primaires et tous les
ollges de Fran
e
des assemblages de pi
es en bois permettant de visualiser (a+b)2 , (a+b)3 (
ar
e sujet
peut mme tre abord de manire
on
rte ds la n de l'
ole primaire, l'o
asion
de l'introdu
tion des aires et des volumes). L'identit (10a + b)2 100a2 = (20a + b)b
intervient dans la justi
ation de l'algorithme de la ra
ine
arre. un niveau plus
lmentaire (ds le CM1) et ave
une justi
ation seulement gomtrique sur des
arrs d
oups dans du papier millimtr la formule
(10a + 5)2 = 100a(a + 1) + 25
appro
h, lorsqu'on envisage par exemple les approximations d
imales su
essives d'un
nombre rel tel qu'une ra
ine
arre.
La deuxime raison est que l'enseignement a
tuel est beau
oup trop polaris sur
l'usage des
al
ulettes et, au ly
e, sur leur emploi pour l'tude des fon
tions. Or la
apa
it des
al
ulettes a
tuelles au
al
ul formel induit
hez l'lve la
on
eption errone
qu'une fon
tion est prin
ipalement une formule algbrique permettant d'valuer une
expression f (x) il sut d'observer l'organisation des manuels modernes pour se
onvain
re que
ette
on
eption inapproprie sera extrmement di
ile radiquer. En
ralit, la plupart des fon
tions qui interviennent dans la nature
ourbes de temprature ou de population,
ours de la bourse, fon
tions
orrespondant des mesures
exprimentales de phnomnes physiques ne sont pr
isment pas donnes par des
formules algbriques. C'est bel et bien la vision bourbakiste d'appli
ation d'un ensemble de dpart vers un ensemble d'arrive donne par un graphe qui est la notion
pertinente ! (et, en
ela, les programmes de ly
e de mathmatiques modernes ne
s'taient don
pas tromps, on les a beau
oup trop vite jets la poubelle sans imaginer
qu'ils
omportaient tout de mme une bonne part de vrit). L'appro
he des limites
par les suites est un bon moyen de
ombattre l'ide fausse qu'une fon
tion
on
ide
ave
une formule algbrique, et de donner lieu des appli
ations dont l'ensemble de
dpart et d'arrive ne sont pas les mmes.
1
2un + 1
=2
.
un + 1
un + 1
=1
= 3/2
= 8/5
= 21/13
= 55/34
= 144/89
= 377/233
= 987/610
= 2584/1587
= 6765/4181
= 17711/10946
= 28657/18657
= 75025/46368
= 196418/121393
= 514229/317811
= 1, 00000000000 . . .
= 1, 50000000000 . . .
= 1, 60000000000 . . .
= 1, 61538461538 . . .
= 1, 61764705882 . . .
= 1, 61797752808 . . .
= 1, 61802575107 . . .
= 1, 61803278688 . . .
= 1, 61803381340 . . .
= 1, 61803396316 . . .
= 1, 61803398501 . . .
= 1, 61803398820 . . .
= 1, 61803398867 . . .
= 1, 61803398873 . . .
= 1, 61803398874 . . .
Les habitus re
onnatront bien sr un desavatars possibles de la suite de Fibona
i. On peut voir
+1
, d'o 2 1 = 0.
que la limite de un est le nombre d'or (1+ 5)/2, solution de l'quation = 2+1
1
1
1
1
<
= 2
> 2
= un+1 > un ,
1 + un
1 + un1
1 + un
1 + un1
de sorte qu'on a aaire une suite
roissante. La zone rouge montre les d
imales qui
ne sont pas en
ore stabilises. On sent bien que la suite va avoir une limite gale
au nombre rel 1, 61803398874 . . . . La preuve de l'existen
e de
ette limite est un
thorme qui peut fa
ilement (et don
qui doit absolument) tre visualis et dmontr
en
lasse de se
onde d'autant plus que
'est notre sens le thorme fondateur de
l'analyse et
elui qui
ara
trise la notion mme de nombre rel.
(3.1) Thorme. Toute suite (un ) roissante et majore de nombres rels possde une
limite, obtenue
omme le nombre rel dont le dveloppement d
imal est donn par la
suite des d
imales stabilises de l'
riture d
imale des nombres un su
essifs. De
mme toute suite (un ) d
roissante et minore de nombres rels possde une limite.
Il est symptomatique que
e thorme soit aujourd'hui non
sans au
une justi
ation
jusqu' la n du ly
e, la plupart des tudiants entrant aujourd'hui l'universit n'ont
don
qu'une
omprhension trs
onfuse de
e qu'est un nombre rel ou de
e qu'est
une limite . . . Mme l'poque des maths modernes o les programmes de ly
e taient
trs ri
hes (malgr
ertains dfauts patents - notamment en gomtrie),
e thorme
tait prsent
omme un axiome
ara
trisant les nombres rels. C'est notre avis la
fois un appauvrissement mathmatique (8) et une erreur dida
tique puisqu'une preuve
trs vidente peut en tre donne :
Preuve du thorme (3.1). Supposons d'abord d'abord qu'on ait aaire une suite
roissante majore ave
un > 0 partir d'un
ertain rang. On
onsidre le dveloppement d
imal de
haque terme un , soit
un = En + 0, b1,nb2,n b3,n b4,n b5,n b6,n . . .
Lorsqu' l'universit on est enn en mesure de proposer une
onstru
tion plus solide des nombres rels,
par exemple au moyen des
oupures de Dedekind ou des suites de Cau
hy de nombres rationnels,
'est
bien d'un thorme qu'il s'agit, et non d'un axiome. Le statut donner
e rsultat est don
bien
elui de thorme, surtout prs de 150 ans aprs Dedekind et Cantor. Les nombres rels ne sont pas
que des tres vaporeux a
essibles seulement par une appro
he axiomatique . . .
10
Si la suite est d
roissante minore et un > 0, le raisonnement est identique, les approximations sont par ex
s et on regarde de la mme manire les d
imales stabilises
des
hires d
roissants su
essifs.
Dans le
as o (un ) est
roissante et forme de nombres tous ngatifs, la suite (un )
est d
roissante positive et on est ramen au
as pr
dent. Enn, le
as gnral d'une
suite d
roissante minore dont les termes deviennent ngatifs partir d'un
ertain
rang se ramne au
as d'une suite
roissante majore en
onsidrant (un ).
On notera que
'est le raisonnement du thorme (3.1) qui permet de donner la dfinition rigoureuse de la somme de deux nombres rels x et y quel
onques en
onsidrant les approximations d
imales xn et yn 10n prs par dfaut et en posant
x + y = limn+ xn + yn . De mme pour le produit de deux nombres positifs
xy = limn+ xn yn (le
as du produit de nombres rels de signes quel
onques s'obtient
l'aide de la rgle des signes). Pour l'existen
e de l'inverse 1/x (lorsque x > 0) et don
des quotients, on utilise le fait que la suite 1/xn est d
roissante minore (9) . Comme
l'addition et la multipli
ation sont
ommutatives et asso
iatives sur les d
imaux,
es
proprits passent la limite sur l'ensemble des nombres rels ; idem pour la proprit
de distributivit de la multipli
ation par rapport l'addition (10).
Rsultat des
ourses : nous avons t en mesure de dnir rigoureusement les nombres
rels ds le
ollge, et de dmontrer leurs proprits fondamentales l'issue de la
lasse
de se
onde, de manire trs simple. C'est l notre avis un prrequis indispensable
pour pouvoir faire de l'analyse dans de bonnes
onditions, tout en donnant aux lves
des outils numriques
on
rets qui leur permettront de
omprendre les questions poses.
e point,
il devient parfaitement possible de justier l'existen
e de la ra
ine p-ime
p
x =
a d'un nombre rel a > 0. En eet, par essais su
essifs, on obtient un en
adrement par des nombres d
imaux n
hires aprs la virgule, xn < xn = xn +10n ,
ave
(xn )p < a < (xn )p ( moins que le rsultat ne tombe juste une
ertaine tape,
(9)
(10)
Bien entendu l'inverse 1/xn d'un d
imal n'est plus un d
imal, mais on a dj vu
omment
rire un
tel rationnel sous forme d'une reprsentation d
imale priodique illimite,
f. note (6).
Pour une dmonstration formelle
omplte et rigoureuse de
es proprits que nous ne re
ommandons
absolument pas au niveau du ly
e on a besoin de l'observation suivante.
Observation. Soit x un rel et xn l'approximation d
imale 10n prs par dfaut obtenue par
tron
ature l'ordre n du dveloppement d
imal propre de x donn par la dnition (3.1). Si (n )
est une suite de d
imaux telle que |xn n | tend vers 0, alors les d
imales de n tendent vers le
dveloppement d
imal de x si x n'est pas d
imal, et sinon elles tendent soit vers le dveloppement
propre, soit vers le dveloppement impropre qui reprsentent tous deux le rel x par dnition.
Dmonstration. Si x n'est pas d
imal, il y a des rangs k arbitrairement grands pour lesquels la k-ime
11
auquel
as le travail est ni). En parti
ulier x0 est la partie entire de la ra
ine p-ime
her
he, et x0 = x0 + 1 (sauf si le rsultat tombe juste dj dans les entiers). On
obtient ainsi une suite
roissante (xn ) d'approximations d
imales par dfaut, et une
suite d
roissante (xn ) d'approximations d
imales par ex
s, la suite (xn ) est majore
par x0 = x0 + 1, et la suite (xn ) est minore par x0 .
Il est utile de savoir quelle est l'erreur
ommise sur la puissan
e p-ime du fait de
l'approximation d
imale. Pour
ela, on utilise l'ingalit
(3.2)
ap bp 6 p(a b)ap1
1
(x )p1 .
10n 0
(4.1) Puissan es fra tionnaires. Si q est un entier stri tement positif, on pose
a1/q = q a,
12
p
q
ax = ap/q = q ap = (q a)p .
La dernire galit est due au fait que ((q a)p )q = (q a)pq = ((q a)q )p = ap . On vrie
alors que les formules (2.1), (2.2), (2.3) restent valables pour les exposants rationnels.
On a de plus les ingalits intressantes suivantes.
(4.2 a)
(4.2 b)
On notera que lorsque h est trs petit, disons h < 103 (et q pas trop grand), l'erreur
qh2
ommise
haque tape est faible, don
l'approximation par dfaut (1+h)q 1+qh
sera tout fait raisonnable. Si nous remplaons maintenant h par hq , il vient
1+
h
h q
>1+q = 1+h
q
q
et don (1 + h)1/q 6 1 + 1q h.
A1/q
ax lorsque x
est rel, en supposant par exemple a > 1 (si a < 1 on pourra s'y ramener en posant
ax = 1/Ax ave
A = 1/a > 1). Pour
ela, on utilise les approximations d
imales
xn 6 x 6 xn par dfaut et par ex
s 10n prs. Comme xn et xn sont des d
imaux
majore par ax0 , tandis que la suite (axn ) est d
roissante minore par ax0 . En outre
leur quotient
axn
1/10n
xn xn
=
a
=
a
axn
tend vers 1 quand n tend vers + d'aprs la
onsquen
e (4.3). Nous avons don
des
n+
13
Notons que par passage la limite sur les approximations d
imales des exposants, les
formules fondamentales (2.1), (2.2) et (2.3) restent valables.
On dit que la fon
tion R x 7 ax est la fon
tion exponentielle relle de base a > 0.
On rserve la terminologie de fon
tion puissan
e la fon
tion R+ x 7 x (
ette fois,
l'exposant R est
onstant, tandis que dans l'exponentielle
'est l'exposant qui est
la variable).
(ii) Si a > 1, alors x 7 ax est une fon
tion stri
tement
roissante, et on a
lim ax = +, lim ax = 0.
x+
(iv) Dans tous les
as, x 7 ax est une fon
tion
ontinue.
y
a<1
a>1
1
0
1
Ax
en posant A =
1
a
> 1.
ax
ax0
14
e qui entranera bien que limxx0 ax = ax0 . Autrement dit, il sut de voir que
limx0 ax = 1. Si a > 1 et x > 0,
onsidrons l'entier q = E(1/x) de sorte que q 6 1/x
et don
x 6 1/q . Alors 1 6 ax 6 a1/q , et
omme q tend vers + quand x tend vers 0,
la
onsquen
e (4.3) entrane bien que limx0+ ax = 1. C'est vrai aussi pour la limite
gau
he en 0 puisque limx0+ ax = limx0+ a1x = 1. Enn, le
as a < 1 s'obtient en
posant ax = 1/Ax ave
A = 1/a > 1.
(ii) Si > 0, alors x 7 x est une fon
tion stri
tement
roissante, et on a
lim x = +, lim x = 0.
x+
x0+
(iii) Si < 0, alors x 7 x est une fon
tion stri
tement d
roissante, et on a
lim x = 0, lim x = +.
x+
x0+
(iv) Dans tous les
as, x 7 x est une fon
tion
ontinue sur ]0, +[, elle se prolonge
par
ontinuit en 0 en posant 0 = 0 si > 0.
y
>1
=1
0<<1
1
<0
0
15
0 < x 6 x1/q 6
1
.
x
n
1 6 x /x
0 = (x/x0 ) 6 (x/x0 )
pour tout entier n qui majore le rel . La
ontinuit de la fon
tion x 7 xn qui rsulte
du thorme sur les produits de limites implique alors que limxx0 + (x/x0 )n = 1 et
don
limxx0 + x /x0 = 1. De mme si x < x0 on a
n
1 6 x
0 /x = (x0 /x) 6 (x0 /x)
Bilan: nous avons t
apables de dnir les puissan
es relles d'exposant arbitraire et
les exponentielles relles de bases arbitraires sans mme avoir eu besoin pour l'instant
du
al
ul de drives et en
ore moins du
al
ul intgral. C'est dj un pas trs
onsidrable ! Le
al
ul des drives de
es fon
tions sera l'tape suivante.
f (X) f (x)
f (x + h) f (x)
= lim
Xx
h0
h
X x
f (x) = lim
f (x, X) =
f (X) f (x)
,
X x
lorsque
ette limite existe. Le taux d'a
roissement reprsente la pente de la
orde
joignant les points (x, f (x)) et (X, f (X)) du graphe de f . L'existen
e de la drive
est quivalente
elle d'une tangente au point (x, f (x)), dont la pente est alors gale
f (x).
On a aussi les notions de drive droite et de drive gau
he lorsque les limites
droite et gau
he ne sont pas n
essairement gales, et les notions gomtriques
orrespondantes de demi-tangente droite et de demi-tangente gau
he.
Nous
ommen
erons par l'observation suivante qui pourrait mme relever du
ollge
et de l'exprimentation graphique lmentaire des progressions gomtriques.
16
un = an , n N, les
Dmonstration. En eet
e
i est vrai aussi bien pour a > 1, auquel
as an est une suite
roissante et a 1 > 0 , que pour 0 < a < 1, auquel
as an est une suite d
roissante
et a 1 < 0 .
y
un+1
un+1 un = (a 1)an
un
u0
n+1
an 1
n
a2 1
an 1
a1 1
6
6 ... 6
6 ...
1
2
n
ou en
ore
an 1 6 n (an+1 1) (an 1)
(11)
an 1 6 n(an+1 an ).
forment
Pour n N , on
onsidre le taux d'a
roissement de la suite (un ) sur l'intervalle [0, n
pn = u u
= v +v +n...+v ,
n
qui s'interprte aussi
omme la moyenne des n premiers
arts vi = ui+1 ui . Gomtriquement,
e
taux reprsente la pente des droites bleues dans la Figure 3
i-dessus.
Proprit. Si une suite (un ) est
onvexe, alors (ave
les notations pr
dentes), la pente pn vrie
pn 6 vn1 et forme une suite (pn )nN qui est
roissante.
En eet, l'ingalit pn 6 vn1 rsulte de
e que
ha
un des termes vi du numrateur de pn est infrieur
ou gal vn1 . On a don
vn > vn1 > pn , d'o
)+v
(v +v +...+v
+v
+p
= npn+1
= pn .
pn+1 =
> npn+1
n+1
n
n1
n1
17
Mais on a
an 1 = (an an1 ) + (an1 an2 ) + . . . + (ap ap1 ) + . . . + (a2 a) + (a 1)
et
ha
un des n termes ap ap1 est major par an+1 an d'aprs l'observation 5.2,
e qui donne l'ingalit voulue an 1 6 n(an+1 an ).
x R ,
de la fon
tion x 7 ax pris sur l'intervalle [0, x] est une fon
tion
roissante sur R .
Dmonstration. On pro
de en trois tapes.
(a) pa est
roissante sur l'ensemble Z des entiers non nuls. Pour
ela, on applique la
onsquen
e (5.3) en remplaant a par a1 et en
hangeant les signes (
e qui renverse
le sens des ingalits). On obtient alors
... 6
a2 1
a1 1
an 1
6 ... 6
6
.
n
2
1
a2 1
a1 1
a1 1
a2 1
an 1
an 1
6 ... 6
6
6
6
6 ... 6
6 ...
n
2
1
1
2
n
(b) pa est
roissante sur l'ensemble des d
imaux non nuls Dk de dnominateur 10k .
On observe pour
ela que Dk est
l'ensemble des rationnels de la forme x = n/10k
x
1/10k n
ave
n Z . Comme a = (a
) , il sut d'appliquer la suite pr
dente d'ingalits
1/10k
. En divisant de plus tous les dnominateurs par 10k , on
et de rempla
er a par a
obtient les ingalits dsires, savoir
k
a1/10 1
a1/10 1
a2/10 1
an/10 1
an/10 1
6 ... 6
6
6
6 ... 6
6 ...
n/10k
1/10k
1/10k
2/10k
n/10k
(
) pa est
roissante sur R . On pro
de par passage la limite sur les d
imaux. Pour
x, y R ave
x 6 y quel
onques, on
onsidre les approximations d
imales xk de x
et yk de y 10k prs par dfaut. Alors xk 6 yk et xk , yk Dk pour k assez grand,
don
pa (xk ) 6 pa (yk ),
e qui donne pa (x) 6 pa (y) quand k tend vers +.
Une premire appli
ation de
e rsultat est le
al
ul de la drive des fon
tions puissan
es(12) .
(12)
Cette appro
he est inspire d'un
ours rdig par Abdellah Be
hata partir d'une premire version
des prsentes notes ...
18
(5.5) Thorme. On
onsidre, pour rel quel
onque, la fon
tion x 7 x , x > 0.
(a) Pour tous x, X > 0, x 6= X , le taux d'a
roissement
les valeurs x1 et X 1 .
X x
est
ompris entre
X x
1
x
at 1
t
(X/x)t 1
t
X x
> x1 (X x),
X x
6 x1 si X < x.
X x
(5.6)
X x
1
6 X 1 si X > x,
x
6
X x
X 1 6 X x 6 x1 si X < x.
X x
Pour 0 < 6 1, le raisonnement est identique, l'ingalit de dpart est juste inverse,
et on a don
renversement des ingalits de l'en
adrement, soit
(5.7)
X x
1
X
6
6 x1 si X > x,
X x
x1 6 X x 6 X 1 si X < x.
X x
Pour = 0,
es ingalits sont vraies aussi, de manire vidente (0 = 0). Pour < 0,
la multipli
ation par inverse en
ore une autre fois les ingalits de l'en
adrement, et
on se retrouve dans la situation (5.6).
(b) La drive au point x est la limite du taux d'a
roissement quand X x. Comme
limXx X 1 = x1 par
ontinuit, on dduit de l'en
adrement du (a) que la drive
en x est donne par
X x
= x1 .
Xx X x
lim
19
(6.1)
appele logarithme de base a, qui est la fon
tion r
iproque de la fon
tion exponentielle
de base a,
ara
trise par l'quivalen
e
(6.2)
ax = y x = loga y,
x R, y > 0.
Cette dnition est tellement naturelle qu'il nous semblerait utile que les logarithmes
de base entire lorsqu'ils tombent juste aient dj t introduits de manire
sommaire au
ollge l'o
asion de l'tude des puissan
e de 2, 3 ou 10, ou mme d'une
base a entire quel
onque, un peu aprs l'tude des nombres
rits dans une base autre
que 10 (on sait bien que la base 2 est le fondement de notre monde numrique, il serait
indispensable qu'un lve qui a termin sa s
olarit obligatoire sa
he au moins
e que
veut dire le mot numrique , ne serait-
e que par
e qu'il est aujourd'hui omniprsent
dans les
atalogues de HiFi). Ds la
lasse de sixime ou de
inquime, on pourrait trs
bien faire dessiner des frises reprsentant les temps gologiques en
helle logarithmique
des puissan
es de 10 voire expliquer
e qu'est le pH en
himie, pour des pH entiers,
e qui introduit utilement le logarithme d
imal log10 en liaison ave
l'usage de la
notation s
ientique 10n en s
ien
es exprimentales. La gnralisation progressive des
puissan
es aux
as des exposants ngatifs, puis au
as des ra
ines
arres et n-imes
permet d'tendre
orrlativement les logarithmes loga au
as des valeurs ngatives,
demi-entires, fra
tionnaires.
Au
ontraire, il nous semble dida
tiquement
ontestable,
omme le font les programmes
depuis au moins 45 ans, de
ommen
er la thorie des logarithmes par l'introdu
tion des
logarithmes naturels (
e qui est en ralit un
ontresens historique), pr
isment
par
e que les logarithmes de base a entire sont plus intuitifs. Mais tout nit par arriver
un jour, et l'tape que nous allons fran
hir
onsiste pr
isment en l'introdu
tion de la
fon
tion ln. Comme il est bien
onnu (et mal a
ept par les programmes a
tuels ! ),
la fon
tion ln a quelque
hose voir ave
la drive des exponentielles (13) .
ax 1
.
x0
x
ln(a) = lim
1
6 ln(a) 6 a 1.
a
Tout autant qu'ave
le
al
ul intgral et la primitive de x 7 1/x. On verra mme ainsi a posteriori
qu'on aurait pu se passer du thorme des fon
tions r
iproques pour dmontrer l'existen
e des fon
tions logarithmes loga , sa
hant que
elles-
i se
al
ulent partir de la fon
tion ln qui, elle, peut tre
dnie expli
itement
omme une drive.
20
ax 1
1
6 pa (x) =
6 a1
a
x
puisque pa est une fon
tion
roissante d'aprs (5.4). Comme la suite N n 7 pa (1/n)
est d
roissante et minore, le thorme (3.1) montre qu'il y a bien une limite droite
en 0
1
ln(a) = lim pa (x),
et de plus 1 6 ln(a) 6 a 1.
a
x0+
pour x > 0,
(6.4) Consquen
e. La fon
tion exponentielle de base a est partout drivable sur R
et on a la formule
(ax ) = ln(a) ax .
Dmonstration. On
rit
ax (ah 1)
ah 1
ax+h ax
= lim
= ax lim
= ax ln(a).
h0
h0
h0
h
h
h
(ax ) = lim
ln(at ) = lim
x=0
(6.8) Thorme. La fon
tion x 7 ln(x) est stri
tement
roissante, partout drivable
sur R+ = ]0, +[, et on a
ln(x)
1
.
x
21
ln
X
1
> 0 donne 1 6 ln(a) 6 a 1, soit
x
a
X x
x
X
X x
=1
6 ln(X) ln(x) 6
1=
,
X
X
x
x
par onsquent
1
ln(X) ln(x)
1
6
6
X
X x
x
Ce i entrane bien
1 6 ln(X) ln(x) 6 1
x
X x
X
ln(x)
pour X > x,
pour X < x.
1
ln(X) ln(x)
= .
Xx
X x
x
= lim
La proprit de
roissan
e stri
te rsulte des ingalits pr
dentes, qui montrent que
ln(X) ln(x) > Xx
X > 0 si X > x > 0 [ on peut aussi, si on le souhaite, utiliser le fait
que la drive est stri
tement positive ]. Comme ln(2n ) = n ln(2) ave
ln(2) > 0, on en
dduit que ln(x) > n ln(2) pour x > 2n , et ln(x) 6 n ln(2) pour x 6 2n . On a don
bien les limites annon
es quand x 0+ et x +.
R R+ ,
x 7 ln(x),
22
et ln = loge s'identie au logarithme de base e. La fon
tion ln est appele fon
tion
logarithme naturel (ou parfois en
ore nprien, en hommage John Napier, aussi
dnomm Neper en Latin (14) ). De plus la drive de la fon
tion exponentielle x 7 ex
est donne par
(ex ) = ex .
La fon
tion exponentielle de base e est souvent appele fon
tion exponentielle (tout
ourt), et note exp, de sorte que exp(x) = ex et exp = exp.
y
exp
y=x
ln
1
0
En ralit, les premires tables de logarithmes tablies par Napier et par le mathmati
ien Henry
Briggs dans les annes qui suivirent taient des logarithmes d
imaux. C'est seulement ave
les
travaux de Huyghens en 1661 et plus tardivement ave
eux de Leibnitz sur les fon
tions, en 1697,
que le logarithme naturel fut dnitivement dgag dans sa forme moderne.
23
(6.10) Thorme. Pour toute base a > 0, a 6= 1, la fon
tion exponentielle de base a
x 7 ax ,
x 7 loga (x) =
R R+
ln(x)
,
ln(a)
R+ R
loga (x)
1 1
ln(a) x
xa = (eln(x) )a = ea ln(x) = exp a ln(x) .
1
1
(xa ) = exp a ln(x) (a ln(x)) = exp a ln(x) a = xa a = a xa1 .
x
x
(6.13) Con lusion. Il est possible de dnir rigoureusement puissan es, exponen-
tielles et logarithmes dans une appro
he o toutes les proprits essentielles se dmontrent en respe
tant l'intuition numrique (on part des puissan
es, qui sont les plus
intuitives, on passe aux exponentielles, qui gnralisent les puissan
es, et enn on arrive aux logarithmes). Notons de plus qu'au
un thorme avan
d'analyse ne nous a
t n
essaire le thorme des valeurs intermdiaires et le thorme sur l'existen
e
des fon
tions r
iproques pourraient mme tre vits. Mais bien entendu nous re
ommandons ave
for
e que
es thormes soient tout de mme non
s au niveau du ly
e,
et en
ore mieux
ompltement dmontrs : le pro
d de di
hotomie et le thorme des
suites adja
entes peuvent rendre la
hose numriquement vidente , tout en donnant un pro
d
on
ret de rsolution appro
he d'une quation f (x) = y (on pourra
par exemple faire exprimenter les lves sur la rsolution d'quations polynomiales
f (x) = 0 de degr 3
'est l un bon usage de la
al
ulette !).
24
(7.1) Formule.
e = lim
n+
x n
1+
.
n
ln 1 +
x
x n
= exp x
= exp n ln 1 +
1+
x
n
n
n
Or
ln 1 +
lim
x
n
n+
don limn+ x
x
ln 1+ n
x
n
x
n
x
n
ln 1 + h
= ln (1) = 1,
= lim
h0
h
n+
1+
x n
= exp(x) = ex .
n
En substituant
x
n
n(n 1) 2
n(n 1) . . . (n (p 1)) p
n
h+
h +...+
h + . . . + hn .
1!
2!
p!
h il vient
n x n(n 1) x2
n(n 1) . . . (n (p 1)) xp
xn
x n
=1+
+
+
.
.
.
+
+
.
.
.
+
1+
n
1! n
2!
n2
p!
np
nn
1(1 n1 ) 2
1(1 n1 ) . . . (1 p1
) p
1
xn
n
=1+ x+
x +...+
x +...+ n.
1!
2!
p!
n
x2
xp
x
+
+...+ .
1!
2!
p!
e = lim 1 +
1
1
1
+ +...+ .
1! 2!
p!
p+
En parti
ulier
p+
25
p1
n ) p
x ,
En faisant tendre maintenant p vers +, on voit que la suite du membre de droite est
onvergente puisqu'elle est
roissante et majore par ex (le fait que x > 0 nous sert de
nouveau), don
ex > lim 1 +
p+
x
x2
xp
+
+...+ .
1!
2!
p!
Cher
hons montrer l'ingalit inverse. Pour
ela, on observe tout simplement que
1(1 n1 ) . . . (1 p1
n ) 6 1, don
1+
x
x2
xp
xn
x n
61+ +
+...+
+...+
,
n
1!
2!
p!
n!
et par
onsquent
x
x2
xp
x n
6 lim 1 + +
+...+
.
1+
p+
n+
n
1!
2!
p!
ex = lim
cosh(x) = lim 1 +
p+
x2
x4
x2p2
x2p
+
+...+
+
.
2!
4!
(2p 2)! (2p)!
x2p+1 i
+
,
(2p + 1)!
x
x2
x3
x2p1
x2p
+
+...
+
1!
2!
3!
(2p 1)! (2p)!
x2p+1 i
.
(2p + 1)!
26
C'est bien la formule
her
he dans le
as d'un exposant ngatif. On notera qu'on
obtient aussi du mme
oup le dveloppement de la fon
tion sinus hyperbolique
x
x
sinh(x) = e e
, qui ne laisse subsister que les monmes de degrs impairs
2
(7.4)
x
x3
x2p1
x2p+1
sinh(x) = lim
+
+...+
+
.
p+ 1!
3!
(2p 1)! (2p + 1)!
x
x
x
x
x2
xp
x
x
1+
1+
... 1+
1+
...
.
+
+...+
= 1+
1!
2!
p!
1
2
3
p1
p
1
1
1
+ +...+
2, 71828182845904.
1! 2!
p!
(7.6) Autres onsquen es. Ce qui pr de montre que pour tout entier p N on
a ex > xp /p! ds que x > 0. En remplaant p par p + 1 on trouve ex > xp+1 /(p + 1)!
x
et don
ex /xp > (p+1)!
. Par
onsquent
ex
= +.
x+ xp
(7.6 a)
lim
lim xp ex = 0.
On exprime les proprits (7.6 a) et (7.6 b) en disant que dans une forme indtermine
la fon
tion exponentielle l'emporte sur les fon
tions puissan
es.
De manire analogue, on a pour x > 1 l'ingalit ln x 6 x 1 6 x, et en remplaant
x par xa/2 on obtient a2 ln(x) 6 xa/2 , don
ln(x)/xa 6 a2 xa/2 pour tout a > 0.
Ce
i implique
(7.6
)
ln(x)
= 0.
x+ xa
lim
lim xa ln(x) = 0.
x0+
On exprime les proprits (7.6
) et (7.6 d) en disant que dans une forme indtermine
les fon
tions puissan
es l'emportent sur la fon
tion logarithme.
27
(8.1)
R iproquement :
f (x) = y (x) ekx + y(x) k ekx = y (x) ky(x) ekx = 0.
Ce
i implique que la fon
tion f est une
onstante ,
e qui entrane y(x) = ekx . Ces
fon
tions sont bien des solutions de l'quation direntielle.
Cher
hons plus gnralement les solutions de l'quation direntielle non homogne
(8.3)
la solution gnrale est donne sous la forme f (x) = + f0 (x) o f0 est une primitive
de x 7 u(x) ekx et R une
onstante arbitraire. Ce
i donne
(8.4)
y(x) = ( + f0 (x))ekx .
R,
o y0 (x) = f0 (x) ekx est la solution parti ulire de l'quation orrespondant la onstante = 0. Dans la pratique, si on onnat (ou si on aperoit) une solution parti ulire
28
y0 de l'quation (8.3), les autres solutions sont obtenues en ajoutant ekx y0 (x), e
Les fon
tions exponentielles f (x) = ax vrient la proprit fon
tionnelle fondamentale
f (x + y) = f (x)f (y). De manire gnrale, il est intressant de savoir quelles sont les
fon
tions f : R R qui transforment additions en multipli
ations ,
'est--dire
quelles sont
elles qui satisfont la proprit
(8.6)
f (x + y) = f (x)f (y)
pour tous x, y R.
Remarquons que s'il existe x0 tel que f (x0 ) = 0, alors f (x) = f (x0 )f (x x0 ) = 0
entrane que la fon
tion f est la fon
tion nulle. Nous supposerons dsormais f non
nulle ; d'aprs
e qui pr
de f (x) ne peut alors s'annuler. Dans
e
as, la proprit
f (x) = f (x/2 + x/2) = f (x/2)f (x/2) = f (x/2)2 entrane f (x) > 0, et on peut poser
g = ln f : R R. On voit que
(8.7) g(x + y) = ln f (x + y) = ln f (x)f (y) = ln f (x) + ln f (y) = g(x) + g(y).
On dit qu'une telle fon
tion g est une fon
tion additive. Les fon
tions g de la forme
g(x) = kx satisfont de faon vidente la proprit d'additivit, et on peut se demander s'il en existe d'autres. Malheureusement, il se trouve qu'il existe des fon
tions
dis
ontinues extrmement tordues presque impossible d
rire qui sont additives. Nanmoins la rponse est simple si on suppose que les fon
tions en question sont
ontinues.
(8.8) Thorme. Soit g : R R une fon
tion additive,
'est--dire telle que
g(x + y) = g(x) + g(y)
pour tous x, y R.
ave k = g(1) R.
p
q
est un rationnel
1
1
1
= pg
= p g(1) = x g(1).
g(x) = g p
q
q
q
Cette proprit s'tend au rationnels ngatifs du fait que g(x) = g(x). En posant
k = g(1), on en dduit bien que g(x) = kx pour tout x Q. Comme g est suppose
ontinue,
ette proprit s'tend par passage la limite tous les rels x, en
onsidrant
par exemple la suite (xn ) des approximations d
imales 10n prs de x.
29
Si nous revenons aux fon
tions f
ontinues non nulles qui vrient (8.6), on voit que
g(x) = ln f (x) = kx, don
f (x) = ekx . Nous pouvons non
er :
pour tous x, y R,
sont d'une part la fon
tion nulle f = 0 et d'autre part les fon
tions exponentielles
f (x) = ekx , k R, ou en
ore f (x) = ax , a > 0.
Si on impose la
ondition plus forte que f soit drivable et que l'on drive la relation
f (x + y) = f (x)f (y) par rapport y , on trouve
f (x + y) = f (x)f (y).
Pour y = 0, on trouve en parti
ulier f (x) = f (x)f (0) = k f (x) ave
k = f (0). On
on
lut alors que f (x) = ekx d'aprs le thorme (8.2). Comme on doit avoir de
plus f (0) = f (0)f (0), il vient = 2 , don
= 0 ou = 1. Ce
i donne une autre
dmonstration du thorme (8.9), sous l'hypothse plus restri
tive que f soit drivable.
T
V
y = sin()
y
= tan()
x
O x = cos() U
cos() = x,
sin() = y,
tan() =
sin()
y
= ,
cos()
x
30
UT
y
= = tan().
x
OU
OM = cos() OU + sin() OV .
(9.2)
(9.3)
M
V
OM = cos() OU + sin() OV ,
et de manire analogue
OU = cos() OU + sin() OV ,
31
les
omposantes de OM suivant OU et OV .
On a d'autre part les en
adrements trs utiles suivants, qui vont
onduire la drivation
des fon
tions trigonomtriques ; pour
ela, il
onvient bien sr d'attendre que la notion
de drive soit en pla
e.
(a) y y 6 M M 6 M P 6 T T =
y
x
y
x
V
y
y
( xy )
( xy )
x x
U
1
32
Or la longueur d'ar
M M est par dnition la limite, pour des subdivisions assez nes,
des longueurs M0 M1 + M1 M2 + . . . + Mn1 Mn de lignes polygonales (M0 M1 . . . Mn )
telles que M0 = M et Mn = M . Le rsultat pr
dent donne
sin(i+1 ) sin(i ) 6 Mi Mi+1 6 tan(i+1 ) tan(i )
et en sommant de i = 0 i = n 1 on trouve
sin(n ) sin(0 ) 6
n1
X
i=0
Nous tablissons maintenant les formules donnant les drives des fon tions trigonomtriques.
(9.6) Lemme. On a
sin h
= 1,
h0 h
(16)
cos h 1
= 0.
h0
h
Gr
e au thorme de Pythagore,
nous obtenons dire
tement
p
p
M M =
(x x )2 + (y y )2 > (y y )2 = y y .
D'autre part, par lvation au
arr de l'expression de M P = xy (x x) + (y y ), il vient
(M P )2 > 2 yx (x x)(y y ) + (y y )2
en ngligeant le premier
arr ( xy (x x))2 . Les galits x2 + y2 = x2 + y2 = 1 entranent leur tour
2x(x x) 6 (x + x )(x x) = x2 x2 = y2 y2 = (y y )(y + y ) 6 2y(y y ),
don
en substituant 2y(y y ) par 2x(x x) dans la minoration de (M P )2 on trouve
(M P )2 > 2(x x)2 + (y y )2 > (x x)2 + (y y )2 = (M M )2 .
Les ingalits sin 6 6 tan se lisent aussi sur la Fig. 6 au moyen d'un en
adrement dire
t des aires
aire triangle OMU 6 aire se
teur angulaire OMU 6 aire triangle OT U .
L'aire du se
teur angulaire est proportionnelle et vaut pour = 2, elle vaut don
/2. Les deux
triangles ont une base de longueur 1, leur aire est gale leur demi-hauteur,
e qui donne l'en
adrement
1 sin 6 1 6 1 tan .
2
2 2
Nous avons
ependant prfr donn une dmonstration qui vite tout re
ours la notion labore
d'aire d'un domaine plan pour en revenir la dnition premire de la longueur d'ar
mme si
ette dmonstration est lgrement plus subtile. Dans une premire appro
he devant les lves, on
pourra videmment opter plutt pour la justi
ation la plus simple d'un point de vue intuitif.
33
cos(h) 1
h
6
6 0,
2
h
cos(h) 6
sin(h)
6 1.
h
sin(h)
= 1.
h0
h
(9.7) Thorme. Les fon
tions cos et sin sont drivables sur R tout entier et on a
cos(x) = sin(x),
Ce
i entrane bien d'aprs le lemme 9.6 que le taux d'a
roissement de cos tend
vers sin(x) et que
elui de sin tend vers cos(x).
e qui dnit une fon
tion f : R C valeurs dans le
er
le trigonomtrique, alors les
formules d'addition des angles (9.4) et de drivation (9.7) se traduisent par les galits
(10.1)
(10.2)
(17)
f ( + ) = f ()f (),
f (x) = sin(x) + i cos(x) = i f (x).
34
(10.3)
La formule d'addition des angles (10.1) se retraduit alors sous la forme naturelle
ei(+) = ei ei
(10.4)
qui peut servir mmoriser les formules donnant cos( + ) et sin( + ). Comme
eix = cos(x) i sin(x), on trouve les formules galement dues Euler
(10.5)
cos(x) =
eix + eix
,
2
cos(x) =
eix eix
,
2i
cos(x) + i sin(x)
n
= cos(nx) + i sin(nx).
ez = ex eiy = ex cos(y) + i sin(y) .
|ez | = eRe z ,
arg(ez ) = Im z
(mod 2).
ez+z = ez ez
pour tous z, z C,
f = kf
35
sont exa
tement les fon
tions f (x) = ekx , C. La preuve est identique
elle du
as rel.
Une fois que l'on dispose du
al
ul intgral et de l'intgration des fon
tions
omplexes,
on peut
onstater par des intgrations par parties et par r
urren
e sur p que l'on a
z2
zp
z
+...+
+ z p+1
e =1+ +
1!
2!
p!
z
(10.11)
(1 t)p tz
e dt.
p!
1
0
Z 1
(1 t)p tz
(1 t)p
|z|p+1 max(Re(z),0)
p+1 max(Re(z),0)
e dt 6 |z|
e
dt =
e
.
p!
p!
(p + 1)!
0
|z|
1!
|z|2
2!
+...+
|z|p
p!
existe, on a
|z|p+1
= lim Sp+1 Sp = 0,
p+
p+ (p + 1)!
lim
(10.12)
p+
z2
zp
z
+
+...+
1!
2!
p!
(11.1)
On supposera, pour une gnralit maximale, que f : R 7 C, x 7 f (x) est une fon
tion
omplexe, et que a, b, c sont des
onstantes
omplexes (ave
a 6= 0, sinon l'quation
n'est pas du se
ond ordre). La linarit de l'quation se traduit par le fait vident
suivant :
(11.2) Proprit. Si
solution.
Cher
hons les solutions qui sont des exponentielles f (x) = ekx . On a f (x) = k ekx et
f (x) = k 2 ekx , don
(11.3)
Par
onsquent f (x) = ekx est solution de l'quation (11.1) si et seulement si k est
solution de l'quation du se
ond degr
(11.4)
ak 2 + bk + c = 0,
36
appele quation
ara
tristique de l'quation direntielle (on pourrait de mme
onsidrer des quations direntielles d'ordre 3 et plus, qui induirait une quation
ara
tristique polynomiale du mme degr). Si le dis
riminant = b2 4ac est non nul,
on a deux ra
ines
omplexes k1 , k2 , don
deux solutions
omplexes f1 (x) = ek1 x ,
f2 (x) = ek2 x . Ce
i montre que toute
ombinaison linaire
(11.5)
1 , 2 C,
af2 (x) + bf2 (x) + cf2 (x) = (ak 2 + bk + c)x + (2ak + b) ekx .
1 , C.
oe
ients
omplexes sont donnes par les ra
ines simples k1 , k2 ou la ra
ine double
k de l'quation
ara
tristique ak 2 + bk + c = 0, de la manire suivante :
(a) si = b2 4ac 6= 0,
e sont les
ombinaisons linaires
f (x) = 1 ek1 x + 2 ek2 x ,
1 , 2 C ;
1 , 2 C.
37
f = 1 f1 + 2 f2 ,
f = 1 f1 + 2 f2 .
f f1 + f f1 = 2 f1 f2 f1 f2 .
de sorte qu'on a toujours f1 f2 f1 f2 6= 0. Pour que (11.8) soit ralis il sut don
de
prendre
f f2 f f2
,
1 =
f1 f2 f1 f2
f f1 + f f1
2 =
.
f1 f2 f1 f2
f = 1 f1 + 2 f2 + 1 f1 + 2 f2 .
puisque f1 et f2 sont solutions. On voit que la fon
tion f est solution si et seulement
si 1 f1 + 2 f2 = 0, mais
omme on a aussi 1 f1 + 2 f2 = 0, on
onstate (en faisant des
ombinaisons linaires
omme
i-dessus) que
'est le
as si et seulement si 1 = 2 = 0.
Ce
i montre que 1 et 2 sont des
onstantes et que f est n
essairement
ombinaison
linaire de f1 , f2
oe
ients
onstants.
Un
as parti
ulier intressant est
elui de l'quation direntielle
(11.10)
f + 2 f = 0
38
o est un nombre rel positif. L'quation
ara
tristique est k2 + 2 = 0, ses solutions
sont k1 = i et k2 = i . Les solutions de(11.10) sont don
de la forme
f (x) = 1 eix + 2 eix .
(11.11)
Gr
e aux formules d'Euler, on peut aussi les
rire de manire quivalente en termes
des fon
tions cos et sin :
(11.12)
f (x) = cos(x + )
af + bf + cf = 0
b
b 4ac < 0, on a deux ra
ines
onjugues k1 = 2a
+ i ,
oe
ients rels ave
=
p
b
k2 = 2a i ave
= ||. Ce
i donne les solutions
2
ou en
ore
(11.14)
b
f (x) = e 2a x cos(x) + sin(x) ,
les solutions relles tant obtenues pour , rels. Une autre
riture quivalente
onsiste poser
(11.14 )
f (x) = e 2a x cos(x + )
ave
des
onstantes , quel
onques (fon
tion os
illante amortie , si b/a > 0).
Nous n'aborderons pas i
i les questions de physique dire
tement lies la rsolution
des quations direntielles d'ordre 2, et qui devraient venir enri
hir le
ours de mathmatiques : ondes, os
illations du pendule ou du peson ressort, phnomnes os
illatoires amortis . . .
39
40
C'est bien l que se situent les enjeux si notre pays veut rellement enrayer la dsaffe
tion pour les tudes s
ientiques
onstate dans tous les nations o
identales. Au del
du manque de re
onnaissan
e de la valeur du savoir dans notre so
it,
e phnomne
nous parat tenir en grande partie aux di
ults s
olaires ren
ontrs par les lves
fa
e des programmes d
ousus substituant un
at
hisme s
olaire dogmatique une
omprhension intriorise et approfondie, et entranant par l mme ennui, dsintrt
ou refus. Il ne sura pas de d
rter
haque anne une Semaine de la S
ien
e ou de
mettre en pla
e des sries de
onfren
es de Culture S
ientique en n de ly
e ou
en dbut d'universit. Toutes les progressions s
olaires dstru
tures par des rformes
in
ohrentes et in
onsistantes depuis trois ou quatre d
ennies sont malheureusement
repenser, et les rformes envisager sont don
onsidrables. Compte tenu de la
perte d'exprien
e engendre dans tout le systme de formation par la dgradation
ou l'abandon de pans essentiels de l'enseignement (
al
ul, gomtrie, grammaire, orthographe, syntaxe de la langue, logique . . .), les rformes ne pourront vraisemblablement se faire que par paliers su
essifs, au moyen d'exprimentations approfondies sur
le terrain.