68

Leon n
Diffrents types de raisonnement en
mathmatiques 9

Niveau Lyce
vocabulaire de la logique : assertion, implication, quivalence, quantificateurs,
Prrequis
ngation
Rfrences [58], [179]

68.1 Introduction
La place de la logique et du raisonnement est trs importante dans les programmes du secondaire.
En effet, ltude des formes diverses de raisonnement et la ncessit de distinguer implication et
causalit sont essentielles la formation mathmatique.
Ainsi, les mathmatiques vont permettent de distinguer le vrai du faux grce la mise en place
dune dmarche logique qui mne la conclusion. Cette dmarche doit tre convaincante pour tous :
il sagit du raisonnement. Le raisonnement est le moyen de valider ou dinfirmer une hypothse et de
lexpliquer autrui. Reste savoir quel type de raisonnement il faut mener pour arriver au rsultat
attendu.

68.2 Raisonnement direct

Dfinition 68.1 Raisonnement direct. On veut montrer que lassertion P Q est vraie. On sup-
pose que P est vraie et on veut montrer qualors Q est vraie. Cest la mthode la plus frquemment
utilise.
R 68.2 Dans le cas o P est fausse alors lassertion P Q est vraie, quelque soit la valeur de vrit de Q.
 Exemples 68.3 1. Montrer que, pour tout n Z, 16n2 48n + 33 N.
2. Montrer que, pour tout x Q+
, il existe n N tel que n > x.


Dv

Rsolutions
1. Soit n Z. Puisquun produit, une somme et une diffrence dentiers naturels relatifs
sont des entiers relatifs, on en dduit que 16n2 48n + 33 est un entier relatif.
Dautre part, on a lgalit :

16n2 48n + 33 = 4(2n 3)2 3.

Puisque, n Z, 2n 3 Z et donc |2n 3| 1. Do (2n 3)2 1. Il sensuit que

lon a
4(2n 32 3 4 3 = 1.
Donc : 16n2 48n + 33 N. On a ainsi dmontr que pour tout entier relatif n, 16n2
48n + 33 N.
 10 Leon n68 Diffrents types de raisonnement en mathmatiques

2. Soit x Q+ . Il existe deux entiers p, q (p Z, q N ) tel que x = q . Comme q est un

p

entier strictement positif, q 1, alors p = xq x. En particulier, p > 0. Do 2p > P .

Il vient 2p > x. Comme 2p 0, 2p N. Donc n = 2p convient.

68.3 Raisonnement par disjonction des cas (ou cas par cas)
Dfinition 68.4 Raisonnement par disjonction des cas. Si lon souhaite vrifier une assertion P (x)
pour tous les x dans un ensemble E, on montre lassertion pour les x dans une partie A de E puis
pour tous les x nappartenant pas A. Cest la mthode de disjonction ou du cas par cas.

R 68.5 Finalement, on partitionne E en E = A E \ A.

 Exemples 68.6 1. Montrer que pour tout (a, b) N2 , ab(a2 b2 ) est divisible par 3.
2. Montrer que pour tout (x, y) R2 :
1
max(x, y) = (x + y + |x y|).
2


Dv

Rsolutions
1.
1er cas a ou b est multiple de 3. Si 3 | a alors 3 | ab(a2 b2 ) et si 3 | b alors 3 |
ab(a2 b2 ). Dans ce premier cas, lassertion est vraie.
2e cas a et b ne sont pas multiples de 3. Tout entier naturel scrit sous la forme 3k,
3k + 1, 3k + 2 o k N. Comme a et b ne sont pas multiples de 3, ils scrivent sous
la forme 3k + 1 ou 3k 1 (qui revient la forme 3k + 2).
On peut alors montrer, en distinguant les cas, que a2 b2 est divisible par 3.
Si a = 3k + 1 et b = 3k 0 + 1 avec k, k 0 N :

a2 b2 = (3k+1)2 (3k 0 +1)2 = 9(k 2 k 02 )+6(kk 0 ) = 3(3(k 2 k 02 )+2(kk 0 )).

Donc 3 | a2 b2 et par suite, 3 | ab(a2 b2 ).

Si a = 3k + 1 et b = 3k 0 1 avec k, k 0 N . . .
Si a = 3k 1 et b = 3k 0 1 avec k, k 0 N . . .
Si a = 3k 1 et b = 3k 0 + 1 avec k, k 0 N . . .
2.
1er cas x y. Comme x y, x y 0 et donc |x y| = (x y). Do :
1 1
(x + y + |x y|) = (x + y (x y)) = y
2 2
qui est bien le max entre x et y dans ce cas.
 68.4 Raisonnement par contraposition 11

2e cas x > y. Comme x > y, x y > 0 et donc |x y| = x y. Do :

1 1
(x + y + |x y|) = (x + y + (x y)) = x,
2 2
qui est bien le max entre x et y dans ce cas.
On conclut finalement que : (x, y) R2 , max(x, y) = 21 (x + y + |x y|).

R 68.7 On aurait pu prouver de la mme manire que min(x, y) = 12 (x + y |x y|).

68.4 Raisonnement par contraposition

Le raisonnement par contraposition permet de
Dfinition 68.8 Raisonnement par contraposition.
dmontrer quune implication de type (P Q) est vraie. Ce raisonnement est bas sur lquiva-
lence suivante :

lassertion (P Q) est quivalente (Q P )

Donc si lon souhaite montrer lassertion P Q , on montre en fait que si Q est vraie alors
P est vraie.

 Exemples 68.9 1. Montrer que ( > 0, |a| ) (a = 0).

2. Soit p un nombre premier. Montrer que :

k
X
(k, 0 k n, p | ai bki ) (k, 0 k n, p | ak ) (i, 0 i n, p | bi ).
i=0

Dv

Rsolutions
1. Prenons lnonc contrapos : (a 6= 0) ( > 0, |a| > ). Ceci est immdiat. En effet,
si on a a 6= 0, il suffit de prendre = |a|
2 . On a bien > 0 et |a| > 2 = .
|a|

2. Procdons par contrapose, ce qui donne dmontrer :

k
X
(k, 0 k n, p - ak ) (i, 0 i n, p - bi ) (k, 0 k n, p - ai bki ).
i=0

Si p ne divise pas tous les ak , soit r le premier indice tel que p ne divise pas ar (donc p
divise tous les prcdents). De mme, soit s le premier indice tel que p ne divise pas bs .
Alors p ne divise pas a0 br+s + + ar bs + + ar+s b0 puisquil divise tous ces termes
sauf ar bs . On utilise la proprit qui nous dit quun nombre premier divise un produit de
facteurs alors il divise lun de ses facteurs. On a donc trouv k = r + s tel que p ne divise
Pk
pas i=0 ai bki .

 12 Leon n68 Diffrents types de raisonnement en mathmatiques

68.5 Raisonnement par labsurde

Dfinition 68.10 Raisonnement par labsurde. Le raisonnement par labsurde pour montrer lim-
plication P Q repose sur le principe suivant : on suppose la fois que P est vraie et que
Q est fausse et on cherche une contradiction. Ainsi, si P est vraie alors Q doit tre vraie et donc
P Q est vraie.

 Exemples 68.11 1. Soit f : R R une fonction dfinie sur R et valeurs dans R. On suppose
que f est continue sur R mais ne sannule pas sur R. Montrer que f garde un signe constant
strict sur R.
2. Soit n 1 un entier naturel. On se donne (n + 1) rels x0 , x1 , . . . , xn de [0 , 1] vrifiant
0 x0 x1 xn 1. Montrer quil y a deux de ces rels qui sont distants de moins
de n1 .


Dv

Rsolutions
1. On veut prouver f est strictement positive sur R ou f est strictement ngative sur R .
Supposons que ce rsultat soit faux. On suppose donc :

(a R, f (a) 0) et (b R, f (b) 0).

Mais comme on sait que f ne sannule pas sur R, on est certain que f (a) < 0 et f (b) > 0
(et par consquence a 6= b.
Ainsi f est continue sur le segment dextrmits a et b et f (a) et f (b) ont des signes
opposs. Par le thorme des valeurs intermdiaires, on peut affirmer lexistence dun
rel c tel que f (c) = 0.
Ce qui est absurde car f ne sannule pas sur R. Par un raisonnement par labsurde, on a
montr que si f est continue et ne sannule pas sur R alors f garde un signe constant.
1
2. On veut montrer quil existe i tel que 1 i n et xi xi1 n. Supposons que ce
rsultat soit faux, cest--dire montrons que :
1
i {1, . . . , n} , xi xi1 > .
n
On a :
1
xn x0 = (xn xn1 ) + (xn1 xn2 ) + + (x1 x0 ) > n = 1.
n
Ce qui est absurde car la longueur de lintervalle ne peut excder 1. La proprit initiale
est donc vraie.

R 68.12 Dans la pratique, on peut choisir indiffremment entre un raisonnement par contraposition ou par lab-
surde.

68.6 Raisonnement par utilisation dun contre-exemple

 68.7 Raisonnement par rcurrence 13

Dfinition 68.13 Contre-exemple. Si lon veut montrer quune assertion du type x E, P (x)
est vraie alors pour chaque x de E, il faut montrer que P (x) est vraie.
Par contre, pour montrer que cette assertion est fausse, il suffit de trouver un x E tel que P (x)
soit fausse.
Trouver un tel x, cest trouver un contre-exemple lassertion x E, P (x) .

 Exemples 68.14
R1
1. Soit f : R R une fonction dfinie sur R et valeurs dans R. Si (f 0
et 0 f (x) dx = 0) alors f est identiquement nulle sur [0 , 1].
2. Si (un )n0 et (vn )n0 sont deux suites qui nadmettent pas de limite alors la suite (un vn )n0
nadmet pas de limite.


Dv

Solution
1. Pour montrer que cette implication est fausse, il suffit de donner un contre-exemple. On
prend la fonction f dfinie par :
(
0 si x ]0 , 1]
f (x) =
1 si x = 0
R1
On a bien 0
f (x) dx = 0 mais f nest pas identiquement nulle sur [0 , 1].
2. Pour montrer que cette implication est fausse, il suffit de donner un contre-exemple. On
prend les suites (un )n0 et (vn )n0 dfinies par : n N, un = vn = (1)n . Ces deux
suites nadmettent pas de limites. On a :

n N, un vn = (1)n (1)n = (1)2n = 1.

Donc, la suite (un vn )nN est constante gale 1 et elle a pour limite 1.

68.7 Raisonnement par rcurrence

Dfinition 68.15 Principe de rcurrence. Le principe de rcurrence permet de montrer quune
assertion P (n), dpendante de n, est vraie pour tout n N.
La dmonstration par rcurrence se droule en 3 tapes :
tape 1 - Initialisation : On prouve que P (0) est vraie.
tape 2 - Hrdit : On suppose n 0 donn avec P (n) vraie et on dmontre que lassertion
P (n + 1) est vraie.
tape 3 - Conclusion : On rappelle que, par le principe de rcurrence, P (n) est vraie pour tout
n N.
R 68.16

1. Le principe de rcurrence est bas sur la construction de N. En effet, un des axiomes pour dfinir N est
le suivant : Soit A une partie de N qui contient 0 et telle que si n A alors n + 1 A, on a : A = N.
2. La rcurrence prsente ci-dessus est une rcurrence dite simple mais il existe aussi des rcurrences
doubles, triples, etc. . ..
14 Leon n68 Diffrents types de raisonnement en mathmatiques

Dans ce cas, par exemple pour une rcurrence triple, les trois tapes deviennent :
tape 1 - Initialisation : On prouve que P (0), P (1) et P (2) sont vraies.
tape 2 - Hrdit : On suppose n 3 donn avec P (n 3), P (n 2) et P (n 1) vraies et on
dmontre que lassertion P (n) est vraie.
tape 3 - Conclusion : On rappelle que, par le principe de rcurrence triple, P (n) est vraie pour tout
n N.
Lorsquon ne sait pas lavance combien de rangs il faut supposer vrais avant den dduire lhrdit,
on utilise le principe de rcurrence forte. Dans ltape 2 dhrdit, on fixe n 0 et on suppose que,
pour tout 0 k n, P (k) est vraie et on montre que P (n + 1) est vraie. Dans la conclusion, on
invoque le principe de rcurrence forte.
 Exemples 68.17 1. Soit (Sn )n0 dfinie par :


S0 = 1



n
!

X n


Sn+1 = Sk .
k=0
k

Montrer que, pour tout n N, P (n) : Sn n! est vraie.

2. Soit (fn )n0 la suite de fonctions polynmes dfinie par :

f0 (x) = 2


f (x) = x
1


n+2 (x) = xfn+1 (x) fn (x), n N
f
 
1 1
Montrer que, pour tout n N, fn x + x = xn + xn .


Dv

Rsolutions
1. On montre que, pour tout n N, P (n) : Sn n! est vraie.
Initialisation S0 = 1 0! = 1. P (0) est vraie.
Hrdit Fixons n 0. On suppose que, pour tout 0 k n, P (k) est vraie et on veut
montrer que P (n + 1) est vraie :
n  
X n
X
n n!
Sn+1 = Sk k! car, pour tout 0 k n, Sn k!, daprs lhyp. de rcurrence.
k k!(n k)!
k=0 k=0

Do :
1
n
X X n
n!
Sn+1 = n! .
(n k)! (n k)!
k=0 k=0
1
Or, 0 k n, (n k)! 1, donc (nk)! 1. Il vient alors :

1
n
X X n
Sn+1 = n! n! 1 = n! n = (n + 1).
(n k)!
k=0 k=0
 68.8 Raisonnement par analyse-synthse 15

Donc, P (n + 1) est vraie.

Conclusion Par le principe de rcurrence forte sur N, P (n) est vraie pour tout n N.
2. En exercice ! (utiliser la rcurrence double)

68.8 Raisonnement par analyse-synthse

Dfinition 68.18 Raisonnement par analyse-synthse. Pour justifier lexistence et parfois lunicit
dune solution, on peut tre amen dterminer la forme de cele-ci (forme qui nest pas ncessaire-
ment donne dans lnonc). On raisonne par analyse-synthse.
Analyse : On suppose quil existe au moins une solution et on essaie den tirer le maximum de
renseignement la concernant. Cette tape assure parfois lunicit.
Synthse : On reporte dans le problme la ou les solutions trouves prcdemment, ce qui
permet de dterminer sil y a bien une solution au problme, puis une unique ou plusieurs.
Cette tape assure lexistence.

 Exemples 68.19 1. Montrer que toute fonction f : R R peut scrire dune seule faon sous
la forme f = p + i, o p est une fonction paire et i est une fonction impaire.
2. Recherche de lieu gomtrique, par double inclusion.
Thorme 68.20 Arc capable. Soient A et B deux points distincts du plan P fixs et R.
On note n o
# #
E = M P, (M A, M B) (mod ) .

(a) Si 0 (mod ) alors E0 = (AB) \ {A, B}.

(b) Si 6 0 (mod ) alors E est le cercle passant par A et B, priv des points A et
# #
B, tagent la droite (AT ) en A o T est un point du plan dfini par (AT , AB)
(mod ).

51.34

A
51.34 B

Dv

Dmonstration
16 Leon n68 Diffrents types de raisonnement en mathmatiques

1. Analyse : Supposons quil existe une fonction p paire et i impaire telles que f = p + i.
On a :
x R, f (x) = p(x) + i(x).
Comme p est paire et i est impaire, on en dduit que :

x R, f (x) = p(x) + i(x) = p(x) i(x).

On a donc : (
f (x) = p(x) + i(x)
.
f (x) = p(x) i(x)
Par somme, on obtient :
f (x) + f (x)
x R, p(x) = .
2
Par diffrence, on obtient :
f (x) f (x)
x R, i(x) = .
2
Pour linstant, nous avons juste prouv que si f se dcompose sous la forme f =
p + i avec p paire et i impaire alors ncessairement p et i sont dfinies partir de f
comme prcdemment. Elles sont donc uniques mais leur existence nest pas encore
dmontre.
Synthse : Pour toute fonction f : R R, dfinissons partir de f deux fonctions p et
i par les relations suivantes :

f (x) + f (x) f (x) f (x)

x R, p(x) = et i(x) = .
2 2
On vrifie que cest bien une solution du problme pos :

f (x) + f (x) f (x) f (x)

x R, p(x) + i(x) = + = f (x)
2 2
f (x) + f (x)
x R, p(x) = = p(x),
2
p est donc bien une fonction paire.

f (x) f (x)
x R, i(x) = = i(x),
2
i est donc bien une fonction impaire. Ceci prouve quon a bien lexistence dune
solution et exactement dune seule solution daprs la partie synthse.
Conclusion : Par analyse-synthse, on a dmontr que pour toute fonction f : R R, il
existe un unique couple (p, i) tel que f = p + i avec p est une fonction paire et i est une
fonction impaire.
2. (a) immdiat
(b)
 68.9 Propositions de questions poses par le Jury 17

# #
Analyse : Soit M P \ {A, B} tel que (M A, M B (mod ). Soit O le centre
du cercle C circonscrit (intersection des mdiatrices) au triangle M AB. On a,
daprs le thorme de langle au centre :
# # # #
(OA, OB) = 2(M A, M B) 2 (mod 2).

Dans le triangle ABO, on a :

# # # # # #
(AB, AO) + (BO, BA) + (OA, OB) (mod 2).

Comme ABO est un triangle isocle, on a que :

# #
(AB, AO) (mod ).
2
Autrement dit, la tangente au cercle en A fait un angle avec (AB). Donc M
appartient au cercle passant par A et B de centre O, tangent la droite (AT ) en
# #
A, o T est un point du plan dfini par (AT , AB) (mod ). Do E
C \ A, B.
# #
Synthse : Rciproquement, soit M C \ {A, B}. On note 0 = (M A, M B).
Daprs ce qui prcde,
# # # #
(AB, AO) 0 (mod ) et (AB, AO) (mod ).
2 2
Do = 0 et M E . Ainsi, C \ {A, B} \ E .
Finalement, E = C \ {A, B}.

68.9 Propositions de questions poses par le Jury

1. On estime 1100000 le nombre dhabitants dans la mtropole lilloise. On suppose que per-
sonne ne possde plus de 800000 cheveux sur sa tte. Que peut-on affirmer ?

2. Dmontrer, par labsurde,
n que 2 estoirrationnel. On pourra supposer que 2 Q et dfinir

lensemble A = n N , n 2 N .
  2
2
3. Peut-on calculer 2 ?

4. Existe-il ,
/ Q tel que Q ?
5. Montrons par rcurrence sur n 1 que dans toute boite de n crayons de couleur, tous les
crayons sont de la mme couleur.
Initialisation : La proprit est vraie pour n = 1.
Hrdit : Supposons la proprit vraie au rang n 1. On considre alors une boite de
(n + 1) crayons de couleur, que lon numrote de 1 n + 1. En enlenvant le dernier
crayon, on obtient une sous-boite qui, par hypothse de rcurrence, ne contient que des
crayons de la mme couleur. De mme en enlevant le premier crayon. Les couleurs des
deux sous-boites sont identiques, car il sagit de la couleur des crayons communs aux
deux sous-boites. Do le rsultat.
O est lerreur ?
18 Leon n68 Diffrents types de raisonnement en mathmatiques
 Bibliographie

[1] Problme des sept ponts de Knigsberg, Wikipdia, lencyclopdie libre.

[2] C. L E B OT, Thorie des graphes, 2006, http://blog.christophelebot.fr/
wp-content/uploads/2007/03/theorie_graphes.pdf.
[3] Coloration des graphes, Apprendre-en-ligne, http://www.apprendre-en-ligne.
net/graphes-ancien/coloration/sommets.html
[4] O. G ARET, Exemples de problmes de graphes, http://iecl.univ-lorraine.
fr/~Olivier.Garet/cours/graphes/graphes-documents_d_
accompagnement.pdf.
[5] E. S IGWARD & al., Odysse Mathmatiques Terminale ES/L, Hatier, 2012.
[6] Graphes probabilistes, Terminale ES spcialit. http://mathadoctes.free.fr/TES/
graphe/f4_graphe.PDF
[7] G. C OSTANTINI, Probabilits (discrtes), Cours de Premire S, URL : http://
bacamaths.net.
[8] P. R IBEREAU, Cours 5 Probabilits : Notion, probas conditionnelles et indpendance, URL :
http://www.math.univ-montp2.fr/
[9] P. D UVAL, Probabilits, TS. URL : http://lcs.werne.lyc14.ac-caen.fr/
~duvalp
[10] G. C OSTANTINI, Probabilits : Gnralits, conditionnement, indpendance, Cours de Pre-
mire S. URL : http://bacamaths.net.
[11] M. L ENZEN, Leon no 3 : Coefficients binomiaux, dnombrement des combinaisons, formule
du binme. Applications., 2011, URL : http://www.capes-de-maths.com/index.
php?page=leconsNEW
[12] G. C ONNAN, Une anne de mathmatiques en Terminale S, Ch. 14, 2009-2010, URL : http:
//tehessin.tuxfamily.org
[13] G. C OSTANTINI, Loi binomiale, URL : http://bacamaths.net
[14] C. S UQUET, Intgration et Probabilits Elmentaires, 2009-2010. URL : http://math.
univ-lille1.fr/~ipeis/
[15] L. L UBRANO & al., Mathmatiques, BTS Industriels - Groupement B et C, Dunod, 2011.
[16] G. C OSTANTINI, Lois de probabilits continues. URL : http://bacamaths.net.
[17] J.-P. G OULARD, Lois de probabilits continues, TS, 2014-2015.
http://blog.crdp-versailles.fr/jpgoualard/public/
TS-2014-2015-cours-loiscontinues.pdf.
[18] Probabilits 3 : Loi uniforme sur [a; b], Lyce de Font Romeu. http://www.
lewebpedagogique.com/cerdagne/files/2013/02/02-Loi-uniforme.
pdf
[19] Loi uniforme sur [a; b], IREM de Toulouse. URL : http://www.irem.ups-tlse.fr/
spip/IMG/pdf_LOI_UNIFORME.pdf
[20] P. TAQUET & al., Mathmatiques, BTS Groupement A, Hachette Technique, 2010.
20 BIBLIOGRAPHIE

[21] C. S UQUET, Initiation la Statistique, 2010. http://math.univ-lille1.fr/

~suquet/Polys/IS.pdf.
[22] J.-F. D ELMAS, Modlisation stochastique, Cours de M2, 2009. URL : http://cermics.
enpc.fr/~delmas/Enseig/mod-stoch.pdf
[23] L.-M. B ONNEVAL, Chanes de Markov au lyce, APMEP no 503, 2013. URL : http://
publimath.irem.univ-mrs.fr/biblio/AAA13018.htm
[24] Marche alatoire, IREM de Franche-Comte. URL : http://www-irem.
univ-fcomte.fr/download/irem/document/ressources/lycee/marche/
marche-aleatoire.pdf.
[25] Marches sur Z, culturemath.ens.fr, URL : http://culturemath.ens.fr/maths/
pdf/proba/marchesZ.pdf
[26] Contributeurs Wikipedia, Marche alatoire, Wikipdia, lencyclopdie libre, 2014.
[27] Marche au hasard dans les rues de Toulouse, URL : http://mappemonde.mgm.fr/
actualites/M_toulouse2.html
[28] R. N OEL, Statistiques descriptives, http://amphimaths.chez-alice.fr/N1/
stats_desc_poly.pdf
[29] J. L EVY, Sries statistiques, URL : http://jellevy.yellis.net.
[30] P. B RACHET, Statistiques : rsum de cours et mthodes, Premire S. http://www.
xm1math.net/seconde/seconde_chap9_cours.pdf.
[31] Contributeurs de Wikipdia, Srie statistique deux variables, Wikipdia.
[32] G. C OSTANTINI, Sries statistiques deux variables. URL : http://bacamaths.net.
[33] A. G UICHET, Prpa ECS - Lyce Touchard, Chap 1. 1.2. URL : http://alainguichet.
mathematex.net/ecs-touchard/wiki.
[34] Y. D UCEL & B. S AUSSEREAU, Partie I : Du thorme de Moivre-Laplace (TML) au
Thorme-Limite Central (TLC), Journe acadmique Terminale , Besanon, octobre
2012. http://bsauss.perso.math.cnrs.fr/IREM_FC_GrouProbaStat/
Terminale-I_JourneeOctobre-2012_DIAPORAMA_120929/DIAPORAMA-I_
JourneeTerminale_octobre-2012.pdf.
[35] R. BARRA & al., Transmath 2nde, Nathan, 2010.
[36] P. M ILAN, Statistiques et estimation, Terminale S.
[37] IREM Aix-Marseille, Groupe Proba-Stats, Estimation : intervalle de fluctuation et de
confiance, Mars 2012. http://www.irem.univ-mrs.fr/IMG/pdf/estimation_
nouveau_programme2012.pdf
[38] Intervalle de fluctuation, intervalle de confiance, Animation nouveaux programmes
de mathmatiques Terminale STI2D - Acadmie de Crteil, jeudi 3 mai 2012.
http://maths.ac-creteil.fr/IMG/pdf/intervalles__fluctuation_
confiance_sti2d-stl_1_.pdf
[39] N. DAVAL, Statistiques infrentielles : estimation. BTS Domotique. URL : http://
mathematiques.daval.free.fr
[40] Chapitre 9 : Estimations, Lyce Rostand de Mantes.
BIBLIOGRAPHIE 21

[41] P. M ILAN, Multiples. Division euclidienne. Congruence, Terminale S Sp. URL :

http://www.lyceedadultes.fr/sitepedagogique/documents/math/
mathTermSspe/01_Multiples_division_euclidienne_congruence/01_
cours_multiples_division_euclidienne_congruence.pdf.
[42] Contributeurs de Wikipdia, Liste des critres de divisibilit, Wikipdia.
[43] C. PARFENOFF, Division euclidienne, division dcimale, Classe de Sixime. URL : http:
//www.parfenoff.org
[44] J. O NILLON, Vestiges dune terminale S Rsolution gnrale des quations diophantiennes.
URL : http://tanopah.com.
[45] Z AUCTORE, quations diophantiennes du premier degr, 3 octobre 2007. http://www.
mathforu.com/pdf/equation-diophantienne-premier-degre.pdf
[46] D.-J. Mercier, CAPES/AGREG Maths, Prparation intensive lentretien. URL : http://
megamaths.perso.neuf.fr/exgeo/preparationintensive.html
[47] F. H ERBAUT, Souvenirs doraux du CAPES 2011, Acadmie de Nice. http://fabien.
herbaut.free.fr/oraux/oraux_2011_v1.pdf.
[48] Contributeurs de Wikipdia, quation diophantienne ax + by = c, Wikipdia.
[49] P. M ILAN, Les nombres premiers, Terminale S Sp, 22 janvier 2013. URL : http://www.
lyceedadultes.fr/sitepedagogique/documents/math/mathTermSspe/
03_Nombres_premiers/03_cours_les_nombres_premiers.pdf
[50] J.-P. B ELTRAMONE & al., Dclic mathmatiques, TS, Enseignements spcificique et de spcia-
lit, Hachette ducation, 2012.
[51] D.-J. M ERCIER, Fondamentaux dalgbre et darithmtique, EPU, Publibook, 2010.
[52] B. B ERTINELI & Y. S CHUBNEL, Leons de mathmatiques, CRDP de Franche-Cont, 2001.
[53] G. T ENENBAUM & M. M ENDS -F RANCE, Les nombres premiers, PUF Editions, 2000.
[54] X. D ELAHAYE, Congruences, Terminale S. URL : xmaths.free.fr
[55] J.-P. Q UELEN, Petit thorme de Fermat et codage RSA, 15 janvier 2011.
[56] M. L ENZEN, Leon no 14 : Congurences dans Z. Anneau Z/nZ, 2011. www.
capes-de-maths.com/lecons/lecon14.pdf
[57] Contributeurs de Wikipdia, quations du second degr, Wikipdia.
[58] C. B OULONNE, Notes de cours, M101 : Fondements de lalgbre, L1 Mathmatiques, 2006-
2007.
[59] quations du second degr une inconnue. URL : http://ww2.ac-poitiers.fr/
math_sp
[60] G. B ONTEMPS & al., Fractale, Maths 1re S, Bordas, Programme 2001.
[61] G. C OSTANTINI, Nombres complexes, Terminale S. URL : http://bacamaths.net.
[62] G. C ONNAN, Une anne de mathmatiques en Terminales S, Ch. 1, 2009-2010. http://
tehessin.tuxfamily.org
[63] D. F ELDMANN, 21. Gomtrie analytique. URL : http://denisfeldmann.fr/PDF/
21ganal.pdf.
[64] Contributeurs de Wikipdia, Base orthormale, Wikipdia.
22 BIBLIOGRAPHIE

[65] Coordonnes Gographiques, MPS. URL : http://www.mimaths.net/IMG/pdf/

coorgeo.pdf.
[66] G. C OSTANTINI, Exercices de Gomtrie Analytique. URL : http://bacamaths.net.
[67] J. O NILLON, Gomtrie analytique : un regard dun autre temps, 2007. http://tanopah.
jo.free.fr/ADS/bloc13/geoanalytique.pdf
[68] Contributeurs de Wikipdia, Gomtrie analytique, Wikipdia.
[69] Contributeurs de Wikipdia, Reprage dans le plan et dans lespace, Wikipdia.
[70] Contributeurs de Wikipdia, Systme de coordonnes, Wikipdia.
[71] D. ROBERT, Mathmatiques en Terminale ES, Enseignement de spcialit, 2012-2013. http:
//perpendiculaires.free.fr/wp-content/TESspe-2012-2013.pdf.
[72] Devoir maison 5, Chiffrement de Hill, Sp TS, Lyce Victor Duruy - Mont
de Marsan. http://mathstsduruy.fr/wp-content/uploads/2013/04/dev5_
Sp%C3%A9_maison_2012.pdf.
[73] Chapitre 12 : Proportionnalit. http://maths.vivien.free.fr/documents/
Cours/chapitre6D1-Proportionnalite.pdf.
[74] Chapitre 13 : Proportionnalit. http://www2.ac-lyon.fr/etab/colleges/
col-69/jgiono/IMG/pdf/cours_Proportionnalite.pdf
[75] Thorme de Thals - Dmonstration. URL : http://mathadoc.sesamath.net/
Documents/college/3eme/3thales/demoaire.PDF
[76] S. PASQUET, Proportionnalit, Classe de 6me, 5me, 4me et 3me. http://mathweb.
fr.
[77] J.-G. C UAZ, Pourcentage, Premire L Math-Info. http://francois.
schulhof.perso.neuf.fr/cours_maths/lycee/statistiques/cours_
pourcentage.pdf
[78] Contributeurs de Wikipdia, Pente (topographie), Wikipdia.
[79] Pourcentages, CNED Acadmie en Ligne. URL : http://www.academie-en-ligne.
fr/Ressources/7/MA11/AL7MA11TEPA0012-Sequence-02.pdf
[80] Intrts simples. http://mathadoc.sesamath.net/Documents/mp/bacpro/
bacgestion/int_simp.PDF
[81] A. I MONE, Systmes dquations, dinquations, Troisime. http://albertimone.
voila.net/Brevet/syst.3.html
[82] S. PASQUET, Systmes dquations et inquations affines, Premire ES. http://mathweb.
fr.
[83] J. O NILLION, Systmes dinquations, rgionnement du plan. URL : http://tanopah.
jo.free.fr/seconde/regionalpha.php
[84] Programmation linaire, http://extranet.editis.com/it-yonixweb/images/
500/art/doc/8/85a981cb4526acd3393830353930393136343535.pdf
[85] S. G OUIN & al., Dimathme TSTT (Action et communication commerciales administratives),
Programme 1999, Didier.
[86] N. N GUYEN & al., Maths MPSI, Ellipses, 2e dition, 2010.
BIBLIOGRAPHIE 23

[87] S. M EHL, Droites du plan, tude analytique lmentaire. URL : http://serge.mehl.

free.fr/anx/dtes_p.html
[88] C. PARFENOFF, Droites parallles. Droites scantes, Seconde. URL : http://www.
parfenoff.org/pdf/seconde/geometrie/2de_Droites_paralleles_
Droites_secantes.pdf
[89] D. P ERRIN, Droites du plan. URL : http://www.math.u-psud.fr/~perrin/
CAPES/geometrie/droites2012.pdf.
[90] M. H AMED, Leon 24 : Droites du plan. http://michael.hamed.perso.sfr.fr/
acces/Le%C3%A7on%2024%20-%20Droites%20du%20plan.pdf
[91] P. L UX, Droites et plans dans lespace. URL : http://pierrelux.net/documents/
cours/2/espace.pdf
[92] J.-L. ROUGET, Droites et plans de lespace. URL : http://www.maths-france.fr/
Terminale/TerminaleS/FichesCours/DroitesPlansEspace.pdf
[93] C. ROSSIGNOL, Droites et plans de lespace. URL : http://www.ac-grenoble.fr/
lycee/vincent.indy/IMG/pdf/droites_plans_espace.pdf.
[94] Droites remarquables dans un triangle, 4e 3e, Playermath. URL : http://www.
playermath.com/images/pdf/f4gmethogeo_corr03.pdf.
[95] S. D UCHET, Droites remarquables dans un triangle, 4e. URL : http://epsilon.2000.
free.fr/4C/4C-02.pdf
[96] Contributeurs de Wikipdia, Droite dEuler, Wikipdia.
[97] Contributeurs de Wikipdia, Cercle, Wikipdia.
[98] B. S ICARD, quations cartsiennes dans le plan et dans lespace. URL : http:
//math.sicard.free.fr/1S/equations_cartesiennes/equations_
cartesiennes.pdf
[99] M. C UAZ, Gomtrie dans lespace, solides de lespace. URL : http://www.hexomaths.
fr/fichiers/GeometrieespaceCOURS.pdf
[100] Contributeurs de Wikipdia, Solide gomtrique, Wikipdia.
[101] T. E VEILLEAU, Les solides de Platon. URL : http://therese.eveilleau.
pagesperso-orange.fr/pages/truc_mat/textes/platon.htm.
[102] S. D ELAUNAY, M302 : Cours de Gomtrie I, 2009-2010.
[103] C. B OULONNE, Notes de cours, M103 : Fondements de lanalyse 2, 2006-2007.
[104] P. B RACHET, Produit scalaire : Rsum de cours et mthodes. URL : http://www.
xm1math.net/premiere_s/prem_s_chap5_cours.pdf
[105] A. L ITARD, Produit scalaire. URL : http://maths1s.chez.com/1S/
produitscalaire.pdf
[106] M. C UAZ, Produit scalaire. URL : http://mathematiques.lfsl.free.fr/IMG/
pdf/ProduitscalaireRESUME.pdf
[107] C. ROSSIGNOL, Produit scalaire dans lEspace, Anne scolaire 2014/2015. http://www.
ac-grenoble.fr/lycee/vincent.indy/IMG/pdf/produit_scalaire.pdf
[108] E. S UQUET, Thorme de Thals, Troisime. URL : http://www.automaths.com/3/
cours/3_Thales_C.pdf.
24 BIBLIOGRAPHIE

[109] Proprit de Thals, 3e. URL : http://melusine.eu.org

[110] Thorme de Thals - Dmonstration. URL : http://mathadoc.com.
[111] Contributeurs de Wikipdia, Thorme de Pappus, Wikipdia.
[112] Contributeurs de Wikipdia, Thorme de Desargues, Wikipdia.
[113] J. H AMON, Leon 24 - Thorme de thals. Applications la gomtrie du plan et de lespace.
URL : http://jaimelesmaths.voila.net/Capes/Lecon_24.pdf
[114] E. S UQUET, Trigonomtrie, Troisime. URL : http://www.automaths.com/3/
cours/3_Trigonometrie_C.pdf
[115] G. C OSTANTINI, Trigonomtrie et fonctions circulaires, Premire S. http://bacamaths.
net
[116] G. C OSTANTINI, Trigonomtrie, relations mtriques dans un triangle. URL : http://
bacmaths.net
[117] Contributeurs de Wikipdia, Thorme de Pythagore, Wikipdia.
[118] M. L ENZEN, Leon no 32 : Relations mtriques dans un triangle. Trigonomtrie. Applications.
URL : http://capes-de-maths.com
[119] P. D EBART, Constructions gomtriques au collge. URL : http://debart.
pagesperso-orange.fr
[120] C OJEREM, Des situations pour enseigner la gomtrie 1re/4e - Guide mthodologique. De
Boeck, 2000.
[121] G. C OSTANTINI, Barycentre dun systme pondr, Premire S. URL : http://
bacamaths.net.
[122] P. B RACHET, Barycentres : Rsum de cours et mthodes. URL : http://lycee.
lagrave.free.fr/IMG/pdf/doc_barycentre.pdf
[123] X. D ELAHAYE, Homothties, translations, rotations - Premire S. URL : http://x.
maths.free.fr/1S/cours/cours.php?nomcours=1Shomtcours&page=01.
[124] S. D ELAUNAY, M302 : Cours de Gomtrie I, 2009-2010.
[125] C. PARFENOFF, Droites scantes, perpendiculaires et parallles. URL : http://www.
parfenoff.org/pdf/6e/6e_%20perpendiculaires_paralleles.pdf
[126] P. L UX, Produit scalaire et Orthogonalit dans lespace. URL : http://pierrelux.
net/documents/cours/TS_2012/produit_scalaire/produitscalaire_
orthogonalite.pdf
[127] M ATHOUS, Orthogonalit de droites et de plans. URL : http://mathtous.perso.sfr.
fr/articles/Orthogonalite%20de%20droites%20et%20de%20plans.pdf
[128] G. C OSTANTINI, Les suites, Premire S. URL : http://bacamaths.net
[129] X. D ELAHAYE, Suites numriques, limites. Premire S. URL : http://xmaths.free.
fr/1S/cours/cours.php?nomcours=1Ssuitcours&page=01.
[130] M. C UAZ, Suites arithmtico-gomtriques.
[131] Suites arithmtiques, suites gomtriques, CNED Acadmie en Ligne.
URL : http://www.academie-en-ligne.fr/Ressources/7/MA11/
AL7MA11TEPA0012-Sequence-08.pdf
[132] G. C OSTANTINI, Suites numriques, Terminale S. URL : http://bacamaths.net.
BIBLIOGRAPHIE 25

[133] tude de suites. URL : http://mathsplp.creteil.iufm.fr/ht_works/

exposes/suites/suites.htm
[134] G. C OSTANTINI, Suites de nombres rels, Terminale S. http://bacmaths.net
[135] P. B RACHET, Suites : Rsum de cours et mthodes. URL : http://www.xm1math.net/
premiere_s/prem_s_chap4_cours.pdf
[136] T. V EDEL, Suites dfinies par rcurrence, Terminales. URL : amemath.o2switch.net/
ame_mathematique2/cours_tes/suiterec2bis.pdf.
[137] A. S AMIER & C. R ASSON, Suites, Leon de Math, S2, Master 1 Ens. Math, 2010-2011.
[138] S. PASQUET, Ainsi de suite. URL : http://mathweb.fr.
[139] Dfinition dune suite rcurrente laide de la fonction ln , IREM de Lyon, Groupe UPO Lyon.
URL : http://math.univ-lyon1.fr/irem/IMG/pdf/lnsuite.pdf
[140] X. D ELAHAYE, Suites numriques, Cours et exercices, Premire S. URL : http://xmaths.
free.fr/1S/cours/cours.php?nomcours=1Ssuitcours&page=01.
[141] G. C OSTANTINI, Les limites, Premire S. URL : http://bacamaths.net.
[142] X. D ELAHAYE, Limites, Terminale S. URL : http://xmaths.free.fr/TS/cours/
cours.php?nomcours=TSlimfcours&page=01.
[143] G. C OSTANTINI, Continuit, Cours de Terminale S. URl : http://bacamaths.net.
[144] G. L EAHPAR, Image dun intervalle par une fonction continue, image dun segment. Conti-
nuit de la fonction rciproque dune fonction continue strictemnet monotone sur un intervalle.
Leon no 60 du CAPES 2010. URL : http://leahpar.etnalag.free.fr/capes.
html.
[145] G. C OSTANTINI, Fonctions drivables, Cours de Terminale S. URL : http://bacamaths.
net
[146] X. D ELAHAYE, Drive, Terminale S, URL : http://xmaths.free.fr/TS/cours/
cours.php?nomcours=TSdericours&page=01
[147] G. C OSTANTINI, Exercices rdigs sur les exponentielles et les logarithmes. URL : http:
//bacamaths.net.
[148] G. C OSTANTINI, Fonctions logarithmes, Cours de Terminale S. URL : http://
bacamaths.net.
[149] J.-E. V ISCA, Les croissances compares. URL : http://visca.pagesperso-orange.
fr/html/aide/comparees.pdf
[150] R. G ALANTE, Croissance compare des fonctions x 7 ex , x 7 xa et x 7 ln x au voisinage
de +. Application. URL : http://leahpar.etnalag.free.fr/images/cours/
analyse_oral/croiss_comp.pdf
[151] T. C UESTA, Cours de mathmatiques BTS IRIS. URL : http://cuestamath.perso.
sfr.fr/cours_bts_iris.pdf
[152] G. C OSTANTINI, Calcul intgral, Cours de Terminale S. URL : http://bacamaths.net.
[153] Leon 84 : Calcul approch dintgrales, Universit Claude Bernard-Lyon I, CAPES de Ma-
thmatiques : Oral, Anne 20042005. URL : http://math.univ-lyon1.fr/capes/
IMG/pdf/integrales.pdf.
26 BIBLIOGRAPHIE

[154] M. L ENZEN, Diverses mthodes de calcul approch dintgrales dfinies. Lexpos pourra tre
illustr par un ou des exemples faisant appel lutilisation dune calculatrice., 2011. URL :
http://capes-de-maths.com
[155] F. T HIRIOUX, BTS Electronique, Cours de Mathmatiques, Lyce Ren Perrin, Ugine. https:
//drive.google.com/file/d/0BwDBipKCbVR0ZzRVd3RvVGJxb00/view.
[156] C. C HERRUAU & F. C HERRUAU, Maths, BTS Groupement A, Contrle Continue Ellipses.
[157] G. C OSTANTINI, Exercices sur les quations diffrentielles, Terminale S. URL : http://
bacamaths.net.
[158] M. C UAZ, Plan dtude dune fonction numrique, Terminale S. URL : http://mathscyr.
free.fr.
[159] X. D ELAHAYE, Exercices dtude de fonctions, Terminale ES. URL : http://xmaths.
free.fr/TES/exos/index.php
[160] G. C OSTANTINI, tude de la fonction tangente, DM de Terminale S. URL : http://
bacamaths.net.
[161] Contributeurs de Wikipdia, Transformation de Laplace, Wikipdia.
[162] M.-N. S ANZ & al., Physique, Tout-en-Un, PSI-PSI*, 2e anne, Dunod, 2010.
[163] G. C ONNAN, Une anne de MAPLE en MPSI, Ch. 4, 2011-2012. URL : http://
download.tuxfamily.org/tehessinmath/les%20pdf/PolyMaple10.pdf.
[164] Dissections de polygones, la construction de Henry Ernest Dudeney (1857-1930),
URL : http://www-cabri.imag.fr/abracadabri/Coniques/Panoplie/
Dissect/dudeney.htm.
[165] URL : http://www.maths.ac-aix-marseille.fr/debart/college/aire_
college_classique.html.
[166] Contributeurs de Wikipdia, Mdiane (gomtrie), Wikipdia.
[167] APMEP, Dmontrer par les aires, Journe rgionale de Grenoble, 17 mars 2004.
[168] Contributeurs de Wikipdia, Thorme de Pick, Wikipdia.
[169] Contributeurs de Wikipdia, Algorithmique, Wikipdia.
[170] A LGOBOX, Gallerie dalgorithmes. URL : http://www.xm1math.net/algobox/
gallerie.html.
[171] Contributeurs de Wikipdia, Flocon de Koch, Wikipdia.
[172] F. BAYART, Code Csar. URL : http://www.bibmath.net/crypto/substi/
cesar.php3
[173] Codage en code Csar. URL : http://www.ac-noumea.nc/maths/spip.php?
article295.
[174] J. H ERNANDO, Activits sur un tableur. URL : http://juliette.hernando.free.
fr/tableur.php.
[175] X. D ELAHAYE, Utilisation dun tableur. URL : http://xmaths.free.fr/tice/
tableur/
[176] Rgression linaire laide dun tableur Excel. URL : http://omareli.com/pdf/
linear_fit_excel.pdf?ckattempt=1
BIBLIOGRAPHIE 27

[177] C. B OULONNE, Les maths en stage, 2010-2012. URL : https://cboumaths.files.

wordpress.com/2012/09/mathsenstage.pdf
[178] G. C ONNAN, Faire des mathmatiques au lyce en programmant, 2010. URL : http:
//download.tuxfamily.org/tehessinmath/les%20pdf/PafAlgo.pdf.
[179] M.-C. DAVID & B. P ERRIN -R IOU, Raisonnements. URL : http://wims.unice.
fr/wims/wims.cgi?session=B0151B82A7.4&+lang=fr&+module=U1%
2Flogic%2Fdoclogic.fr