Vous êtes sur la page 1sur 156

Synthse de trigonomtrie

Yvan Haine - Pierre Joris


Aot 2012

Cette synthse de trigonomtrie a t rdige suite une suggestion de M. le Professeur


E. Delhez.
Elle est destine aider les tudiants prparer lexamen dadmission aux tudes dingnieur
civil.
Son objectif est de proposer une synthse des dfinitions et proprits utiles. Aucun rsultat
nonc nest dmontr. Si un tudiant souhaite obtenir une preuve des noncs annoncs,
nous le renvoyons ses cours de lenseignement secondaire.
Il ne faut pas considrer ce document comme une bible ! Dune part, il ne sagit pas de
notes de cours. Les notions ne sont pas toujours abordes dans le mme ordre que lors de leur
approche en classe. Dautre part, il est certainement pourvu de nombreux dfauts : lacunes,
imprcisions, manque dexemples ou dexercices, illustrations omises, lapsus ou fautes de
frappe,...
Une tude par coeur du contenu de ce recueil nest pas une bonne mthode pour se
prparer et ne garantit en rien la russite de lexamen.
Une annexe concernant la logique et diffrents type de dmonstrations a t ajoute
ce document ddi la trigonomtrie. Bien que ne faisant pas explicitement partie du
programme de lexamen dadmission, quelques notions de logique mathmatique permettent
de mieux comprendre les notations utilises lors de la rsolution dexercices.
La pratique de la rsolution dexercices et de problmes est galement indispensable. Nous
renvoyons aux rsolutions proposes par les examinateurs publies ailleurs et la dernire
annexe de ce document. Nous savons que les rsolutions publies ici ne sont pas ncessairement
les plus efficaces ou les plus lgantes. Elles mriteraient une relecture supplmentaire que
nous navons pas le temps de faire aujourdhui.
Toutes nos excuses pour les dfauts figurant dans ces notes. Nous esprons profiter des
commentaires et remarques des utilisateurs pour perfectionner cette premire version pour
les annes ultrieures.
Tous nos remerciements au Professeur Delhez pour ses relectures et ses nombreux conseils
aviss.

Yvan Haine, Pierre Joris

Chapitre 1
Dfinitions
1.1
1.1.1

Notions de base
Angles et mesures dangles

Angles orients
Un angle orient de sommet O est un couple de 2 demi-droites de mme origine ([OA, [OB).
Les deux demi-droites sont appeles les cts de langle.

On distingue deux sens :


le sens positif ou trigonomtrique qui est le sens contraire aux aiguilles dune montre
le sens ngatif qui est le sens dans lequel tournent les aiguilles dune montre.
B
+

A
3

1.1. NOTIONS DE BASE

CHAPITRE 1. DFINITIONS

Lamplitude dun angle se mesure en degrs ou en radians. Elle est prcde du signe +
si langle orient est de sens positif et du signe dans lautre cas.

Angles particuliers
Langle plat est langle dont les cts sont dans le prolongement lun de lautre.
Langle droit est la moiti dun angle plat.
Langle nul est langle dont les cts sont superposs.

Degr
On mesure lamplitude dun angle trac sur une feuille laide dun rapporteur. Le degr
est lunit de mesure dangle tel que langle plat a une amplitude de 180. Par consquent,
langle droit a une amplitude de 90.
Les sous-units du degr sont la minute () et la seconde(") : 60 = 1 et 60" = 1.
Lorsquun angle est exprim en degrs, minutes, secondes (DMS), on parle aussi de degrs
sexagsimaux. Parfois, on utilise aussi les degrs dcimaux (DD) : il sagit dune criture dans
laquelle la partie non entire est crite sous forme dcimale.

Exemple
315 = 3,25

Remarque
Savoir convertir des amplitudes DMS en DD et inversement.

Le radian

Dfinition

Le radian est lamplitude dun angle au centre dun cercle qui intercepte un arc de longueur
gale au rayon du cercle.
4

CHAPITRE 1. DFINITIONS

1.1. NOTIONS DE BASE


r
1 rad
O

Remarques

Cette dfinition est indpendante du rayon du cercle et de langle au centre choisis.


Lorsque lamplitude dun angle est exprime en radians, on fait gnralement suivre le
nombre de labrviation "rad". Si un angle a une amplitude qui est une fraction ou un multiple
de , on omet labrviation "rad".
Conversion degrs-radians
180
Un radian quivaut
.

Les conversions dangles remarquables sont dans le tableau suivant :


Degres
Radians

0 30 45 60 90 180

0

6 4 3 2

Remarque
On vitera de mlanger les deux units de mesures dans une mme expression : ainsi, on

ncrira jamais x = 30+ 2k mais bien x = + 2k ou encore x = 30+ k360.


6
Angles associs
Deux angles sont opposs ssi leur somme est gale 0. Les angles et sont opposs.
Deux angles sont complmentaires ssi leur somme est un angle droit. Les angles et
90 sont complmentaires.
Deux angles sont supplmentaires ssi leur somme est un angle plat. Les angles et
180 sont supplmentaires.
Deux angles sont anticomplmentaires ssi la valeur absolue de leur diffrence est un
angle droit. Les angles et 90+ sont anticomplmentaires.
5

1.1. NOTIONS DE BASE

CHAPITRE 1. DFINITIONS

Deux angles sont antisupplmentaires ssi la valeur absolue de leur diffrence est un
angle plat. Les angles et 180+ sont antisupplmentaires.

1.1.2

Longueur dun arc et aire dun secteur

Proprits

La longueur dun cercle de rayon R vaut 2R et son aire vaut R2 .

Consquences
$

'

Un arc dun cercle de rayon R a pour longueur R o est lamplitude en radians


de langle au centre interceptant larc.
Un secteur dun cercle de rayon R a pour aire

R2
o est lamplitude dun
2

angle au centre interceptant larc du secteur.

&

Exercices
1. On considre la rosace ci-dessous o les points A, B, C, D, E et F sont les sommets
dun hexagone rgulier inscrit dans un cercle dun rayon de 3 cm.
C

(a) Calculer la longueur du plus petit arc AB.


(b) Calculer la longueur du plus petit arc BF .
(c) Calculer la longueur totale de la rosace.
(d) Calculer laire de la rosace.
6

CHAPITRE 1. DFINITIONS

1.2. CERCLE TRIGONOMTRIQUE

2. Simon et Lise mangent ensemble deux pizzas, une grande de 25 cm de diamtre et


une petite de 20 cm de diamtre. Simon rclame deux tiers de la grande pizza. Quelle
portion de la petite pizza Lise doit-elle manger pour avoir la mme quantit que son
frre ?
3. Les villes de Saint-Denis (le de la Runion) et de Victoria (le Mah, Seychelles) sont
situes sur le mme mridien avec pour latitudes respectives 20,52 Sud et 4,38 Sud.
Calculer la distance entre ces deux villes en suivant le mridien sachant que le rayon
terrestre vaut 6400 km.
4. Des bruxellois partent en vacances vers le sud de lEspagne en suivant le mme mridien
et parcourent 2500 km. Sachant que la latitude de Bruxelles est de 51N et que le rayon
de la Terre est de 6400 km, calculer la latitude du lieu de vacances ?
5. Un satellite gostationnaire a une trajectoire circulaire autour de la Terre une altitude
de 36 000 km ; il reste toujours la verticale dun point fixe sur la Terre. En supposant
que le rayon terrestre est de 6400 km, calculer la longueur dune rvolution autour de
la Terre ainsi que la vitesse du satellite.
6. Vers 284-195 avant J.C., le mathmaticien et astronome grec ratosthne fut le premier
valuer correctement le rayon de la Terre. Il choisit les villes de Syne (point A) et
dAlexandrie (point B) se trouvant sur le mme mridien et distantes de 800 km. Il a
constat que lorsque le Soleil est la verticale de Syne, lombre dun oblisque de 1 m
plant verticalement en B mesure 12,6 cm. Dterminer le rayon terrestre.

1.2
1.2.1

Cercle trigonomtrique
Dfinitions

Cercle trigonomtrique

Dans le plan muni dun repre orthonorm (O; OI, OJ), le cercle trigonomtrique est le
cercle de centre O, de rayon 1.

1.2. CERCLE TRIGONOMTRIQUE

CHAPITRE 1. DFINITIONS

J
I

I
I

III

IV

Le cercle trigonomtrique est divis par les axes en 4 parts appeles quadrants, gnralement numrots de I IV .

Angle orient rapport au cercle trigonomtrique


Un angle orient rapport au cercle trigonomtrique est un angle orient dont le sommet
est le centre du cercle et dont le premier ct est la demi-droite [OI.

Le point-image dun angle orient rapport au cercle trigonomtrique est le point dintersection P du deuxime ct de langle avec le cercle trigonomtrique.
J

1.2.2

Proprits

'

A chaque angle correspond un point-image, mais la rciproque nest pas vraie : un


point-image donn correspondent une infinit dangles orients dont les amplitudes
sont gales un multiple entier de 360 ou 2 radians prs. Tous les angles +
2k(k Z) ont le mme point image.

&

Dans la suite de ces notes, nous dsignerons gnralement par I le point image des angles

damplitude 2k(k Z) et par J le point image des angles damplitude + 2k(k Z)


2
8

CHAPITRE 1. DFINITIONS

1.3

1.3. SINUE ET COSINUS

Sinus et cosinus dun angle orient

chaque angle, on associe 4 grandeurs appeles nombres trigonomtriques : le sinus, le


cosinus, la tangente et la cotangente.
Remarque

Les dfinitions suivantes constituent une extension du sinus, cosinus et de la tangente


dun angle aigu dun triangle rectangle.

1.3.1

Dfinitions

Considrons langle orient et son point image P . On note P 0 et P 00 les projections


orthogonales de P sur OI et OJ.
Le cosinus de langle orient est labscisse de son point image dans le cercle trigonomtrique. Il se note cos .
Le sinus de langle orient est lordonne son point image dans le cercle trigonomtrique. Il se note sin .

J
P 00
sin

P (cos , sin )

cos P 0

Consquence

Le sinus et le cosinus dun angle orient sont compris entre -1 et 1.

Remarque

1.3. SINUE ET COSINUS

CHAPITRE 1. DFINITIONS

On vitera de dire que le sinus est la longueur de la projection du segment [OP ] sur laxe
Oy ou que le cosinus est la longueur de la projection du segment [OP ] sur laxe Ox. Une
longueur est toujours positive, labscisse ou lordonne dun point peut tre ngative.

1.3.2

Signe du sinus et du cosinus

Premier quadrant

Deuxime quadrant

sin > 0

sin > 0

cos > 0

cos < 0

Troisime quadrant

Quatrime quadrant
J

cos < 0

cos > 0
I

I
sin < 0

sin < 0

90

180

270

360

3 2

sin

0 +

-1

cos

1 +

-1

10

CHAPITRE 1. DFINITIONS

1.3.3

1.4. TANGENTE ET COTANGENTE

Relation fondamentale de la trigonomtrie

Pour tout angle orient ,


sin2 + cos2 = 1
"

1.4

Tangente et cotangente dun angle orient

Considrons langle orient .

1.4.1

Dfinitions

Soit t la tangente au cercle trigonomtrique passant par I.


La tangente de langle orient est lordonne du point dintersection T du 2eme ct
de langle et de la droite t. Elle se note tg ou tan .
Soit t0 la tangente au cercle trigonomtrique passant par J.
La cotangente de langle orient est labscisse du point dintersection T 0 du 2eme ct
de langle et de la droite t0 . Elle se note cotg ou cot .

Remarque

On vitera de dire que la tangente et la cotangente dun angle sont des longueurs de
segment. Une longueur est toujours positive, labscisse ou lordonne dun point peut tre
ngative.
11

1.4. TANGENTE ET COTANGENTE

CHAPITRE 1. DFINITIONS
t

J cotg

t0
P

tg

sin

cos

Existence
La tangente dun angle existe si et seulement si son 2eme ct [OP nest pas parallle

t ou OJ cd si langle est diffrent de 90 + k 180 ou + k (k Z).


2
La cotangente dun angle existe si et seulement si son deuxime ct [OP nest pas
parallle OI cd si langle est diffrent de k180 ou k (k Z).

1.4.2

Signe de la tangente et de la cotangente

90

180

270

360

3 2

tg

cotg

6 +

12

CHAPITRE 1. DFINITIONS

1.4.3

1.5. SCANTE ET COSCANTE

Liens entre les nombres trigonomtriques

Les formules suivantes peuvent tre tablies facilement


'

tg =

sin

, 6= + k(k Z)
cos
2

cotg =

cos
, 6= k(k Z)
sin

cotg =

, 6= k (k Z)
tg
2

&

1.4.4

Identits

A laide de la formule fondamentale, on peut prouver rapidement que


'

1 + tg2 =

, 6= + k(k Z)
2
cos
2

1 + cotg2 =
&

1.5

1
, 6= k(k Z)
sin2

Scante et coscante

A titre dinformation, donnons la dfinition de la scante (sec ) et de la cosecante


(cosec ) :
$

'

sec =

, 6= + k
cos
2

et
cosec =

1
, 6= k
sin

&

13

1.6. ANGLES REMARQUABLES

1.6

CHAPITRE 1. DFINITIONS

Angles remarquables

Les nombres trigonomtriques ont des valeurs remarquables. Elles sont reprises dans le
tableau ci-dessous.
en degrs
en rad.
sin
cos
tg
cotg

1.7

30

0
6
1
0
2
3
1
2
3
0
3

6
3

45

4
2
2
2
2
1
1

60 90

2
3
3
1
2
1
0
2

3 6

3
0
3

Exercices

1. Factoriser et simplifier chacune des expressions suivantes :


(a) cos x cos3 x
(b) sin x sin3 x
(c) sin3 x + sin x cos2 x
2. Dmontrer les identits suivantes : 1
(a) sin2 x cos2 x = 1 2 cos2 x
(b) cos2 x sin2 x = 1 2 sin2 x
(c) sin4 x cos4 x = sin2 x cos2 x
(d) sin2 cos2 = sin2 cos2
3. Dmontrer les identits suivantes en prcisant les conditions dexistence :
(a) tg x + cotg x =

1
sin x cos x

cotg2 x
(b)
= cos2 x
2
1 + cotg x
tg x
(c)
= sin x cos x
1 + tg2 x
1. Quelques conseils au sujet des dmonstrations didentits se trouvent dans un chapitre suivant.

14

CHAPITRE 1. DFINITIONS

(d)

1.7. EXERCICES

cotg
tg
=
tg
cotg

4. Dmontrer que les expressions suivantes sont indpendantes de


(a) (sin + cos )2 + (sin cos )2
(b) tg + cotg )2 (tg cotg )2
5. Dmontrer les identits suivantes
(a) sin6 x + cos6 x = 1 3 sin2 x cos2 x
(b) sin6 x cos6 x = (sin x + cos x)(sin x cos x)(1 + sin x cos x)(1 sin x cos x)

15

1.7. EXERCICES

CHAPITRE 1. DFINITIONS

16

Chapitre 2
Equations trigonomtriques lmentaires
Une quation trigonomtrique est une quation dans laquelle linconnue apparat par lintermdiaire dun nombre trigonomtrique.
Pour rsoudre une quation trigonomtrique, on essaie gnralement de la transformer en
une ou plusieurs quations trigonomtriques "de base" dont la rsolution est explique dans
les paragraphes suivants. Chacune de ces quations donne un ensemble de solutions.
Ces quations fondamentales se rsolvent laide de principes dquivalence qui les transforment en quation(s) algbrique(s) quivalentes.
Contrairement aux quations algbriques, une quation trigonomtrique admet une infinit
de solutions. Les solutions comprises dans lintervalle [0, 2[ sont dites solutions fondamentales.
Il est courant de devoir reprsenter les solutions fondamentales sur le cercle trigonomtrique.
Cest dailleurs souvent la mthode la plus simple pour comparer des ensembles de solutions
qui paraissent diffrents.

2.1

Principes dquivalence fondamentaux

Les principes dquivalence suivants sont fondamentaux. Ils sont drivs directement des
proprits des angles associs.
17

2.1. PRINCIPES DQUIVALENCE

2.1.1

CHAPITRE 2. EQUATIONS

Angles opposs

'

Deux angles opposs ont des cosinus gaux et des sinus, des tangentes et des cotangentes opposs
sin() = sin , cos() = cos
tg() = tg ,

cotg() = cotg

&

Rciproquement :


Deux angles qui ont le mme cosinus sont soit gaux 2k prs, soit opposs 2k
prs (k Z).

Principe dquivalence

On en dduit le principe dquivalence




cos x = cos a x = a + 2k ou x = a + 2k, k Z

Exemple
Rsoudre lquation cos x =

1
2

On a
cos x =

cos x = cos
2
3

x = + 2k ou x = + 2k
3
3

Lensemble des solutions sera dans ce cas


S=

o n
o
+ 2k : k Z + 2k : k Z
3
3

18

CHAPITRE 2. EQUATIONS

2.1. PRINCIPES DQUIVALENCE

Remarque
Il y a quelques cas particuliers o la forme gnrale des solutions peut se rsumer en une
seule famille :
cos x = 1 x = 2k
cos x = 1 x = + 2k

cos x = 0 x = + k
2

2.1.2

Angles supplmentaires

'

Deux angles supplmentaires ont des sinus gaux et des cosinus, des tangentes et
des cotangentes opposs
sin( ) = sin ,

cos( ) = cos

tg( ) = tg , cotg( ) = cotg


&

Rciproquement :

Deux angles qui ont le mme sinus sont soit gaux 2k prs, soit supplmentaires
2k prs (k Z).

Principe dquivalence
On en dduit le principe dquivalence

sin x = sin a x = a + 2k ou x = a + 2k, k Z

19

2.1. PRINCIPES DQUIVALENCE

CHAPITRE 2. EQUATIONS

Exemple
Rsoudre lquation sin x =

1
2

On a
sin x =

tg x = tg
2
6

x = + 2k ou x = + 2k
6
6
5

+ 2k
x = + 2k ou x =
6
6

Lensemble des solutions sera dans ce cas


S=


o  5
+ 2k : k Z
+ 2k : k Z
6
6

Remarque
Il y a quelques cas particuliers o la forme gnrale des solutions peut se rsuler en une seule
famille :

+ 2k
2
sin x = 1 x = + 2k
2
sin x = 0 x = k
sin x = 1 x =

2.1.3

Angles antisupplmentaires

'

Deux angles antisupplmentaires ont des tangentes et cotangentes gales et des sinus
et cosinus opposs
sin( + ) = sin , cos( + ) = cos
tg( + ) = tg ,

cotg( + ) = cotg

&

Rciproquement :
20

CHAPITRE 2. EQUATIONS

2.1. PRINCIPES DQUIVALENCE

Deux angles qui ont la mme tangente (cotangente) sont soit gaux 2k prs, soit
antisupplmentaires 2k prs (k Z).

Principe dquivalence

On en dduit le principe dquivalence


'

tg x = tg a x = a + 2k ou x = + a + 2k, k Z
cd
tg x = tg a x = a + k, k Z

&

Remarque
Une quation trigonomtrique faisant intervenir des expressions tg x ou cotg x exige la
prsence de conditions dexistence puisque ces nombres trigonomtriques ne sont pas dfinis
pour tous les angles.
Ainsi, tg x existe ssi x 6=

+ k et cotg x existe ssi x 6= k(k Z).


2

Exemple
Rsoudre lquation tg x = 1.

CE : x 6= + k.
2
On a

tg x = 1 sin x = sin
4

x = + k
4
Lensemble des solutions sera dans ce cas
S=

21

o
+ k : k Z

2.2. EQUATIONS RDUCTIBLES

2.1.4

CHAPITRE 2. EQUATIONS

Angles complmentaires

'

Deux angles complmentaires sont tels que le sinus de lun est gal au cosinus de
lautre et la tangente de lun est gale la cotangente de lautre.




sin
= cos , cos
= sin
 2

2

tg
= cotg , cotg
= tg
2
2
&

2.2

Equations rductibles

Les quations exposes dans ce paragraphe se rsolvent laide des principes dquivalence
vu ci-dessus. Pour faciliter la rdaction, nous les assimilerons au type cos x = cos a, mais le
mme raisonnement peut tre utilis pour sin x = sin a ou tg x = tg a. Nous emploierons
indiffremment ces diffrentes quations dans les exemples.

2.2.1

sin x = sin a

Exemple
Rsoudre sin 3x =

3
.
2

sin 3x =

2
3x = + 2k ou 3x =
+ 2k
2
3
3
2k
2 2k
x= +
ou x =
+
9
3
9
3

Lensemble des solutions sera dans ce cas



 

2k
2 2k
S=
+
:kZ
+
:kZ
9
3
9
3
Les solutions fondamentales sont

1. Cette proprit est dailleurs lorigine du mot "cosinus" pour dsigner le sinus du complment dun
angle.

22

CHAPITRE 2. EQUATIONS

2.2. EQUATIONS RDUCTIBLES

x0 =

2
7
4
13
, x1 = +
=
, x2 = +
=
,
9
9
3
9
9
3
9

x00 =

2 0
2 2
8 0
2 4
14
, x1 =
+
=
, x2 =
+
=
,
9
9
3
9
9
3
9

Elles peuvent tre reprsentes sur le cercle trigonomtrique de la faon suivante :

2.2.2

sin x = sin x

Exemple
Rsoudre lquation sin 2x = sin 3x.

sin 2x = sin 3x 2x = 3x + 2k ou 2x = 3x + 2k(k Z)


x = 2k ou 5x = + 2k(k Z)
2k
x = 2k ou x = +
(k Z)
5
5
Lensemble des solutions est

S = {2k : k Z}


2k
+
:kZ
5
5

Les solutions fondamentales sont


x0 = 0

2
3 0
4
x00 = , x01 = +
=
, x2 = +
= ,
5
5
5
5
5
5
6
7 0
8
9
x03 = +
=
; x4 = +
=
5
5
5
5
5
5

23

2.2. EQUATIONS RDUCTIBLES

CHAPITRE 2. EQUATIONS

Elles peuvent tre reprsentes sur le cercle trigonomtrique de la faon suivante :

24

CHAPITRE 2. EQUATIONS

2.2.3

2.2. EQUATIONS RDUCTIBLES

sin x = cos x

Exemple
Rsoudre lquation sin x + cos 2x = 0.

On se ramne une quation ne comportant plus que des cosinus ou des sinus.
cos 2x = sin x cos 2x = sin(x)


cos 2x = cos
(x)
2

cos 2x = cos x + 2



2x = x + + 2k ou 2x = x +
+ 2k(k Z)
2
2
2k

x = + 2k ou x = +
2
6
3
Lensemble des solutions est
S=

o  2k 
+ 2k +
,k Z
2
6
3

2.2.4

P (cos x) = 0

Si P (x) est un polynme, une quation du type P (cos x) se rsoud en posant y = cos x.
Chaque solution y de lquation P (y) = 0 telle que |y| 1 donnera une (des) famille(s) de
solutions.

25

2.2. EQUATIONS RDUCTIBLES

CHAPITRE 2. EQUATIONS

Exemple
Rsoudre lquation 2 cos3 x + cos2 x 5 cos x + 2 = 0.

On pose y = cos x. Lquation devient


2y 3 + y 2 5y + 2 = 0 (y 1)(2y 1)(y + 2) = 0
On a donc
cos x = 1 ou cos x =

1
ou cos x = 2
2

Il suffit de rsoudre les deux premires quations, la troisime est impossible. Lensemble des solutions est
S = {2k}

o n
o
+ 2k + 2k , k Z
3
3

26

Chapitre 3
Formules daddition et de duplication

3.1

Formules daddition

3.1.1

Cosinus et sinus dune somme ou dune diffrence

'

cos(a b) = cos a cos b + sin a sin b


cos(a + b) = cos a cos b sin a sin b
sin(a b) = sin a cos b cos a sin b
sin(a + b) = sin a cos b + cos a sin b
&

3.1.2

Tangente dune somme et dune diffrence

'

$
a

Pour toutes les valeurs de a et b pour lesquelles les expressions ont un sens :
tg(a + b) =
a. a, b, a + b, a b 6=
&

tg a + tg b
tg a tg b
et tg(a b) =
.
1 tg a tg b
1 + tg a tg b

+ k o k entier
%

27

3.2. DUPLICATION CHAPITRE 3. FORMULES DADDITION ET DE DUPLICATION

3.2

Formules de duplication

Ces formules permettent dexprimer le sinus, le cosinus et la tangente dun angle et de son
double.
'

sin 2a = 2 sin a cos a,


cos 2a = cos2 a sin2 a,
Pour tout a 6=

+ k 2 et a 6=

+ k, k Z, tg 2a =

&

3.3

2 tg a
.
1 tg2 a

Formules de Carnot

Ces formules permettent de factoriser une expression trigonomtrique.





2

1 + cos 2a = 2 cos a,
1 cos 2a = 2 sin2 a.

Consquence
Si on remplace a par a2 , on obtient les formules suivantes :


1 + cos a =

2 cos2 a2

1 cos a = 2 sin2


3.4

a
2

sin a et cos a en fonction de tg a2

'

Pour tout a 6= (2k + 1) o k est entier :


1 tg2 a2
cos a =
,
1 + tg2 a2
sin a =

2 tg a2
.
1 + tg2 a2

&

28

CHAPITRE 3. FORMULES DADDITION ET DE DUPLICATION

3.5

3.5. EXERCICES

Exercices

1. On donne les expressions :


E1 = cos2 x 2 cos a cos x cos(a + x) + cos2 (a + x)
E2 = cos2 x 2 sin a cos x sin(a + x) + sin2 (a + x)
(a) Dmontrer que les expressions E1 et E2 ont une valeur indpendante de x.
(b) Vrifier que E1 + E2 = 1. (ULg 07/87 - q2)
2. Si sin(a + b + c + d) = 0, vrifier que sin(a + c) sin(a + d) = sin(b + c) sin(b + d) (ULg
09/97 - q2)
3. Vrifier les identits suivantes :
(a) sin 3a = 4 sin a sin(60 a) sin(60 + a) (ULg 09/01 - q1)
1 sin a
cos a
(b) tg(45 a2 ) =
=
(ULg 07/2001).
cos a
1 + sin a
3
(c) sin2 x + sin2 (x + 2
) + sin2 (x 2
) = .(ULg 07/03 - q1)
3
3
2
4. Rsoudre et reprsenter les solutions sur le cercle trigonomtrique :

2
3
(a) sin x cos x sin x cos3 x =
(ULg 09/04 - q2)
8

(b) cotg x tg x 2 tg 2x 4 tg 4x > 8 3 (ULg 07/04 - q2)


(c) 2 sin2 3x + sin2 6x = 2.(ULg 07/06)
(d) tg x + tg 2x + tg 3x = 0 (ULg 09/2009)


1 + tg x2 2
(e)
+ sin x = 0 (ULg 07/06).
1 tg x2
5. Si cos(a + b) = cos a. cos b, montrer que sin2 (a + b) = (sin a + sin b)2 .
Prciser dans quelles conditions la rciproque est vraie. (ULg 07/78 - q1)
6. Soit lexpression E = cos2 a + cos2 b + cos2 c 2 cos a cos b cos c 1.
(a) Montrer que si c = a + b, alors E = 0.
(b) La rciproque est-elle vraie ? Justifier. (ULg 07/86 - q2 et 07/96 - q2)
7. Dmontrer que si a, b et c sont en progression arithmtique, alors on a
tg b =

sin a + sin b + sin c


.
cos a + cos b + cos c

Pour quelles valeurs de la raison la proprit est-elle en dfaut ?


La rciproque est-elle vraie ? (ULg 09/83 - q2)
29

3.5. EXERCICES

CHAPITRE 3. FORMULES DADDITION ET DE DUPLICATION

8. Dmontrer que si dans un triangle, on a = 2 , alors b2 = c2 + ac.


La rciproque est-elle vraie ? (Ulg 07/83 - q2)
9. Calculer lexpression sin2 (a + b) + p sin(a + b) cos(a + b) + q cos2 (a + b) en fonction de p et
q sachant que tg a et tg b sont les racines de lquation du second degr x2 + px + q = 0.
(07/80- q1 et 07/86- q2)
10. On dsire trouver analytiquement la valeur de sin

sous forme dune expression conte10

nant des radicaux.


On procde comme suit :

(a) En posant A =
, montrer que cos 3A = sin 2A
10
(b) Dvelopper lquation prcdente en termes de cos A et sin A
(c) Lquation obtenue peut se ramener une quation du second degr en sin A.
Rsoudre cette quation et faire le bon choix entre les solutions possibles.

30

Chapitre 4
Formules de Simpson
4.1

Formules

Les formules de Simpson permettent de factoriser une somme ou une diffrence de deux
sinus ou deux cosinus.
'

pq
p+q
sin
,
Diffrence de cosinus : cos p cos q = 2 sin
2
2
p+q
pq
Somme de cosinus : cos p + cos q = 2 cos
cos
,
2
2
pq
p+q
cos
,
Somme de sinus :
sin p + sin q = 2 sin
2
2
pq
p+q
Diffrence de sinus : sin p sin q = 2 sin
cos
.
2
2

&

4.2
4.2.1

Exercices
Identits

1. Vrifier lidentit suivante :

sin 2x + sin 2y
= tg(x + y) (ULg 07/04 - q1)
cos 2x + cos 2y

2. Dmontrer :
a+b
b+c
c+a
sin
sin
.
2
2
2
a+b
a
b
cos cos
(b) sin a + sin b + sin(a + b) = 4 sin
2
2
2
3. Si a et b sont les angles aigus dun triangle rectangle, dmontrer que :
(a) sin a + sin b + sin c sin(a + b + c) = 4 sin

sin 2a + sin 2b = 2 cos(a b).


31

4.2. EXERCICES

CHAPITRE 4. FORMULES DE SIMPSON

4. Dmontrer que les expressions sont indpendantes de x :


(a) sin(a + x) + sin(a x) 2 sin a cos x
a+x
(b) 2 cos2
cos(a + x)
2
(c) 1 cos 2x + 2(sin2 a cos2 x sin2 x cos2 a)
5. Identits conditionnelles : Si , et sont les angles dun triangle, dmontrer que
(a) sin + sin + sin = 4 cos 2 cos 2 cos 2 .
(b) cos cos + cos + 1 = 4 cos 2 sin 2 cos 2 .
(c) sin 2 sin 2 + sin 2 = 4 cos sin cos .
(d) cos 2 + cos 2 + cos 2 + 4 cos cos cos + 1 = 0.
(e) sin2 + sin2 + sin2 2 cos cos cos = 2.
(f) cos 4 + cos 4 + cos 4 + 1 = 4 cos 2 cos 2 cos 2 (sept 99 - q2)
(g) sin sin + sin = 4 sin 2 cos 2 sin 2 (ULg 9/99)
tg + tg
tg + tg
tg + tg
(h)
=
=
(ULg 07/97 - q2)
sin 2
sin 2
sin 2

4.2.2

Equations - Inquations

1. Rsoudre les quations et reprsenter les solutions sur le cercle trigonomtrique

(a) sin x + sin 2x + sin 3x = 2(1 + cos x + cos 2x) (ULg 07/08)
(b) cos 2x + cos 6x = 1 + cos 8x. (ULg 07/03)
(c) sin 5x sin 3x = cos 6x + cos 2x (ULg 07/07)
2. Rsoudre linquation sin(x 3 ) > sin x

32

Chapitre 5
Equations - Complments
Nous voquons dans ce chapitre quelques types particuliers dquations trigonomtriques.
A chacun de ces types correspond une mthode qui fonctionne chaque fois, mais souvent
dautres mthodes donnent le mme rsultat, parfois de faon au moins aussi efficaces.

quation linaire en sin x et cos x

5.1

Il sagit dquation de la forme de


a sin x + b cos x = c

(5.1)

o a, b et c sont tous non nuls.


La mthode la plus efficace de rsolution de (5.1) consiste
diviser les deux membres par a ou b (nous supposerons dans la suite quon a divis par
a)
b
= tg de sorte que lquation devient
a
c
c
c
sin x + tg cos x = cos sin x + sin cos x = cos sin( + x) = cos
a
a
a

poser

Deux cas peuvent se prsenter selon la valeur du deuxime membre :


c
c
Si cos < 1 ou cos > 1, lquation est impossible.
a
a
c
c
Si 1 cos 1, on pose cos = sin de sorte que lquation devient
a
a
sin( + x) = sin
33

5.1. EQUATION LINAIRE

CHAPITRE 5. EQUATIONS - COMPLMENTS

que lon peut rsoudre par les mthodes vues plus haut.
Exemple

3
1
Rsoudre lquation
sin 2x cos 2x = 1
2
2
1
Divisons les deux membres par . Lquation devient
2

3 sin 2x cos 2x = 2
On pose tg =

3 (ce est qui le cas lorsque =

). Lquation devient
3

tg sin 2x cos 2x = 2 sin sin 2x cos 2x cos = 2 cos cos(

+ 2x) = 1
3

qui se rsoud facilement laide des mthodes vues plus haut.

Deuxime mthode
Une autre mthode efficace de rsolution de (5.1) consiste exprimer les paramtres a et
b sous une forme diffrente, ce qui permet de simplifier la forme de lquation. On pose en
effet
a = r sin et b = r cos

(5.2)

o r est dfini positif, [0, 2[.


a et b tant connus, il est possible de dterminer les valeurs correspondantes de r et .
Ainsi, r est obtenu en sommant les carrs des quations (5.2)
a2 + b2 = r2 cos2 + r2 sin2 = r2
do
r=

a2 + b 2

(5.3)

est alors obtenu laide des relations (5.2), qui nous donnent
cos =

b
a
et sin =
r
r

(5.4)

Aprs avoir ralis le changement de variable donn par (5.2), lquation (5.1) devient alors
r sin sin x + r cos cos x = cr cos(x ) = c cos(x )
qui se rsoud facilement laide des mthodes vues plus haut.

34

c
r

CHAPITRE 5. EQUATIONS - COMPLMENTS

5.2. QUATIONS HOMOGNES

Remarque
Lquation (5.1) nadmet pas toujours de solution. Pour quil y en ait une, il faut que
c
c2

1 2 1
r
r
Se souvenant que r2 = a2 + b2 , il vient
c2
1 c 2 a2 + b 2
a2 + b 2

(5.5)

En rsum, pour rsoudre une quation du type de (5.1), il faut


1. Vrifier la condition (5.5) afin de garantir lexistence de solutions.
2. Calculer r et via (5.3) et (5.4).
3. Effectuer le changement de variable (5.2).
4. Utiliser la formule daddition adquate et rsoudre lquation du premier degr en cos x
obtenue.

5.2

quations homognes en sin x et cos x

Une quation homogne en sin x et cos x est une quation pouvant scrire sous la forme
P (cos x, sin x) = 0 o P est un polynme dont les termes sont des produits de type sinm x cosn x
avec m + n est constant pour chacun des termes du polynme.
Exemples
Les quations
5 sin2 x 2 cos2 x 3 sin x cos x = 0
2 cos4 3x + sin 3x cos3 3x sin2 3x cos2 3x = 0
sont homognes.
Dans le premier exemple, le degr de lquation est de deux. Il est de quatre dans le
second.

Afin de rsoudre ces quations,


on vrifie que P est factoris (i.e. on ne peut mettre aucun facteur en vidence). Aprs
factorisation ventuelle et application de la rgle du produit nul, il reste une quation
homogne (de degr k m + n infrieur) en sin x et cos x que lon traite en suivant le
deuxime point.
35

5.3. EQUATIONS SYMTRIQUES

CHAPITRE 5. EQUATIONS - COMPLMENTS

on divise les deux membres de lquation 1 par cosk x , dans le but de se ramener une
quation algbrique de degr n + m en tan x.

Exemple
Rsoudre
5 sin2 x 2 cos2 x 3 sin x cos x = 0
Cette quation est homogne de degr deux. Comme cos x = 0 nest pas solution de
cette quation, on la divise par cos2 x.
5 sin2 x 2 cos2 x 3 sin x cos x = 0 5 tan2 x 2 3 tan x = 0
5 tan2 x 3 tan x 2 = 0
Et on obtient bien une quation du second ordre en la variable tan x.
tan x = 1 ou tan x = 52
x=

+ k ou x = arctan 25 + k

Lensemble de solutions est


S=


o 
2
+ k arctan + k , k Z
4
5

5.3

quations symtriques en sin x et cos x

Une quation symtrique en sin x et cos x si son criture ne change pas si lon remplace
sin x par cos x et vice-versa.

Exemples
sin x + cos x = sin x cos x
sin3 x + cos3 x = 1

Ces quations se rsolvent via le changement de variable


x=y+

1. On peut faire cela car que cos x = 0 nest pas une solution de lquation

36

CHAPITRE 5. EQUATIONS - COMPLMENTS

5.3. EQUATIONS SYMTRIQUES

On aura en effet

2
(cos y + sin y)
2
2
cos x = cos(y + 4 ) =
(cos y sin y)
2
sin x = sin(y + 4 ) =

(5.6)
(5.7)

Comme lquation est symtrique, des simplifications auront lieu lors de la substitution. Il
faudra alors ventuellement utiliser la formule fondamentale pour se ramener une quation
algbrique en sinus ou en cosinus.

Exemple
Juillet 2010 - Question 2
Rsoudre lquation
sin4 x + cos4 x = sin x cos x
Il sagit bien dune quation symtrique en sinus et cosinus a . On utilise les quations
(5.6) et (5.7) pour valuer les diffrents termes de lquation.

sin4 x =

2
(cos y + sin y)
2

!4
cos4 x =

1
= (sin2 y + cos2 y + 2 sin y cos y)2
4
1
= (1 + 2 sin y cos y)2
4
1
= (1 + 4 sin y cos y + 4 sin2 y cos2 y)
4

!4
2
(cos y sin y)
2

1
= (sin2 y + cos2 y 2 sin y cos y)2
4
1
= (1 2 sin y cos y)2
4
1
= (1 4 sin y cos y + 4 sin2 y cos2 y)
4

a. Notons que lon aurait galement pu ramener cette quation une quation homogne
en sinus et cosinus en multipliant le membre de droite par cos2 x + sin2 x.
On se serait alors ramen une quation algbrique du quatrime degr en tan x, que lon
aurait rsolue par groupement.

37

5.3. EQUATIONS SYMTRIQUES

CHAPITRE 5. EQUATIONS - COMPLMENTS

Lquation devient
sin4 x + cos4 x = sin x cos x 12 (1 + 4 sin2 y cos2 y) = 21 (cos2 y sin2 y)
1 + 4 sin2 y cos2 y cos2 y + sin2 y = 0
Reste alors remplacer sin2 y par 1 cos2 y pour se ramener une quation du second degr en cos2 y
1 + 4(1 cos2 y) cos2 y cos2 y + 1 cos2 y = 0
4 cos4 y + 2 cos2 y + 2 = 0
2 cos4 y + cos2 y + 1 = 0
cos2 y = 12 ou cos2 y = 1
Lquation de gauche est videmment impossible, un carr tant toujours positif.
cos2 y = 1
y = k.
Finalement, on repasse la variable dorigine, se souvenant que x = y +
x=

+ k

Do
S=

n
4

o
+ k , k Z

38

Chapitre 6
Inquations
La rsolution dinquations trigonomtriques est moins mthodique que celle des quations.
Une bonne approche en gnral est de rsoudre lquation correspondante puis didentifier
les solutions sur le cercle trigonomtrique.
Les solutions dune inquation trigonomtriques sont gnralement une union dintervalles,
dont les bornes sont les solutions de lquation correspondantes.

6.1

Inquations de base

6.1.1

sin x 0

On a
sin x 0 2k x + 2k
J

6.1.2

cos x 0

On a
cos x 0

+ 2k x + 2k
2
2
39

6.2. INQUATIONS DU PREMIER DEGR

CHAPITRE 6. INQUATIONS

6.1.3

tg x 0

Vu les conditions dexistence (x 6=

+ k), on a On a
2

tg x 0 k x <

+ k
2

6.2
6.2.1

Inquations du premier degr


sin x a

Si a < 1, linquation est toujours vrifie. S = R.


Si a > 1, linquation nest jamais vrifie. S = .
Si a = 1, linquation devient sin x = 1.
Si a = 1, linquation devient sin x = 1.
Si 1 < a < 1, alors on rsout lquation
sin x = a x = arcsin a + k ou x = arcsin a + k. 1
Ces deux valeurs dterminent sur le cercle trigonomtrique deux arcs de cercles : lun contient
les solutions, lautre pas.

1. On a sin x = a x = arcsin x, x [ , ], a [1, 1].
2 2
La fonction arcsin est dfinie et ses proprits expliques dans le fascicule de synthse danalyse.

40

CHAPITRE 6. INQUATIONS

6.2. INQUATIONS DU PREMIER DEGR


J

arcsin a

arcsin a
I

Les solutions de linquations sont


arcsin a + 2k x arcsin a + 2k

Exemple
1
Rsoudre sin x .
2
On a

1
sin x = x = + 2k ou x = + 2k.
2
6
6
J

5
6

I 6

Les solutions de linquations sont

5
+ 2k x + 2k
6
6

Il faut tre attentif ncrire que des ingalits qui ont du sens. Il ne suffit pas de renverser
le sens des ingalits algbriques si lingalit trigonomtrique change de sens.
Exemple
1
Rsoudre sin x .
2
On ne peut pas crire que les solutions sont

+ 2k x + 2k
6
6

puisque cela nest pas vrai, mais bien


1

sin x = x = + 2k ou x = + 2k.
2
6
6

41

6.2. INQUATIONS DU PREMIER DEGR

CHAPITRE 6. INQUATIONS
J

I 6

7
6

Les solutions de linquations sont

6.2.2

+ 2k x
+ 2k
6
6

sin x a

Vu les considrations du paragraphe prcdent, nous nenvisagerons que le cas 1 < a < 1.
on rsout lquation

sin x = a x = arcsin a + 2k ou x = arcsin a + 2k.

Ces deux valeurs dterminent sur le cercle trigonomtrique deux arcs de cercles : lun content
les solutions, lautre pas.

J
arcsin a

arcsin a
I

Si > 0, les solutions de linquations sont

arcsin a + 2k
arcsin a + 2k
x

42

CHAPITRE 6. INQUATIONS

Exemple

6.3. AUTRES INQUATIONS

Rsoudre sin 2x

3
.
2

On a

sin 2x =

2x = + 2k ou 2x =
+ 2k.
2
3
3
J

I
3

2
3
Do

sin 2x

3
2

+ 2k 2x
+ 2k + k x + k
2
3
3
3
6

2
3

5
6

I
6
3

Les solutions de linquations sont

6.3

+ k x + k
6
3

Autres inquations

Il faut factoriser lexpression fournie en diffrents facteurs dont le signe peut tre tudi,
cest dire des quations du premier ou du deuxime degr. Reste alors, laide du cercle
trigonomtrique, trouver les angles qui vrifient ces conditions.

43

6.3. AUTRES INQUATIONS

CHAPITRE 6. INQUATIONS

44

Chapitre 7
Rsolutions de triangles
Dans chaque chapitre relatif aux triangles, nous appelons les sommets A, B et C, les
amplitudes des angles correspondants , et et les longueurs des cts opposs a, b et c.

Les relations que nous allons rappeler permettent de "rsoudre" un triangle, cd de calculer toutes les longueurs des cts et les amplitudes des angles partir de donnes indpendantes.

En gnral, dans ce type de problmes, les amplitudes des angles sont exprimes en degrs. Il est vident quen plus des proprits annonces ci-dessous, il faut garder en mmoire
la proprit

La somme des angles dun triangle (plan) vaut 180

45

7.1. TRIANGLE RECTANGLE

7.1

CHAPITRE 7. RSOLUTIONS DE TRIANGLES

Triangle rectangle

7.1.1

Thorme de Pythagore

Dans un triangle rectangle, la carr de lhypotnuse est gal la somme des carrs
des deux autres cts.

c
A

7.1.2

Nombres trigonomtriques

Dans un triangle rectangle,


le cosinus dun angle aigu est le quotient du ct adjacent par lhypotnuse.

cos =

|AB|
c
|BC|
a
= et cos =
=
|AC|
b
|AC|
b
46

CHAPITRE 7. RSOLUTIONS DE TRIANGLES

7.1. TRIANGLE RECTANGLE

le sinus dun angle aigu est le quotient du ct oppos par lhypotnuse.

sin =

a
|AB|
c
|BC|
= et sin =
=
|AC|
b
|AC|
b

la tangente dun angle aigu est le quotient du ct oppos par le ct adjacent.

tg =

7.1.3

|BC|
a
|AB|
c
= et tg =
=
|AB|
c
|BC|
a

Exercices

1. Une chelle de 12 m est appuye contre un mur vertical, son pied est 3 m du mur.
Quelle est linclinaison (angle de lchelle avec lhorizontale) ?
2. Une rue a une pente rgulire. On observe que pour un seuil de porte de 1,30 m, la
diffrence de hauteur apparente est 9 cm. Quelle est linclinaison de la rue (angle avec
lhorizontale) ?
3. Sur les plans dun architecte, on voit quun btiment a un pignon en forme de triangle
isocle dont la base mesure 7 m et dont les pentes du toit sont de 40
(a) Quelle est la hauteur du pignon partir de la base du toit ?
47

7.1. TRIANGLE RECTANGLE

CHAPITRE 7. RSOLUTIONS DE TRIANGLES

(b) A quelle distance de lextrmit du toit peut-on construire un mur de 1,20 m de


haut ?

(c) Quelle est la largeur de la pice lorsque les 2 murs de 1,20 m sont construits ?

4. Un bateau est immobilis le long dun quai laide de deux amarres fixes larrire et
lavant du bateau. Lautre extrmit de chaque amarre est attache une mme bitte
damarrage situe 10 m du bord du quai. Une amarre fait un angle de 5avec la perpendiculaire au bord du quai et lautre fait un angle de 74avec cette perpendiculaire.
Calculer la longueur du bateau.

5. A la suite dun effondrement de terrain, la tour Eiffel [AC] sest affaisse latralement.
Un cble [AD] de 650 m est fix son sommet pour la retenir, il est fix au sol 450
m du centre C du pied de la tour. Ce cble fait un angle de 25 avec le sol.

(a) Quelle tait la hauteur de la tour ?

(b) Quelle est son inclinaison par rapport au sol ?

6. Un astronome a observ quun jour de lanne les rayons du soleil et ceux provenant
de Proxima du Centaure forment un angle droit. Six mois plus tard, langle nest plus
que de 895958". Sachant que la distance Terre-soleil est de 8 minutes et 20 secondeslumire, quelle est la distance entre la Terre et ltoile ? (une anne-lumire = distance
parcourue par la lumire en une anne ; c = 300 000 km/s).

7. Un observateur est situ une altitude de 1500 m (sommet dune montagne). Il mesure
un angle de 115 entre lhorizontale (perpendiculaire la verticale du lieu) et lhorizon
(droite passant par lobservateur qui est tangente la surface de la Terre). Calculer le
rayon terrestre.
48

CHAPITRE 7. RSOLUTIONS DE TRIANGLES

7.2

7.2. TRIANGLES QUELCONQUES

Triangles quelconques

7.2.1

Formule des cosinus

Ces formules sont appeles "thorme de Pythagore gnralis" ou "formule dAl-Kashi".


'

a2 = b2 + c2 2bc cos
b2 = a2 + c2 2ac cos
c2 = a2 + b2 2ab cos

&

7.2.2

Formule des sinus

sin
sin
sin
=
=
a
b
c

Remarque
La rapport

7.2.3

1
sin
est gal
o R est le rayon du cercle circonscrit au triangle ABC.
a
2R

Aire dun triangle

Outre la fameuse proprit "laire dun triangle est gale au demi produit de la base par
la hauteur", il est bon de savoir
'

laire dun triangle est gale au demi produit des longueurs de deux cts par le
sinus de langle quils forment.
1
1
1
A = ab sin = ac sin = bc sin
2
2
2
&

49

7.2. TRIANGLES QUELCONQUES

CHAPITRE 7. RSOLUTIONS DE TRIANGLES


C

7.2.4

Exercices

1. Rsoudre les triangles suivants.


(a) = 45, = 120, c = 1
(b) a = 6, = 75, = 64
(c) b = 5, c = 12, = 43
(d) b = 15, c = 6, = 100
(e) b = 14, = 135,23, = 17,23
(f) b = 3, c =2, B = 143,22
(g) a = 10, c = 11, = 49,322
(h) a = 5, b = 8, c = 10
(i) b = 5,c = 12, a = 4
2. Deux points A et B sont sur deux rives opposes dun tang. Pour valuer leur distance,
on prend un point P quelconque (hors de ltang). On obtient les mesures suivantes
dB a une amplitude de 75,607. Calculer
|P A| = 70 m et |P B| = 100 m. Langle AP
|AB|.
3. Nomie regarde un arbre de lautre ct de la rivire. Quand elle est au bord de la rivire,
elle le voit sous un angle de 65 et quand elle recule de 20 m (perpendiculairement
la rivire) sous un angle de 40; on suppose que ses yeux se trouvent sur la mme
horizontale que le pied de larbre. Dterminer la hauteur de larbre et la largeur de la
rivire.
4. Soit ABCD un rectangle inscrit dans un cercle de centre O et de rayon R. On dsigne
langle AOB.
d
par O
50

CHAPITRE 7. RSOLUTIONS DE TRIANGLES

7.2. TRIANGLES QUELCONQUES

(a) Calculer laire des triangles AOB et AOD en fonction de R et de langle O.


(b) En dduire laire du rectangle.
laire du rectangle est-elle
(c) Le rayon du cercle tant fix, pour quelle valeur de O
maximale ? Prciser alors le rectangle obtenu.
5. On considre le cube ABCDEF GH dont larte a une longueur 1 et on dsigne par O
le milieu des grandes diagonales du cube.
(a) Calculer les longueurs des cts du triangle ACG.
(b) Calculer les longueurs des cts du triangle AOC.
(c) Calculer laire du triangle AOC de deux manires diffrentes : en faisant intervenir
d not et dautre part, la hauteur du triangle issue de O.
dune part langle AOC,
(d) En dduire la valeur sin . Calculer cos (sans calculatrice).
(e) Calculer une valeur approche de
6. Un avion assure la liaison entre Bruxelles et Vancouver, les deux villes tant approximativement sur le 50e parallle nord, Bruxelles 4 de longitude est et Vancouver
125 de longitude ouest.
(a) Quelle est la longueur du trajet le long du 50e parallle sachant que le rayon de
la Terre est de 6400 km ?
(b) Mme question si le trajet se fait le long dun grand cercle cd le long dun cercle
dont le centre est le centre de la Terre.

51

7.2. TRIANGLES QUELCONQUES

CHAPITRE 7. RSOLUTIONS DE TRIANGLES

52

Chapitre 8
Identits
8.1

Dfinition

Une identit est une galit qui est vraie pour une infinit de valeurs des grandeurs qui y
apparaissent. Ainsi, la formule fondamentale
sin2 x + cos2 x = 1, x R
et la formule
tg x =

sin x

, x R\{ + 2k : k Z}
cos x
2

sont des identits.


Chacune des formules figurant dans cette synthse est une identit.

Il ne faut donc pas confondre "dmontrer une identit" et "rsoudre une quation". 1

Dmontrer une identit trigonomtrique revient donc prouver que deux expressions
sont gales. Pour dmontrer une identit, il est conseill dutiliser une des trois "mthodes"
suivantes :
transformer le 1er membre de faon obtenir le 2e
transformer le 2e membre pour obtenir le 1er.
transformer le 1er membre en une nouvelle expression, puis transformer le 2e membre
pour obtenir la mme nouvelle expression.
1. Voir chapitre "Equations et inquations" de la synthse dalgbre pour la rsolution d(in)quations et
les annexes en fin de document pour les dmonstrations dgalit(s).

53

8.2. IDENTITS CONDITIONNELLES

CHAPITRE 8. IDENTITS

Exemple
Vrifier lidentit suivante a
sin 2x + sin 2y
= tg(x + y).
cos 2x + cos 2y

CE : cos 3x + cos 2y 6= 0 et x + y 6= + k
2

cos 2x 6= cos 2y et x + y 6= + k
2

2x 6= 2y + 2k et 2x 6= + 2y + 2k et x + y 6= + k
2

x y 6= + k et x + y 6= + k
2
2
On a
sin 2x + sin 2y
2 sin(x + y) cos(x y)
=
cos 2x + cos 2y
2 cos(x + y) cos(x y)
= tg(x + y)
La simplification par cos(x y) tant autorise vu les CE.
a. Il peut tre utile de vrifier les conditions dexistence, mme si ce nest pas demand
dans lnonc.

Un cas particulier didentit est donne par le type dexercice o il faut dmontrer quune
expression est indpendante dune (ou des) variables qui y apparaissent.

Exemple
Dmontrer que lexpression
sin x + sin(x +

2
2
) + sin(x +
)
3
3

est indpendante de x.

8.2

Identits conditionnelles

Une identit conditionnelle est une identit qui nest vraie que si la (les) variables qui
y interviennent vrifie(nt) une condition. Le cas le plus frquent est celui o lidentit fait
intervenir les trois angles dun triangle.
54

CHAPITRE 8. IDENTITS

8.2. IDENTITS CONDITIONNELLES

Exemple
Septembre 1999 - Question 2
Montrer que, dans un triangle, on a
sin A sin B + sin C = 4 sin

A
B
C
cos sin
2
2
2

Hyp : A + B + C =
Th : sin A sin B + sin C = 4 sin A2 cos B2 sin C2

Rsolution
Deux raisons nous poussent partir du membre de gauche pour se ramener celui
de droite. Dune part, il est souvent plus facile de transformer une somme en produit
quun produit en somme. Dautre part, les formules de Simpson et de duplication
sont plus facile manipuler si lon part de langle et que lon va vers sa moiti, plutt
que dans le sens contraire.
Par hypothse, A = (B + C). Do sin A = sin(B + C).
Do




B+C
BC
sin A sin B + sin C = sin(B + C) 2 cos
sin
2
2

 



B+C
B+C
BC
= 2 cos
sin
sin
2
2
2


De nouveau, par hypothse, A = (B + C). Do cos

B+C
2


= sin

A
.
2

On a donc
A
sin A sin B + sin C = 2 sin 2 sin
2
= 4 sin

B+C
2

A
B
C
cos sin
2
2
2

Mais il peut y avoir dautres cas.

55

BC
2

!
cos

B+C
2

+
2

BC
2

8.3. IDENTITS ET RCIPROQUES

CHAPITRE 8. IDENTITS

Exemple
Juillet 2005 - Question 4
Montrer que, si x et y vrifient
tan2 x = 2 tan2 y + 1
alors on a lgalit
cos 2x + sin2 y = 0.

Hyp : tan2 x = 2 tan2 y + 1


Th : cos 2x + sin2 y = 0

Rsolution : La premier membre de la thse scrit successivement


cos 2x + sin2 y = 2 cos2 x 1 + (1 cos2 y)


1
=2
cos2 y
2

 1 + tg x
1
cos2 y (par hypothse)
=2
1 + 2 tg2 y + 1
1
=
cos2 y
1 + tg2 y
=0


8.3

Identits et rciproques

Il est parfois demand de dmontrer une identit (conditionnelle ou non), puis denvisager
la cas de la rciproque. 2
Cela implique souvent de faire deux dmonstrations : une pour la proprit et lautre pour
la rciproque.
Exemple
Juillet 79, question 1.
Si cos(a + b) = cos a cos b, montrer que sin2 (a + b) = (sin a + sin b)2 .
Prciser dans quelles conditions la rciproque est vraie.

2. Voir annexe sur la logique mathmatique.

56

CHAPITRE 8. IDENTITS

8.3. IDENTITS ET RCIPROQUES

Dmontrons la proprit nonce.

Hyp : cos(a + b) = cos a cos b


Th : sin2 (a + b) = (sin a + sin b)2

Rsolution : comme on a toujours


cos(a + b) = cos a cos b sin a sin b,
lhypothse est quivalente
sin a sin b = 0
ou encore sin a = 0 ou sin b = 0. Or le premier membre de la thse scrit
sin2 (a + b) = (sin a cos b + sin b cos a)2 = sin2 a cos2 b + sin2 b cos2 a
Si sin a = 0, on a cos2 a = 1. Le premier membre de la thse est donc gal sin2 b et
il est gal au deuxime membre. Si sin b = 0, on a cos2 b = 1. Le premier membre de
la thse est donc gal sin2 a et il est gal au deuxime membre.

Rciproquement
Hyp : sin2 (a + b) = (sin a + sin b)2
Th : cos(a + b) = cos a cos b

Rsolution : Le premier membre de lhypothse est gal


sin2 (a + b) = sin2 a cos2 b + sin2 b cos2 a + 2 sin a sin b cos a cos b
et le second
(sin a + sin b)2 = sin2 a + 2 sin a sin b + sin2 b
de sorte que lhypothse est quivalente
2 sin a sin b (1 cos(a b)) = 0
La rciproque est donc vraie ssi 1 cos(a + b) 6= 0 a + b 6= 2k

Cependant, il est parfois possible de dmontrer la proprit et sa rciproque en une seule


dmonstration.
57

8.4. FONCTIONS RCIPROQUES

CHAPITRE 8. IDENTITS

Exemple
Montrer que le triangle ABC est rectangle ssi sin 4a + sin 4b + sin 4c = 0.

Hyp : a + b + c = 180, 0 < a < 180, 0 < b < 180, 0 < c < 180
Th : ABC rectangle ssi sin 4a + sin 4b + sin 4c = 0
Rsolution : Vu lhypothse, 4a = 720 4(b + c) et sin 4a = sin 4(b + c). Donc
sin 4a + sin 4b + sin 4c = 0
sin 4(b + c) + sin 4b + sin 4c = 0
2 sin 2(b + c) cos 2(b + c) + 2 sin 2(b + c) cos 2(b c) = 0
2 sin 2(b + c) (cos 2(b c) cos 2(b + c)) = 0
4 sin 2(b + c) sin 2b sin 2c = 0
Vu lhypothse, 2(b + c) = 360 2a et sin 2(b + c) = sin 2a.
Donc sin 4a + sin 4b + sin 4c = 0
sin 2a = 0 ou sin 2b = 0 ou sin 2c = 0

a = k ou b = k ou c = k
2
2
2
Vu les intervalles acceptables pour a,b et c, on obtient

sin 4a + sin 4b + sin 4c = 0 a = ou b = ou c =


2
2
2
cd la thse. 

8.4

Identits contenant des fonctions rciproques

Certaines identits peuvent aussi faire intervenir des expressions arcsin, arctg, etc. Une
mthode approprie sapplique gnralement

Exemple
Juillet 2005 - Question 3
Dmontrer lgalit
arctg a + arctg

58

1a

= .
1+a
4

CHAPITRE 8. IDENTITS

8.4. FONCTIONS RCIPROQUES

Methode 1
1a

, , ] , [.
1+a
2 2
1a
On a donc tg = a et tg =
.
1+a
Calculons
1a
a+
tg + tg
1+a =1
tg( + ) =
=
1a
1 tg tg
1a
1+a

Par suite + = + k.
4

Etant donn que , ] , [, on a + ] , [.
2 2

3
Les seules valeurs admissibles + sont donc
et . En conclusion, arctg a +
4
4
1a

1a
3
arctg
= ou arctg a + arctg
= .
1+a
4
1+a
4

Posons = arctg a et = arctg

Mthode 2
Lanalyse est un outil efficace pour rsoudre ce type de problme. La fonction
f (a) = arctg a + arctg

1a
1+a

est dfinie, continue et drivable sur R\{1}.


De plus,
f 0 (a) =

1
1
(1 + a) (1 a)
+
= 0.
2
2
1+a
(1 + a)2
1a
1+a

La fonction f est donc constante sur chacun des intervalles o elle est dfinie.
On peut dterminer sa valeur en donnant une valeur particulire a.
Dans ] , 1[, on peut prendre
lim f (a) = lim arctg a + lim arctg

1a

3
= + arctg(1) = .
1+a
2
4

Pour lintervalle ] 1, +[, on prend a = 0 et on trouve


f (0) = arctg 0 + arctg 1 =


59

.
4

8.4. FONCTIONS RCIPROQUES

CHAPITRE 8. IDENTITS

60

Annexe A
Elments de logique

A.1

Dfinitions

A.1.1

Assertions

Dans le cadre de la logique mathmatique, on dfinit les notions dassertion et de proposition. Toutefois, ce vocabulaire peut varier en fonction des sources. Nous adopterons les
dfinitions suivantes :
Une assertion est une phrase (mathmatique) qui a une seule valeur de vrit : soit
vraie (V), soit fausse (F). Cette phrase doit avoir un sens clair et non ambigu.
Une proposition est une assertion vraie.
Selon limportance ou la place que lon donne une proposition au sein dune thorie,
elle porte le nom de
thorme : proposition importante,
corollaire : consquence directe dun thorme,
lemme : proposition ncessaire la dmonstration dun thorme qui nest utile que
pour cette dmonstration,
axiome ou postulat : assertion dune thorie que lon admet au dpart comme vraie.
Deux assertions P et Q sont quivalentes si elles ont les mmes valeurs de vrit. On
crit P Q.
61

A.1. DFINITIONS

A.1.2

ANNEXE A. ELMENTS DE LOGIQUE

Oprations sur les assertions

A partir dune ou plusieurs assertions, il est possible de construire de nouvelles assertions


en utilisant des oprateurs (non, et, ou, , ).
Dans ce paragraphe, on note les assertions P, Q, R . Dans un premier temps, on ne sintresse pas au contenu de ces assertions, ni leur valeur de vrit, mais aux relations qui
existent entre elles.

Ngation dune assertion

Dfinition

Si P est une assertion, la ngation de P est une assertion qui est fausse si P est vraie et
qui est vraie si P est fausse. Elle est note non P ou P .
La ngation de P peut aussi tre dfinie par la table de vrit suivante :

non P

Proprit
'

Une assertion et sa double ngation ont les mmes valeurs de vrit


P non(nonP )
.

&

62

ANNEXE A. ELMENTS DE LOGIQUE

A.1. DFINITIONS

Exemple

1. Lassertion 5 = 3 + 4 est fausse,


sa ngation non(5 = 3 + 4) cest--dire 5 6= 3 + 4 est vraie.
2. Pour un nombre naturel n, on considre lassertion P : n est impair .
La ngation de P est (non P ) cd n nest pas impair cd n est pair .
La double ngation (non (non P )) est il nest pas vrai que n nest pas impair
cd il nest pas vrai que n est pair cd n est impair .

Conjonction et disjonction

Dfinitions
1. Soient deux assertions P et Q. Lassertion P et Q est vraie si les assertions P et Q
sont toutes les deux vraies et elle est fausse dans les autres cas.
Lassertion P et Q peut aussi tre dfinie par la table de vrit suivante :
P

Q P et Q

Lassertion P et Q est aussi crite sous la forme

P
Q
ou sous la forme P Q.
On peut faire le paralllisme avec le et du franais. Mais en logique mathmatique,
quand on envisage lassertion P et Q, il ny aucun lien dantriorit ou de causalit
entre les assertions P et Q.
2. Soient deux assertions P et Q. Lassertion P ou Q est vraie si au moins une des
deux assertions est vraie et elle est fausse si les deux assertions sont fausses.
Lassertion P ou Q peut aussi tre dfinie par la table de vrit suivante :
63

A.1. DFINITIONS

ANNEXE A. ELMENTS DE LOGIQUE


P

P ou Q

Ici aussi on peut voir le paralllisme avec le ou du franais, le ou ntant pas


exclusif. On la note aussi parfois P Q.

Proprits
'

1. Les oprateurs et et ou sont commutatifs :


(P et Q) (Q et P )
(P ou Q) (Q ou P )
2. Loi du tiers exclus : lassertion P ou (non P ) est toujours vraie.
&

Principes de Morgan


La ngation de (P ou Q) est lassertion non P et non Q.


cd non(P ou Q) (non P et non Q).


La ngation de P et Q est lassertion non P ou non Q.


cd non(P et Q) non P ou non Q.


Exemple
Rsoudre x2 = 1.
x2 = 1 x = 1 ou x = 1.
On ne peut pas crire

x=1
x2 = 1
x = 1
puique laccolade signifie "et".
1

1. Souvent la notation x = 1 est utilise pour condenser x = 1 ou x = 1. Le signe se lit "plus


ou moins".

64

ANNEXE A. ELMENTS DE LOGIQUE

A.2. IMPLICATION ET QUIVALENCE

Exemple
Rechercher les conditions dexistence de
CE :

x2

1
.
1

x 6= 1
x2 =
6 1 x 6= 1 et x 6= 1
x 6= 1

puisque laccolade signifie "et".


2

A.2
A.2.1

Implication et quivalence
Dfinition

Soient deux assertions P et Q. Lassertion P implique Q est vraie sauf si lassertion


P est vraie et Q fausse. On la note P Q.
P est appele lantcdent, Q est le consquent.
Elle peut aussi tre dfinie par la table de vrit suivante :
P

P Q

Lassertion P Q est fausse uniquement si P est vraie et Q est fausse.


Mme si cela semble contraire notre intuition, limplication P Q est vraie quand P est
fausse.

Terminologie
Limplication P Q se lit aussi sous la forme :
P implique Q ou P entrane Q ;
Si on a P , alors on a Q ;
2. Souvent la notation x 6= 1 est utilise pour condenser x 6= 1 et x 6= 1. Elle devrait tre dconseille
puisque, au sens strict, elle remplace le "et" par "ou".

65

A.2. IMPLICATION ET QUIVALENCE

ANNEXE A. ELMENTS DE LOGIQUE

Q dcoule de P ;
Q est une condition ncessaire (CN en abrg) pour avoir P
P est une condition suffisante (CS en abrg) pour avoir Q
Remarques
1. La vrit de limplication P Q traduit autre chose que le fait de voir apparatre la
vrit de Q comme consquence de la vrit de P . En effet, dune part, limplication
est aussi vraie si P est faux et dautre part, si lassertion P Q est vraie, on ne peut
pas dduire que Q est vrai sans avoir vrifi que P est vrai. Par consquent, dans une
dmonstration, le signe ne peut pas tre utilis la place des mots donc, do,
par consquent, par suite,... .
2. Pour dmontrer que la proprit P Q est vraie, il suffit de supposer que P est vraie
et dmontrer que Q est vrai puisque limplication est toujours vraie si P est fausse.
Lassertion P suppose vraie au dpart est encore appele hypothse ; lassertion Q est
appele thse.
3. Certains noncs de thormes ne se prsentent pas explicitement sous la forme Si ...,
alors ... , mais sont nanmoins des implications.

Proprits

1.

2.

Limplication P Q a la mme valeur de vrit que (non P ) ou Q.

La ngation de P Q est lassertion P et (non Q).

Limplication P Q quivaut limplication non Q non P , qui est appele


3.

4.

contrapose de P Q.

Limplication est transitive : ((P Q) et (Q R)) (P R)

66

ANNEXE A. ELMENTS DE LOGIQUE

A.2.2

A.2. IMPLICATION ET QUIVALENCE

Implication rciproque

La rciproque de limplication P Q est la nouvelle implication Q P .


Dans certains cas, une implication et sa rciproque peuvent tre vraies simultanment, mais
lune peut tre vraie sans que lautre ne le soit.
Exemples

1. Ecrire la rciproque de limplication x = 2 x2 = 4.


Sont-elles vraies toutes les deux ?
2. Ecrire lnonc du thorme de Pythagore ainsi que sa rciproque.
Sagit-il dassertions vraies ?

A.2.3

Equivalence

Dfinition

Les assertions P et Q sont quivalentes si P et Q ont les mmes valeurs de vrit.


Cette dfinition peut aussi se traduire par :
Lquivalence P Q est vraie si P et Q ont les mmes valeurs de vrit et fausse dans les
autres cas.
On peut alors y associer la table de vrit suivante :
P

P Q

Terminologie
Lquivalence P Q se lit aussi
les assertions P et Q sont quivalentes ;
P quivaut Q ;
on a P si et seulement si on a Q que lon note P ssi Q ;
67

A.3. QUANTIFICATEURS

ANNEXE A. ELMENTS DE LOGIQUE

P est une condition ncessaire et suffisante ( CNS en abrg) pour avoir Q ;


Pour avoir Q, il faut et il suffit davoir P ;
P est un critre pour avoir Q.
Proprit

Lassertion P Q a la mme valeur de vrit que (P Q) et (Q P ).

A.3

Quantificateurs

A.3.1

Dfinitions

On appelle prdicat une proposition contenant une ou plusieurs variables tel que si on
remplace celles-ci par des lments dun ensemble, on obtient une assertion.
Soit P (x) une prdicat qui dpend dune variable x.
Le domaine de dfinition de P (x) est lensemble des valeurs de x pour lesquelles P (x)
est une assertion.
Le domaine de validit de lassertion P (x) est lensemble des valeurs de x pour lesquelles
P (x) est une assertion vraie (ou une proposition).
Lassertion il existe x appartenant E tel quon a P (x) est vraie si lassertion P (x)
est vraie pour au moins une valeur de x appartenant E.
Elle se note : x E : P (x).
Le symbole est appel quantificateur existentiel, il se lit il existe .
Cette notation fut introduite par G. PEANO (Italie, 1858-1932) en 1898 dans lun de
ses Formulaires .
Dans le cas ou on veut exprimer il existe un seul x appartenant E tel que P (x)
est vraie, on crit !x E : P (x).
Lassertion pour tout x appartenant E, on a P (x) est vraie si lassertion P (x) est
vraie quelles que soient les valeurs de x appartenant E.
Elle se note : x E : P (x). Le symbole est appel quantificateur universel, il se lit
pour tout ou encore quel que soit . Il sagit dun A renvers pour All cd tout
en allemand et en anglais.
68

ANNEXE A. ELMENTS DE LOGIQUE

A.3. QUANTIFICATEURS

Cette notation aurait t introduite en 1934 par Gentzen(1909-1945) ; elle ne figurait


pas dans les Formulaires de Peano.

A.3.2

Proprits

La ngation de x E : P (x) est lassertion x E : non P (x).


La ngation de x E : P (x) est lassertion x E : non P (x).


A.3.3

Assertions avec plusieurs quantificateurs

Si une assertion dpend de plusieurs variables, on peut construire de nouvelles assertions


comportant plusieurs quantificateurs.
Exemples
Indiquer si les assertions suivantes sont vraies ou fausses.
1. x R, y R : x + y = y + x
Cette assertion exprime la commutativit de laddition dans R.
2. x R, y R : x + y = 5
3. y R, x R : x + y = 5
4. n R, x R : x + n = x = n + x
Cette assertion traduit lexistence dun neutre n pour laddition dans R.
5. x R, x0 R : x + x0 = 0 = x0 + x
Cette assertion traduit lexistence dun oppos pour chaque rel.
Obtient-on une assertion quivalente si on permute les quantificateurs ?

69

A.3. QUANTIFICATEURS

ANNEXE A. ELMENTS DE LOGIQUE

70

Annexe B
Quelques types de dmonstrations
partir dun certain nombre daxiomes, on construit de nouvelles propositions qui constituent une thorie mathmatique, celle des nombres entiers, des rels, des nombres complexes
ou encore la gomtrie, la thorie des probabilits, ...
Ces propositions ou thormes doivent tre dmontrs cd valids par un raisonnement
qui respecte les rgles de logique abordes dans lannexe prcdente. Une proposition dj
dmontre peut ensuite tre elle-mme utilise dans dautres dmonstrations. Lordre dans
lequel on dmontre les proprits a donc beaucoup dimportance !
Dans ce chapitre, nous envisageons diffrents types de dmonstrations.

B.1

Dmonstration dune galit ou dune ingalit

Pour dmontrer lgalit A = B, on peut utiliser une des 3 mthodes suivantes :


on transforme lcriture de A jusqu obtenir B : A = A0 = ... = B ;
on transforme lcriture de B jusqu obtenir A : B = B 0 = ... = A ;
on transforme lcriture de A et indpendamment celle de B jusqu ce quon obtienne
la mme expression :
A = A0 = ... = C,
B = B 0 = ... = C.
Lors des transformations, on peut alors utiliser une galit dj dmontre.
On ne peut pas traiter une galit dmontrer comme une quation que lon veut rsoudre.
71

B.2. DMONSTRATION DUNE IMPLICATION

ANNEXE B. DMONSTRATIONS

Exemple : Dmontrer
(a + b)3 = a3 + 3a2 b + 3ab2 + b3 .

Hyp : a, b R
Th : (a + b)3 = a3 + 3a2 b + 3ab2 + b3
Dm :
(a + b)3 = (a + b)2 (a + b)
= (a2 + 2ab + b2 )(a + b)
= (a3 + 2a2 b + ab2 ) + (a2 b + 2ab2 + b3 )
= a3 + 3a2 b + 3ab2 + b3

On procde de faon analogue pour dmontrer une ingalit.

B.2

Dmonstration dune implication

Une proposition peut souvent se prsenter sous la forme dune implication.

B.2.1

Raisonnement dductif

Considrons limplication P Q.
Elle est toujours vraie si P est faux ! Il suffit donc de supposer que P est vrai et de prouver
que Q est vrai.
P constitue les hypothses et Q la thse.
Lors du raisonnement, on utilise des mots ou des locutions tels que donc, ds lors, do, par
consquent, on dduit que,... On justifie les dductions en citant les propositions appliques
en crivant les mots liens : car, parce que, vu que, puisque, comme, or, ... Une flche
na pas sa place dans une dmonstration car elle traduit une implication qui ne peut pas nous
permettre de dduire des lments supplmentaires.
72

ANNEXE B. DMONSTRATIONS

B.2. DMONSTRATION DUNE IMPLICATION

Exemple
Dmontrer Si n est un entier pair, alors n2 est un entier pair.
Cette proposition se traduit sous la forme dune implication :
n est pair n2 est pair.

Th : n2 est pair

Hyp : n est pair

Dm : Comme n est pair, il scrit n = 2p o p est un entier.


On obtient donc n2 = 4p2 = 2(2p2 ). Ds lors n2 est pair puisque 2p2 est entier.

B.2.2

Dmonstration par contraposition

Dmontrer limplication P Q revient dmontrer sa contrapose, soit non Q


non P .
Exemple
Dmontrer Si n2 est pair, alors n est pair.

Cette assertion est quivalente sa contrapose :


Si n nest pas pair, alors n2 nest pas pair
qui peut aussi snoncer :
Si n est impair, alors n2 est impair .
Hyp : n est impair

Th : n2 est impair

Dm : Comme n est impair, il scrit n = 2k + 1 o k est un entier.


On obtient donc
n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1 = 2p + 1,
o p = 2k 2 + 2k est un entier. Par consquent, n2 est impair.

B.2.3

Dmonstration dune quivalence

Pour dmontrer lquivalence P Q, on peut procder de deux manires :


Premire mthode : on dmontre les deux implications P Q et Q P .

73

B.2. DMONSTRATION DUNE IMPLICATION

ANNEXE B. DMONSTRATIONS

Exemple
Pour dmontrer n est pair n2 est pair , on dmontre les deux implications
rciproques lune de lautre :
1. n est pair n2 est pair : voir ci-dessus (B.2.1)
2. n2 est pair n est pair : voir ci-dessus (B.2.2)

Deuxime mthode : on traite des quivalences successives.

Exemple
Pour tous rels x et y : x2 = y 2 x = y ou x = y.
Th : x2 = y 2 x = y ou x = y.

Hyp : x, y R

Dm : On a les quivalences suivantes :


x2 = y 2 x2 y 2 = 0
(x y)(x + y) = 0
x y = 0 ou x + y = 0
x = y ou x = y
on peut donc conclure que x2 = y 2 x = y ou x = y.

B.2.4

Dmonstration par labsurde

Pour dmontrer limplication P Q par labsurde, on considre P comme hypothse et


Q comme thse.
Le raisonnement sappuye sur la tautologie 1
P et (non Q non P ) Q.
La mthode nous amne donc supposer ensuite que la thse est fausse cd que non Q
est vrai et on cherche en dduire un rsultat qui contredit une hypothse ou une proprit
dj dmontre (non Q non P ). Vu la tautologie, cela signifie que la supposition Q est
vrai.
Exemple
Le nombre rel

2 est irrationnel.

1. En calcul propositionnel, on appelle tautologie (du calcul propositionnel) une proposition (ou nonc)
toujours vraie.

74

ANNEXE B. DMONSTRATIONS
Hyp : -

B.2. DMONSTRATION DUNE IMPLICATION


Th :

2
/Q

Dm : Procdons par labsurde et supposons que

2 est rationnel.

p
2= .
q
En effet, on peut supposer sans restriction que la fraction est simplifie car
Il existe alors deux nombres naturels premiers entre eux p et q tels que

si ce nest pas le cas, on la simplifie au maximum avant dentreprendre le


raisonnement.
On a donc p =

2 q et p2 = 2q 2 , ce qui implique que p2 est pair et p aussi

puisquon a dmontr limplication p2 est pair p est pair .


Par consquent, il existe un naturel k tel que p = 2k, do p2 = 4k 2 . On peut
donc dduire que q 2 = 2k 2 est pair et que q est galement pair.
Il en rsulte que les deux nombres p et q sont tous les deux divisibles par 2, ce
p
qui contredit le fait que la fraction est simplifie.
q
Il est donc absurde de supposer 2 est rationnel.

B.2.5

Notion de contre-exemple

Pour montrer quune assertion nest pas vraie, il suffit de trouver un cas o elle est fausse,
on dit alors que ce cas est un contre-exemple.

Exemple
Montrer que lassertion suivante est fausse :
Le carr dun nombre rel est suprieur ou gal ce rel .

Dm : Il existe beaucoup de nombres rels infrieurs ou gaux leur carr. Par


exemple, 2 puisque 22 = 4 > 2.
Toutefois, lassertion nest pas toujours vraie ; en effet, on a


1 2
2

1
4

< 12 .

Ceci prouve que lassertion nest pas vraie pour tous les rels.

B.2.6

Thse quivalente

Pour dmontrer limplication P Q, il est parfois commode de remplacer la thse Q par


une assertion quivalente.
75

B.2. DMONSTRATION DUNE IMPLICATION

ANNEXE B. DMONSTRATIONS

Exemple
x
tant donns trois nombres rels positifs x, y et z, si x y + z, alors

1 + 2x
z
y
+
.
1 + 2y 1 + 2z
Hyp : x, y, z 0, x y + z
x
y
z
Th :

+
.
1 + 2x
1 + 2y 1 + 2z
Dm : Transformons lingalit de la thse en :
x(1 + 2y)(1 + 2z) y(1 + 2x)(1 + 2z) + z(1 + 2x)(1 + 2y)
qui est une ingalit quivalente la thse car on a multipli les deux membres de
lingalit par (1 + 2x)(1 + 2y)(1 + 2z) > 0 vu que x, y et z sont positifs.
En dveloppant les deux membres de cette ingalit et en simplifiant, on obtient une
nouvelle ingalit qui est aussi quivalente la thse :
x y + z + 4yz(1 + x).
Il suffit alors de dmontrer cette ingalit laide des hypothses.
On sait que x y + z entrane x y + z + 4yz(1 + x) puisque le terme 4yz(1 + x)
est positif.

B.2.7

Dmonstration par rcurrence

Ce type de dmonstrations est longuement voqu dans la synthse dalgbre.

76

Annexe C
Exercices rsolus
Exemple 1 Septembre 2000 - Question 2
Rsoudre lquation
2 sin2 x +

3 sin 2x = 3

(C.1)

On remarque que lutilisation de la formule de Carnot


2 sin2 x = 1 cos 2x
Transforme lquation en une lquation linaire en sin 2x et cos 2x

1 cos 2x + 3 sin 2x = 3

3 sin 2x cos 2x = 2

3
1
sin 2x cos 2x = 1
2
2

Cette quation admet des solutions, car la condition (5.5) est respecte. On rsout cette quation par la mthode cite prcdemment. On commence par rechercher r et tels que

3
= r sin
2
1

= r cos
2
r est donn par lquation (5.3)
s

3 2
1
r= (
) + ( )2 = 1 = 1
2
2
77

ANNEXE C. EXERCICES RSOLUS


par lquation (5.4)

tan =

3
2
21

= 3

2
ou =
3
3

On sait que le sinus de doit tre positif. La valeur correcte de est

2
.
3

Lquation (C.1) scrit donc


sin

r sin sin 2x + r cos cos 2x



 
2
2
sin 2x + cos
cos 2x
3
3


2
cos 2x
3
2
2x
3

= 1
= 1
= 1
= 2k

2
+ 2k
3

x =
+ k
3

2x =

Lensemble des solutions sera


S=

n
3

+ k , k Z

78

ANNEXE C. EXERCICES RSOLUS


Exemple 2 Septembre 2005 - Question 2
Rsoudre lquation
tan3 x 3 tan2 x 3 tan x + 1 = 0

(C.2)

Conditions dexistence.
Lexpression manipule ne comporte ni fractions, ni racines. On manipule par contre les
fonctions tangentes. Il faut donc vrifier que tan x soit bien un nombre fini. Pour cela, il faut
que
cos x 6= 0

x 6=
+ k, k Z
2

(C.3)

Manipuler lquation (C.2) na donc que sens que si (C.3) est vrifi.

Rsolution
Une fois (C.3) prcis, on peut alors rsoudre (C.2) en remarquant quil sagit dune quation
algbrique du troisime degr en tan x. En procdant par groupement, et se souvenant que
a3 + b3 = (a + b)(a2 ab + b2 ), on factorise cette quation
tan3 x 3 tan2 x 3 tan x + 1 = 0
(tan3 x + 13 ) + (3 tan2 x 3 tan x) = 0
(tan x + 1)(tan2 x tan x + 1) 3 tan x(tan x + 1) = 0
(tan x + 1)(tan2 x tan x + 1 3 tan x) = 0
(tan x + 1)(tan2 x 4 tan x + 1) = 0
Rsoudre lquation (C.2) revient rsoudre les deux quations de base
(tan x + 1) = 0 ou (tan2 x 4 tan x + 1) = 0
Rsolvons tout dabord lquation de gauche
(tan x + 1) = 0
tan x = 1

x = + k
4
79

(C.4)

ANNEXE C. EXERCICES RSOLUS


Rsolvons ensuite lquation de droite
tan2 x 4 tan x + 1 = 0

tan x = 2 + 3 ou tan x = 2 3

x = arctan(2 + 3) + k ou x = arctan(2 3) + k
5

x=
+ k ou x =
+ k
12
12

(C.5)

Lensemble des solutions sera donc lunion de (C.4) et de (C.5) auquel on on retire (C.3),
cest dire

S=

k
+
12
3

80


,k Z

ANNEXE C. EXERCICES RSOLUS


Exemple 3 Septembre 2002 - Question 2
Rsoudre lquation
cot x cos x
= 2(1 sin x)
cot x + cos x

(C.6)

Conditions dexistence
Dune part, la cotangente doit tre dfinie. Il faut donc que
sin x 6= 0
x 6= k
Dautre part, le dnominateur doit tre non nul.
cot x + cos x 6= 0
cos x
+ cos x 6= 0
sin
 x

1 + sin x
cos x
6= 0
sin x
Comme on a dj pos que sin x 6= 0, on peut multiplier les deux membres par ce terme et
simplifier, afin dobtenir
cos x(1 + sin x) 6= 0

(C.7)

Ceci nest lgal que parce quon est certain que sin x 6= 0. Dans le cas contraire, on ne peut
liminer le dnominateur.
Lquation (C.7) se rduit aux deux quations de base
cos x 6= 0 et sin x 6= 1

x 6= + k et x 6= + 2k
2
2

Au total, les conditions dexistence seront


x 6=

k
,k Z
2

(C.8)

Rsolution
Comme souvent dans le cas dquations faisant intervenir des fonctions tangente, cotangente,
scante ou coscante ainsi que des sinus ou cosinus, on rcrit lensemble des fonctions au
81

ANNEXE C. EXERCICES RSOLUS


moyen de sin et cos seulement.
cos x
sin x
cos x
sin x

cos x
= 2(1 sin x)
+ cos x

x
cos x 1sin
sin x
= 2(1 sin x)
x
cos x 1+sin
sin x

On voudrait pouvoir simplifier et crire que cette quation est quivalente


1 sin x
= 2(1 sin x)
1 + sin x
Ceci nest vrai que si cos x 6= 0 et sin x 6= 0. On vrifie donc que les conditions dexistence
permettent cette simplification. Au vu de (C.8), cest heureusement le cas, et lquation se
rduit bien
1 sin x
= 2(1 sin x)
1 + sin x
On poursuit la rsolution par une mise en vidence du facteur commun, puis on met les deux
termes au mme dnominateur 1



1
(1 sin x)
2
= 0
1 + sin x


1 2 sin x
= 0
(1 sin x)
1 + sin x

Au vu des conditions dexistence, 1 + sin x 6= 0. Lquation se rcrit donc


(1 sin x)(1 2 sin x) = 0

1 sin x = 0 ou 1 2 sin x = 0
1
sin x = 1 ou sin x =
2
1. Au vu des conditions dexistence, on pourrait simplifier les deux membres par 1sin x. Ceci nest valide
que parce que les conditions dexistence nous affirment que le facteur 1 sin x est diffrent de zro. En rgle
gnrale, simplifier les deux membres dune quation par un facteur qui contient linconnue revient ngliger
des solutions. Par exemple, simplifier lquation 2 sin x = sin x par sin x mne lgalit absurde 2 = 1. La
dmarche correcte est de mettre sin x en vidence, ce qui conduit lquation sin x(2 1) = 0, ayant pour
solutions x = k, k Z.

82

ANNEXE C. EXERCICES RSOLUS


La solution sin x = 1 est rejeter car elle est incompatible avec les conditions dexistence.
Restent donc les solutions
x=

7
+ 2k ou x =
+ 2k
6
6

qui, elles, sont bien compatibles. Lensemble des solutions est donc

n
o  7
S = + 2k
+ 2k , k Z
6
6


83

ANNEXE C. EXERCICES RSOLUS


Exemple 4 Juillet 07 - Question 2
Rsoudre lquation
cos6 x + sin6 x =

7
16

(C.9)

Le membre de gauche est bien homogne de degr 6, tandis que celui de droite est de degr
nul. On multiplie donc ce dernier par (cos2 x + sin2 x)3 , ce qui donne
7
(cos2 x + sin2 x)3
16
7
cos6 x + sin6 x =
(cos6 x + 3 cos4 x sin2 x + 3 cos2 x sin4 x + sin6 x)
16
0 = 3 cos6 x 7 cos4 x sin2 x 7 cos2 x sin4 x + 3 sin6 x
cos6 x + sin6 x =

ce qui est bien une quation homogne en sinus et cosinus de degr 6. Comme cos x = 0 nest
pas solution, on divise cette quation par cos6 x, ce qui nous donne
3 tan6 x 7 tan4 x 7 tan2 x + 3 = 0
qui est une quation algbrique du troisime degr en tan2 x. On pose donc tan2 x = y pour
se ramener lquation
3y 3 7y 2 7y + 3 = 0
Par inspection, on remarque que y = 1 est solution. On factorise donc cette quation en
mettant le facteur y + 1 en vidence
(y + 1)(3y 2 10y + 3) = 0
On commence par rsoudre lquation y + 1 = 0. Sachant que y = tan2 x, cela donne
tan2 x = 1
ce qui est impossible. La premire quation nadmet pas de solution.
On rsout alors lquation 3y 2 10y + 3 = 0. Ses solutions sont
y = 3 ou y =

1
3

tan2 x = 3 ou tan2 x =

1
3

3
tan x = 3 ou tan x =
3

x = + k ou + k
3
6
84

ANNEXE C. EXERCICES RSOLUS


Ce qui donne pour ensemble de solutions
n
o n
o
S = + k + k , k Z
3
6


85

ANNEXE C. EXERCICES RSOLUS


Exemple 5 Juillet 2010 - Question 2
Rsoudre lquation
sin4 x + cos4 x = sin x cos x

(C.10)

Il sagit bien dune quation symtrique en sinus et cosinus 2 . On utilise les quations (5.6)
et (5.7) pour valuer les diffrents termes de lquation (C.10)
!4
!4

2
2
sin4 x =
(cos y + sin y)
(cos y sin y)
cos4 x =
2
2
1
= (sin2 y + cos2 y 2 sin y cos y)2
4
1
= (1 2 sin y cos y)2
4
1
= (1 4 sin y cos y + 4 sin2 y cos2 y)
4

1
= (sin2 y + cos2 y + 2 sin y cos y)2
4
1
= (1 + 2 sin y cos y)2
4
1
= (1 + 4 sin y cos y + 4 sin2 y cos2 y)
4
Lquation (C.10) devient

1
1
(1 + 4 sin2 y cos2 y) =
(cos2 y sin2 y)
2
2
2
2
2
2
1 + 4 sin y cos y cos y + sin y = 0
Reste alors remplacer sin2 y par 1 cos2 y pour se ramener une quation du second degr
en cos2 y
1 + 4(1 cos2 y) cos2 y cos2 y + 1 cos2 y = 0
4 cos4 y + 2 cos2 y + 2 = 0
2 cos4 y + cos2 y + 1 = 0
Cette quation nous fournit deux valeurs de cos2 y
cos2 y =

1
ou cos2 y = 1
2

Lquation de gauche est videmment rejeter, un carr tant toujours positif. Reste rsoudre lquation de droite.
cos2 y = 1
cos y = 1
y = k
2. Notons que lon aurait galement pu ramener cette quation une quation homogne en sinus et
cosinus en multipliant le membre de droite par cos2 x + sin2 x On se serait alors ramen une quation
algbrique du quatrime degr en tan x, que lon aurait rsolue par groupement.

86

ANNEXE C. EXERCICES RSOLUS


Finalement, on repasse la variable dorigine, se souvenant que x = y +
x

= k
4

x =
+ k
4

Les solutions seront au final


S=

n
4

+ k , k Z

87

ANNEXE C. EXERCICES RSOLUS


Exemple 6 Septembre 2001 - Question 2
Rsoudre lquation 3
tan x + cot x + sec x + csc x = 2
Conditions dexistence
Il faut que les fonctions utilises soient dfinies, cest--dire que
cos x 6= 0 et sin x 6= 0
x 6=

k
,k Z
2

Rsolution
Travailler avec des scantes ou coscantes est rarement conseill, car peu de formules concernent
ces fonctions. On rcrit lquation en terme de sinus et de cosinus
sin x cos x
1
1
+
+
+
= 2
cos x sin x cos x sin x
1 + sin x 1 + cos x
+
= 2
cos x
sin x

Et on remarque que cette quation est symtrique en sinus et cosinus. Il faut toutefois mettre
les diffrents termes au mme dnominateur avant deffectuer la substitution, car on ne dsire
pas conserver de fraction.
sin x + sin2 x + cos x + cos2 x
2 sin x cos x
=
sin x cos x
sin x cos x
1 + sin x + cos x
2 sin x cos x
=
sin x cos x
sin x cos x

Les conditions dexistence nous garantissent que le dnominateur est non nul. Lquation peut
donc tre crite
1 + sin x + cos x = 2 sin x cos x
3. Les fonctions scante et coscante, qui seront notes dans ce document sec et csc, reprsentent linverse
des fonctions cosinus et sinus. On a donc les relations
sec x =
csc x =

88

1
cos x
1
sin x

ANNEXE C. EXERCICES RSOLUS


On remplace alors sin x et cos x en utilisant les formules (5.6) et (5.7), via le changement de
variable x = y + 4 .

2
2
1+
(cos y + sin y) +
(cos y sin y)
2
2

1 + 2 cos y

1 + 2 cos y

2 cos y

cos y(2 cos y 2)

2
2
= 2
(cos y + sin y)
(cos y sin y)
2
2
= sin2 y cos2 y
= (1 cos2 y) cos2 y
= 2 cos2 y
= 0

Ce qui nous donne

2
cos y = 0 ou cos y =
2

y = + k ou y = + 2k
2
4
On revient alors la variable de dpart, se souvenant que x = y +

= + k ou x = + 2k
4
2
4
4

3
+ k ou x = + 2k
x=
4
4
4

Ce qui donne les solutions


3
+ k
4

x =
+ 2k
2
x = 2k

x =

Seule la premire solution est conserver, les deux dernires solutions tant rejeter au vu
des conditions dexistence. Lensemble des solutions sera


3
S=
+ k , k Z
4


89

ANNEXE C. EXERCICES RSOLUS


Exemple 7 Juillet 2003 - Question 3
Rsoudre lquation
cos 2x + cos 6x = 1 + cos 8x

(C.11)

Cette quation ne comporte que des fonctions cosinus darguments diffrents. Lutilisation
des formules de Carnot et/ou de Simpson est donc conseille. La prsence du 1, qui se trouve
uniquement dans la formule de Carnot, encourage utiliser une fois cette formule. Reste
bien grouper les termes.
Appliquer Simpson au membre de gauche nous donne
cos 2x + cos 6x = 2 cos 4x cos 2x
Appliquer Carnot au membre de droite
1 + cos 8x = 2 cos2 4x
et le facteur cos 4x est bien commun aux deux termes. Ce choix de groupement nous rend
bien un facteur commun, qui peut tre mis en vidence. Lquation (C.11) devient
2 cos 4x cos 2x = 2 cos2 4x
2 cos 4x(cos 2x cos 4x) = 0
Lquation de dpart se rduit donc en deux quations de base.
cos 4x = 0 ou cos 2x cos 4x = 0
Rsolvons la premire quation
cos 4x = 0

4x =
+ k
2
k
x =
+
8
4
Rsolvons la deuxime
cos 2x cos 4x = 0
cos 2x = cos 4x
2x = 4x + 2k
90

ANNEXE C. EXERCICES RSOLUS


2x = 4x + 2k ou 2x = 4x + 2k
k
x = k ou x =
3
Au total, on aura donc

S=

k
+
8
4

91

k
3


,k Z

ANNEXE C. EXERCICES RSOLUS


Exemple 8 Juillet 2007 - Question 3
Rsoudre
sin 5x sin 3x = cos 6x + cos 2x
Il sagit bien dune quation comportant des fonctions sinus et cosinus darguments diffrents.
Labsence de chiffre nous pousse nutiliser que les formules de Simpson. Si lon applique ces
formules aux membres de gauche et de droite tels quils sont prsents, on aura respectivement
sin 5x sin 3x = 2 cos 4x sin x
cos 6x + cos 2x = 2 cos 4x cos 2x
Et on retrouve cos 4x commun aux deux termes. On met ce facteur en vidence
2 cos 4x sin x = 2 cos 4x cos 2x
cos 4x(sin x cos 2x) = 0
Ce qui donne les deux quations de base
cos 4x = 0 ou sin x cos 2x = 0
On rsout la premire
cos 4x = 0
k
x =
+
8
4
Puis la deuxime
sin x cos 2x = 0
cos 2x = sin x

cos 2x = cos( x)
2

2x = ( x) + 2k
2

x + 2k ou
2
2k
x= +
ou
6
3

2x = (

2x =

x=

x) + 2k
2

+ 2k
2

Au total, les solutions seront



S=

k
+
8
4


92

2k
+
6
3


,k Z

ANNEXE C. EXERCICES RSOLUS


Exemple 9 Juillet 2008
Rsoudre
sin x + sin 2x + sin 3x =

2(1 + cos x + cos 2x)

(C.12)

Il sagit bien dune quation o ne sont prsentes que des fonctions sinus et cosinus, avec des
arguments diffrents, mais lutilisation des formules de Simpson et de Carnot ne permet pas
directement davoir un facteur commun. On va ici travailler chaque membre sparment et
esprer arriver une expression similaire de chaque ct.
On commence par le membre de gauche. Appliquer Simpson aux premier et troisime termes
semble le plus judicieux, car le facteur sin 2x sera alors commun aux deux termes du membre
de gauche et pourra tre mis en vidence.
sin x + sin 2x + sin 3x = sin 2x + 2 sin 2x cos(x)
= sin 2x + 2 sin 2x cos x
= sin 2x(1 + 2 cos x)

(C.13)

On laisse ce terme de ct pour le moment et on passe au membre de droite. Le 1 nous indique


Carnot. On groupe donc les premier et troisime termes, afin de faire apparaitre cos x, qui
sera commun au membre de droite.

2(1 + cos x + cos 2x) =


=

2(cos x + 2 cos2 x)
2 cos x(1 + 2 cos x)

(C.14)

Fort heureusement, les deux membres, reprsents par les quations (C.13) et (C.14), ont le
facteur 1 + 2 cos x en commun. Lquation de dpart (C.12) devient alors

2 cos x(1 + 2 cos x)


sin 2x(1 + 2 cos x) =

(1 + 2 cos x)(sin 2x 2 cos x) = 0


Le facteur (1 + 2 cos x) est une quation de base, il nest donc plus ncessaire de le modifier.

Le facteur (sin 2x 2 cos x), lui, doit encore tre lgrement chang. Il suffit dutiliser la
formule de duplication sin 2x = 2 sin x cos x pour faire apparaitre le facteur cos x, qui sera
mis en vidence. Ce faisant, (C.12) devient finalement
cos x(1 + 2 cos x)(2 sin x
93

2) = 0

ANNEXE C. EXERCICES RSOLUS


qui se dcompose en trois quations de base
cos x = 0

(C.15)

1 + 2 cos x = 0

2 sin x 2 = 0

(C.16)

Il ne reste plus qu rsoudre ces quations lmentaires.


Lquation (C.15) admet pour solutions
x=

+ k
2

(C.16) donne
1
2
2
x =
+ 2k
3

cos x =

Enfin, (C.17) devient

2
sin x =
2

x=

3
+ 2k ou x =
+ 2k
4
4

Au total, lensemble des solutions sera


 n

o  2
o  3
n

+ k
+ 2k
+ 2k
+ 2k
S=
2
3
4
4


94

(C.17)

ANNEXE C. EXERCICES RSOLUS


Exemple 10 Juillet 2010 - Question 2
Rsoudre lquation
sin4 x + cos4 x = sin x cos x

(C.18)

Lquation fait intervenir les termes sin4 x et cos4 x. Or on sait, via la formule fondamentale,
que
sin2 x + cos2 x = 1
(sin2 x + cos2 x)2 = 12
sin4 x + 2 sin2 x cos2 x + cos4 x = 1
sin4 x + cos4 x = 1 2 sin2 x cos2 x
On insre ceci dans (C.18), ce qui donne
1 2 sin2 x cos2 x = sin x cos x
2 sin2 x cos2 x + sin x cos x 1 = 0
et on obtient une quation du second degr en la variable sin x cos x. Se souvenant de la
formule de duplication 2 sin x cos x = sin 2x, on se ramne lquation du second degr en
sin 2x
1 2
1
sin 2x + sin 2x 1 = 0
2
2
2
sin 2x + sin 2x 2 = 0
Cette quation admet pour solutions
sin 2x = 1 ou sin 2x = 2
La deuxime solution est exclure. Reste donc rsoudre
sin 2x = 1

2x =
+ 2k
2

x =
+ k
4
Ce qui donne pour ensemble de solutions
S=

n
4

+ k


95

ANNEXE C. EXERCICES RSOLUS


Exemple 11 Juillet 2005 - Question 2
Rsoudre
sin6 x + cos6 x =

5
8

(C.19)

On commence par utiliser la formule


a3 + b3 = (a + b)(a2 ab + b2 )
Ds lors, on aura ici
sin6 x + cos6 x = (sin2 x)3 + (cos2 x)3
= (sin2 x + cos2 x)(sin4 x sin2 x cos2 x + cos4 x)
= sin4 x sin2 x cos2 x + cos4 x
On regroupe alors les termes existants pour faire apparaitre (sin2 x + cos2 x)2
sin6 x + cos6 x = sin4 x sin2 x cos2 x + cos4 x
= sin4 x + 2 sin2 x cos2 x + cos4 x 3 sin2 x cos2 x
= (sin2 x + cos2 x)2 3 sin2 x cos2 x
= 1 3 sin2 x cos2 x
Sachant cela, lquation (C.19) devient
5
8
1
sin2 x cos2 x =
8

1 3 sin2 x cos2 x =

On utilise enfin la formule de duplication 2 sin x cos x pour se ramener lquation de base
1 2
1
sin 2x =
4
8

2
sin 2x =
2

2x =
+k
4
2

x =
+k
8
4

Au total,

S=

k
+
8
4


96


,k Z

ANNEXE C. EXERCICES RSOLUS


Exemple 12 Septembre 2004 - Question 2
Rsoudre

2
sin x cos x sin x cos x =
8
3

Cet exercice est rsolu en utilisant seulement les formules de duplication. Si lon met le facteur
sin x cos x en vidence, on fait directement apparaitre ces deux formules, un facteur prs.

2
2
2
sin x cos x(sin x cos x) =
8
1
2
2 sin x cos x((cos2 x sin2 x)) =
2
8
1
2
sin 2x( cos 2x) =
2
8
2
sin 2x cos 2x =
4
On voit de nouveau apparaitre, un facteur prs, la formule de duplication du sinus. Cela
donne donc

2
2 sin 2x cos 2x =
2
2
sin 4x =
2

5
+ 2k ou 4x =
+ 2k
4
4

k
5 k
x= +
ou x =
+
16
2
16
2

4x =

97

ANNEXE C. EXERCICES RSOLUS


Exemple 13 Septembre 2003 - Question 3
Rsoudre
cos 9x 2 cos 6x = 2

(C.20)

Lutilisation des formules de Simpson nest pas possible, cause du coefficient devant cos 6x.
On va donc exprimer cos 9x et cos 6 en fonction de cos 3x et de sin 3x.
cos 6x = cos2 3x sin2 3x

cos 9x = cos(6x + 3x)


= cos 6x cos 3x sin 6x sin 3x
= (cos2 3x sin2 3x) cos 3x (2 sin 3x cos 3x) sin 3x
= cos3 3x sin2 3x cos 3x 2 sin2 3x cos 3x
= cos3 3x 3 sin2 3x cos 3x
(C.20) devient alors
cos3 3x 3 sin2 3x cos 3x 2 cos2 3x + 2 sin2 3x 2 = 0
Reste alors remplacer sin2 3x par 1 cos2 3x pour se ramener une quation du troisime
degr en cos 3x.
cos3 3x 3(1 cos2 3x) cos 3x 2 cos2 3x + 2(1 cos2 3x) 2 = 0
cos3 3x 3 cos 3x + 3 cos3 x 2 cos2 3x + 2 2 cos2 3x 2 = 0
4 cos3 3x 4 cos2 3x 3 cos 3x = 0
cos 3x(4 cos2 3x 4 cosx 3) = 0
On rsout alors ces deux quations de base. Dune part,
cos 3x = 0

+ k
3x =
2
k
x =
+
6
3
dautre part,
4 cos2 3x 4 cos x 3 = 0
98

ANNEXE C. EXERCICES RSOLUS


cos 3x =

3
1
ou cos 3x =
2
2

La deuxime solution est rejeter. Il reste donc


1
2
2
+ 2k
3x =
3
2 2k
x =
+
9
3

cos 3x =

Au total,
S={

k
2 2k
+
} {
+
}, k Z
6
3
9
3

99

ANNEXE C. EXERCICES RSOLUS


Exemple 14 Septembre 2006 - Question 3
Rsoudre
2 sin2 3x + sin2 6x = 2
Utiliser la formule de duplication du sinus puis la formule fondamentale conduit directement
une quation du second degr en sin2 3x, quil suffit de rsoudre.
2 sin2 3x + sin2 6x = 2
2 sin2 3x + (2 sin 3x cos 3x)2 2 = 0
2 sin2 3x + 4 sin2 3x cos2 3x 2 = 0
2 sin2 3x + 4 sin2 3x(1 sin2 3x) 2 = 0
2 sin2 3x + 4 sin2 3x 4 sin4 3x 2 = 0
2 sin4 3 3 sin2 3x + 1 = 0

sin2 3x = 1 ou sin2 3x =

1
2

2
2

k
3x = + k ou 3x = +
2
4
2

k
k
ou x =
+
x= +
6
3
12
6
sin 3x = 1 ou sin 3x =

Au total,
S={

k
+
}x{ +
}
6
3
12
6

100

ANNEXE C. EXERCICES RSOLUS


Exemple 15 Juillet 2006 - Question 4
Rsoudre


1 + tan x2
1 tan x2

2
+ sin x = 0

(C.21)

Conditions dexistence
Deux conditions sont exprimer. Dune part, il faut que
cos

x
6
=
2
x
6
=
2
x 6=

+ k
2
+ 2k

dautre part,
x
2
x
tan
2
x
2
x

1 tan

6= 0
6= 1

6=
+ k
4

6=
+ 2k
2

Au total, il faut que


x 6= (1 + 2k) et x 6=

+ 2k
2

(C.22)

Rsolution
Plusieurs lments nous poussent ici nous ramener une des formules en tangente avant
de dvelopper le carr. Premirement, les tangentes sont en x2 , tandis que le sinus est en x.
Afin de se ramener des quations de base, il faut se ramener un seul argument commun.
Deuximement, dvelopper le carr conduit vite des expressions assez lourdes manipuler
et un calcul non trivial. Pour viter de manipuler de longues expressions, on commence par
manipuler la fraction
1 + tan x2
1 tan x2
Avec un peu dexprience, cette criture fait penser la formule daddition en tangente. Se
souvenir que 1 = tan 4 permet en effet de sy ramener. On a en effet
1 + tan x2
tan 4 + tan x2
x
+ )
=
x

x = tan(
1 tan 2
1 tan 4 tan 2
4 2
101

ANNEXE C. EXERCICES RSOLUS


Lquation (C.21) se rduit
tan2 (

x
+ ) + sin x = 0
4 2

ce qui est dj plus compact. Il faut maintenant parvenir modifier largument de la tangente.
Pour ce faire, la seule solution est dutiliser la formule fondamentale pour faire intervenir un
terme en cosinus carr, puis dutiliser Carnot pour doubler largument :
tan2 (

x
+ ) + sin x = 0
4 2

1
cos2 ( 4

+ x2 )

1 + sin x = 0

2
1 + sin x = 0
1 + cos( 2 + x)
2
1 + sin x = 0
1 sin x
1 + 2 sin x sin2 x
= 0
1 sin x

Au vu des conditions dexistence, sin x est diffrente de lunit, donc on peut supprimer le
dnominateur. Reste rsoudre lquation du second degr en sin x
1 + 2 sin x sin2 x = 0
Les solutions sont
sin x = 1 +

2 ou sin x = 1

La deuxime solution est videmment rejeter. Reste donc rsoudre


sin x = 1 +

x = arcsin(1 +

2) + 2k ou x = arcsin(1 + 2) + 2k

Ce qui donne au total


S = {arcsin(1 +

2) + 2k} { arcsin(1 +

102

2) + 2k}, k Z

ANNEXE C. EXERCICES RSOLUS


Rsolution alternative
On pourrait galement rsoudre cette quation en se ramenant uniquement des fonctions
sinus et cosinus.




 2
1 + tan x2 2
cos x2 + sin x2 2
cos
=
=
x
x
x
1 tan 2
cos 2 sin 2
cos2

x
2
x
2

+ sin2
+ sin2

x
2
x
2

(C.21) deviendrait alors


1 + sin x
+ sin x = 0
1 sin x
1 + 2 sin x sin2 x
= 0
1 sin x
qui est bien lquation obtenue prcdemment.


103

+ 2 cos x2 sin x2
2 cos x2 sin x2


=

1 + sin x
1 sin x

ANNEXE C. EXERCICES RSOLUS


Exemple 16 Septembre 2009
Rsoudre lquation
tan x + tan 2x + tan 3x = 0
Conditions dexistence
Il faut que tan x, tan 2x et tan 3x soient dfinies, cest--dire que

+ k
2
k
+
x 6=
4
2
k
x 6=
+
6
3
x 6=

Rsolution
Dvelopper tan 3x laide de la formule daddition nous fournit le facteur commun tan x +
tan 2x, qui sera mis en vidence
tan x + tan 2x + tan 3x = 0
tan x + tan 2x
tan x + tan 2x +
= 0
1 tan x tan 2x
(tan x + tan 2x)(2 tan x tan 2x) = 0
On obtient une quation de base, et une qui deviendra une quation algbrique du second
degr en tan x une fois le facteur tan 2x dvelopp.
tan x + tan 2x = 0 ou 2 tan x tan 2x = 0
2 tan2 x
tan x = tan(2x) ou 2
=0
1 tan2 x
tan x = tan(2x) ou 2 4 tan2 x = 0

2
x = 2x + k ou tan x =
2
k
2
x=
ou x = arctan
+ k
3
2
Ces solutions tant compatibles avec les conditions dexistence, lensemble de solutions sera
)

  (
k
2
S=
arctan
+ k , k Z
3
2
Rsolution alternative
Il est tout fait possible de rsoudre lquation ramene aux fonctions sinus et cosinus.
104

ANNEXE C. EXERCICES RSOLUS


Cependant, le calcul est nettement plus long, et il faut utiliser un certain nombre de formules
pour se ramener des quations de base.
sin x
sin 2x
sin 3x
+
+
=0
cos x cos 2x cos 3x
Rduire au mme dnominateur permet de faire apparaitre les formules daddition du sinus.
Reste choisir quels termes grouper. Rassembler le premier et le troisime permet de faire
apparaitre sin 4x. Utiliser alors la duplication nous autorise mettre le facteur sin 2x en
vidence.
sin x cos 3x + sin 3x cos x sin 2x
+
= 0
cos x cos 3x
cos 2x
sin 4x
sin 2x
+
= 0

 cos x cos 3x cos 2x
1
2 cos 2x
+
= 0
sin 2x
cos x cos 3x cos 2x

Mettre lexpression entre parenthses au mme dnominateur permet de simplifier celui-ci,


les conditions dexistence ayant dj t poses. On en tire que
sin 2x(2 cos2 2x + cos x cos 3x) = 0
On utilise alors les formules de Simpson puis de Carnot pour se ramener une quation
algbrique du deuxime degr en cos 2x
1
sin 2x(2 cos2 2x + (cos 4x + cos 2x)
2
1
1
sin 2x(2 cos2 2x + (2 cos2 2x 1) + cos 2x)
2
2
1
1
sin 2x(3 cos2 2x + cos 2x )
2
2
2
sin 2x(6 cos 2x + cos 2x 1)
Cela donne donc deux quations de base. Rsolvons la premire
sin 2x = 0
2x = k
k
x =
2
Puis la deuxime
6 cos2 2x + cos 2x 1 = 0
105

= 0
= 0
= 0
= 0

ANNEXE C. EXERCICES RSOLUS


cos 2x =

1
1
ou cos 2x =
2
3

 
1
2
+ 2k ou 2x = arccos
+ 2k
2x =
3
3
 

1
1
x = + k ou x = arccos
+ k
3
2
3
Au total, cela donne les mmes solutions que prcdemment


106

ANNEXE C. EXERCICES RSOLUS


Exemple 17 Juillet 2004 - Question 2

cot x tan x 2 tan 2x 4 tan 4x > 8 3

(C.23)

Conditions dexistence
Ces fonctions seront dfinies si
k
2

x 6=
+
4

x 6=
+
8
x 6=

k
2
k
4

Rsolution
Il faut, dune manire ou dune autre, factoriser cette expression. Pour ce faire, les diffrentes
fonctions doivent avoir le mme argument. Dvelopper tan 4x en terme de tan x ne semblant
pas trs judicieux, on va plutt regrouper les termes en x et 2x pour se ramener 4x. Pour
cela, on peut soit exprimer cot et tan x laide des cosinus et sinus et utiliser les formules
daddition et de duplication, soit remarquer directement que
cot x tan x =
=
=
=
=

1
tan x
tan x
1 tan2 x
tan x
1 tan2 x
2
2 tan x
2
tan 2x
2 cot 2x

Lquation (C.23) devient donc

2 cot 2x 2 tan 2x 4 tan 4x > 8 3

cot 2x tan 2x 2 tan 4x > 4 3


On rpte deux fois ce procd, pour arriver

cot 8x >
3

cot 8x 3 > 0
107

ANNEXE C. EXERCICES RSOLUS


Une fois ce stade, il faut tudier le signe des diffrents facteurs. Ici, il ny en a quun. A
laide du cercle trigonomtrique, on recherche donc les angles tels que lingalit est vrifie.

On sait que la cotangente est suprieure 3 si son argument est compris entre 0 et 6 , ou
entre et

7
.
6

Ceci est bien sr valable 2 prs. Il faut donc que largument de la cotangente,

8x, soit compris entre un de ces deux intervalles, cest--dire que

7
+ 2k ou + 2k 8x <
+ 2k
6
6

7
2k 8x < + 2k ou (1 + 2k) < 8x
+ 2k
6
6

0 + 2k 8x <

Cela donne donc deux inquations rsoudre, suivant les rgles classiques de lalgbre. Ici, il
suffit de diviser chaque inquation par 8 pour obtenir la solution finale

k
k
7 k
k
x<
+
ou
+
x<
+
4
48
4
8
4
48
4
Ce qui scrit de manire plus compacte
k

k
x<
+
8
48
8
Au vu des conditions dexistence, on sait que
x 6=

k
+
8
4

Ds lors, lingalit devient stricte. Au total, lensemble des solutions est




k

k
S=
<x<
+
,k Z
8
48
8

108

ANNEXE C. EXERCICES RSOLUS


Exemple 18 Juillet 2004 - Question 1
Montrer que
sin 2x + sin 2y
= tan(x + y)
cos 2x + cos 2y
Rsolution
Le membre de gauche fait intervenir les arguments 2x et 2y, tandis que celui de droite ne
contient que x + y. Les formules de Simpson permettent cette transition. On part donc du
membre de gauche et on utilise ces formules.
2 sin(x + y) cos(x y)
2 cos(x + y) cos(x y)
= tan(x + y)

lhs =

ce qui suffit.

Conditions dexistence
Pour simplifier par cos(x y), il faut que
x 6= y +

+ k
2

De plus, la tangente nest dfinie que si


x 6= y +

+ k
2

Regroupant ces deux conditions, cela donne


x 6= y +

+ k, k Z
2

109

ANNEXE C. EXERCICES RSOLUS


Exemple 19 Juillet 2002 - Question 1b
Montrer que
1 cos 2a + sin 2a
= tan a
1 + cos 2a + sin 2a
Rsolution
On remarque que le membre de gauche fait intervenir des fonctions en 2a, tandis que celui
de droite ne contient que largument a. Partir du membre de gauche et utiliser des formules
de duplication semble tout indiqu. La prsence du chiffre 1 prcise mme que Carnot peut
tre considr. On aura donc
2 sin2 a + 2 sin a cos a
2 cos2 a + 2 sin a cos a
sin a sin a + cos a
=
cos a sin a + cos a
= tan a

lhs =

et lidentit est dj dmontre.

Conditions dexistence
Cette identit nest pas valable quelle que soit la valeur de a. On a, au cours de la rsolution,
simplifi le facteur sin a + cos a. Ceci nest lgal que si
cos a + sin a 6= 0
cos a 6= cos(

a 6=

+ a)
2

+ a + 2k et a 6= a + 2k
2
2

0 6= + 2k et a 6= + k
2
4

De plus, la fonction tangente nexiste que si


a 6=

+ k
2

Au total, il faut que


a 6=

+ k et a 6= + k, k Z
4
2

110

ANNEXE C. EXERCICES RSOLUS


Exemple 20 Septembre 2002 - Question 1
Dmontrer que 4
csc a = cot

a
cot a
2

(C.24)

Calculer ensuite la valeur de


csc a + csc 2a + csc 4a + csc 8a

(C.25)

Rsolution
Commenons par prouver lidentit (C.24), qui nest valable que si a 6= k, k Z. Au vu de
cette identit, il semble judicieux de regrouper les fonctions ayant a pour argument gauche,
puis dexprimer ces fonctions en terme de sinus et cosinus avant dutiliser les formules de
duplication pour se ramener largument a2 . Lquation (C.24) devient
csc a + cot a = cot

a
2

On part du membre de gauche de cette identit.


1 + cos a
sin a
2 cos2 a2
=
2 sin a2 cos a2
cos a2
=
sin a2
a
= cot
2

lhs =

Lidentit (C.24) est donc dmontre.


On calcule alors la valeur de (C.25). Pour ce faire, on va utiliser lidentit que lon vient de
dmontrer. Ce faisant, on obtient
csc a + csc 2a + csc 4a + csc 8a
a
= cot cot a + cot a cot 2a + cot 2a cot 4a + cot 4a cot 8a
2
a
= cot cot 8a
2
Ce qui nest valable que si a 6= k 8 , k Z

4. Pour rappel, csc a =

1
sin a

111

ANNEXE C. EXERCICES RSOLUS


Exemple 21 Juillet 2010 - Question 1
Montrer que lon a
4(cos6 a sin6 a) = cos 2a(4 sin2 2a)
Rsolution
Le membre de gauche est de degr six et les fonctions ont pour argument a. Celui de droite est
de degr deux, mais les fonctions ont largument 2a. Le plus simple est donc de commencer par
rduire le membre de gauche laide de la formule bien connue a3 b3 = (a b)(a2 + ab + b4 ),
car le premier facteur nous donnera directement cos 2a En effet,
lhs = 4(cos2 a sin2 a)(cos4 a + sin2 a cos2 a + sin4 a)
= 4 cos 2a(cos4 a + sin2 a cos2 a + sin4 a)

(C.26)

La forme du deuxime facteur doit directement faire penser la formule fondamentale. Le


dveloppement qui suit est une astuce trs souvent utilise pour rduire la complexit dun
facteur de cette forme.
1 = cos2 a + sin2 a
12 = (cos2 a + sin2 )2
1 = cos4 a + 2 sin2 a cos2 a + sin4 a
1 sin2 a cos2 a = cos4 a + sin2 a cos2 a + sin4 a
On insre ceci dans (C.26), ce qui donne
lhs = 4 cos 2a(1 sin2 a cos2 a)
Observant le membre de droite, on doit parvenir faire apparaitre le terme sin2 2a. On utilise
donc la duplication du sinus


2 sin a cos a
lhs = 4 cos 2a 1
2


sin2 2a
= 4 cos 2a 1
4
2
= cos 2a(1 sin 2a)
Et lidentit est dmontre.

112

2 !

ANNEXE C. EXERCICES RSOLUS


Exemple 22 Juillet 2010 - Question 4
Calculer
E = tan 9 tan 27 tan 63 + tan 81

(C.27)

Rsolution
Il sagit dune identit car la calculatrice permet de connatre la valeur atteindre, qui est de
4. On doit donc trouver des combinaisons de ces nombres qui font soit apparaitre des angles
remarquables, comme 45 ou 30, soit qui suppriment les diffrents termes. Dans ce cas, on
remarque que les arguments des tangentes sont complmentaires deux deux. Or on sait que
sin a
sin b
+
cos a cos b
sin a cos b + cos a sin b
=
cos a cos b
sin(a + b)
=
cos a cos b

tan a + tan b =

Comme on a ici des angles complmentaires, leur somme vaut 90 et le sinus de 90 vaut 1.
On applique donc ce dveloppement pour dj rduire lexpression (C.27)
E =
=
=
=

sin 9
sin 27
sin 63
sin 81

+
cos 9 cos 27 cos 63 cos 81

sin 9 cos 81 + cos 9 sin 81 sin 27 cos 63 + cos 27 sin 63

cos 9 cos 81
cos 27 cos 63

sin 90
sin 90

cos 9 cos 81
cos 27 cos 63
1
1

cos 9 cos 81
cos 27 cos 63

On sait quil faut se dbarrasser des fonctions cosinus, vu que la rponse est 4. Les angles
tant toujours des angles complmentaires, appliquer Simpson chaque dnominateur permet
de faire apparaitre le terme cos 90, qui est nul. Ce faisant, lquation de dpart se simplifie
en
2
2

cos 81
2 cos 27 cos 63
2
2
=

cos 90 + cos 72
cos 90 + cos 36
2
2
=

cos
cos 36
 72

1
1

= 2
cos 72 cos 36

E =

2 cos 9

113

ANNEXE C. EXERCICES RSOLUS


Le prfacteur 2 est apparu, ce qui est bon signe. Toujours dans loptique dliminer les fonctions, on rduit au mme dnominateur et on factorise le numrateur, via Simpson. On espre
alors que ceux-ci se simplifieront, vu que le prfacteur 4 sera apparu.


cos 36 cos 72
E = 2
cos 36 cos 72


sin 54 sin(18 )
= 4
cos 36 cos 72


sin 54 sin 18
= 4
cos 36 cos 72
En outre, on sait que
sin 54 = cos(90 54 ) = cos 36
sin 18 = cos(90 18 ) = cos 18
ce qui donne bien
E=4
Cet exercice, qui nest pas le plus simple, est rsolu en gardant lesprit quil faut neutraliser les fonctions trigonomtriques. Ayant remarqu que les arguments des tangentes sont
des angles complmentaires, on essaie donc de grouper ces diffrentes fonctions pour obtenir
largument remarquable 90. Les formules permettant cela sont les formules de Simpson, utilises dans les deux sens, ainsi que le dveloppement classique permettant dadditionner deux
tangentes.


114

ANNEXE C. EXERCICES RSOLUS


Exemple 23 Septembre 2001 - Question 1
Montrer que
sin 3a = 4 sin(60 a) sin a sin(60 + a)
Rsolution
Comme mentionn prcdemment, on va partir du membre de droite et utiliser des formules
qui permettent de supprimer les arguments. On utilise par exemple la formule daddition, ce
qui donne
rhs = 4(sin 60 cos a cos 60 sin a) sin a(sin 60 cos a + cos 60 sin a)

1
1
3
3
= 4(
cos a sin a) sin a(
cos a + sin a)
2
2
2
2
3
1
= 4( cos2 a sin2 a) sin a
4
4
2
= sin a(3 cos a sin2 a)
= 3 cos2 a sin a sin3 a

(C.28)

On a maintenant deux possibilits. On sait que lexpression (C.28) doit tre gale sin 3a.
Soit on continue de manipuler cette expression et on essaie de remonter laide des formules
daddition vers sin 3a. Soit on laisse ce membre tel quel pour linstant et on dveloppe le
membre de gauche pour quil ne fasse plus intervenir que largument a, en esprant arriver
au rsultat donn par (C.28). Cest cette procdure que nous allons suivre, les puristes dsirant
suivre la premire mthode nauront qu refaire le raisonnement qui suit dans lautre sens.
lhs = sin(2a + a)
= sin 2a cos a + sin a cos 2a
= 2 sin a cos a cos a + sin a(cos2 a sin2 a)
= 2 sin a cos2 a + sin a cos2 a sin3 a
= 3 sin a cos2 a sin3 a

(C.29)

Les expressions donnes par (C.28) et (C.29) tant les mmes, lidentit est bien dmontre.


115

ANNEXE C. EXERCICES RSOLUS


Exemple 24 Juillet 2003 - Question 1
Montrer que
2

sin x + sin

2
x+
3



2
3
+ sin x
=
3
2
2

Rsolution
Lide est ici de partir du membre de gauche, dliminer x, et de ne plus conserver que des
angles remarquables. Le plus rapide est de commencer par la formule de Carnot. Cela permet
dliminer les carrs, et nous fournira trois cosinus, auxquels pourront tre appliques les
formules de Simpson. Suivant ce raisonnement, on a






1
1
4
1
4
lhs =
(1 cos 2x) +
1 cos 2x +
+
1 cos 2x
2
2
3
2
3





4
4
3 1
+
cos 2x + cos 2x +
+ cos 2x
=
2 2
3
3


3 1
4
=
+
cos 2x + 2 cos 2x cos
2 2
3


3 1
1
=
+
cos 2x + 2 cos 2x
2 2
2
3 1
+ (cos 2x cos 2x)
=
2 2
3
=
2
Rsolution alternative
Celui qui ne pense pas utiliser Carnot et choisit dutiliser directement les formules daddition
parvient galement au mme rsultat. Les calculs sont cependant un peu plus lourds. En effet,
on aurait eu
lhs =
=
=
=
=
=
=

2 
2
2
2
2
2
+ cos x sin
+ sin x cos
+ cos x sin
sin x + sin x cos
3
3
3
3
!2
!2

1
1
3
3
sin2 x +
sin x +
cos x +
sin x +
cos x
2
2
2
2

1 2
3
3
1 2
3
3
2
2
2
sin x + sin x + cos x
sin x cos x + sin x + cos x +
sin x cos x
4
4
2
4
4
2
1
3
sin2 x + sin2 x + cos2 x
2
2
1
3
sin2 x + sin2 x + (1 cos2 x)
2
2
1
3 3
sin2 x + sin2 x + cos2 x)
2
2 2
3
2
2

116

ANNEXE C. EXERCICES RSOLUS




117

ANNEXE C. EXERCICES RSOLUS


Exemple 25 Septembre 1999 - Question 2
Montrer que, dans un triangle, on a
sin A sin B + sin C = 4 sin

A
B
C
cos sin
2
2
2

Rsolution
Deux raisons nous poussent partir du membre de gauche pour se ramener celui de droite.
Dune part, il est souvent plus facile de transformer une somme en produit quun produit en
somme. Dautre part, les formules de Simpson et de duplication sont plus facile manipuler
si lon part de langle et que lon va vers sa moiti, plutt que dans le sens contraire. On
utilise ici la dmarche classique dans les triangles. On va exprimer A en fonction de B et C
A = B+C
sin A = sin(B + C)
et utiliser la formule de Simpson pour grouper les deux autres termes




BC
B+C
sin B + sin C = 2 cos
sin
2
2
On a donc

lhs = sin(B + C) + 2 cos

B+C
2


sin

BC
2

Comme toujours lorsque lon manipule des arguments multiples lun de lautre, on utilise la
duplication pour se ramener une valeur commune. Cela permet la mise en vidence dun
premier facteur.







B+C
B+C
BC
B+C
cos
+ 2 cos
sin
lhs = 2 sin
2
2
2
2

 



B+C
B+C
BC
= 2 cos
sin
+ sin
2
2
2


Lutilisation de lhypothse nous fournit le premier facteur dsir, Simpson les deux suivants.
En effet,
B+C
A
=

2 
2
2

B+C
A
cos
= sin
2
2
118

ANNEXE C. EXERCICES RSOLUS


Et

sin

B+C
2


+ sin

BC
2


= 2 sin
= 2 sin

B+C
2

+
2

BC
2

B
C
cos
2
2

On a donc bien
B
C
A
2 cos cos
2
2
2
A
B
C
= 4 sin cos cos
2
2
2

lhs = 2 sin

119

!
cos

B+C
2

BC
2

ANNEXE C. EXERCICES RSOLUS


Exemple 26 Juillet 2008 - Question 1
Montrer que, dans tout triangle, on a
cos 2A + cos 2B + cos 2C = 1 4 cos A cos B cos C
Rsolution
Pour les mmes raisons qu lexemple prcdent, on part du membre de gauche. A nouveau,
on exprime A en fonction de B et C
A = BC
cos 2A = cos(2 (2B + 2C))
cos 2A = cos(2B + 2C)
et on groupe les autres termes avec Simpson.
cos 2B + cos 2C = 2 cos(B + C) cos(B C)
Ds lors,
lhs = cos(2B + 2C) + 2 cos(B + C) cos(B C)
On dsire travailler avec les angles pour arguments, non leur double. De plus, un terme 1 est
attendu. On utilise donc Carnot pour faire apparaitre ce terme et avoir un facteur commun.
lhs = 1 + 2 cos2 (B + C) + 2 cos(B + C) cos(B C)
= 1 + 2 cos(B + C)(cos(B + C) + cos(B C))
On utilise nouveau Simpson, ce qui fait apparaitre les facteurs cos B et cos C.
lhs = 1 + 4 cos(B + C) cos B cos C
Et enfin, la relation des triangles
B+C = A
cos(B + C) = cos A
Ce qui nous mne bien
lhs = 1 4 cos A cos B cos C

120

ANNEXE C. EXERCICES RSOLUS


Exemple 27 Septembre 2009 - Question 1
Dans tout triangle ABC, montrer que
cot A cot B + cot B cot C + cot C cot A = 1

(C.30)

Rsolution
Cette identit se dmontre de manire similaire aux prcdentes. On commence par lexprimer
en termes de tangentes, pour simplifier lcriture. Ceci nest valable que si le triangle nest
pas rectangle. Sinon, si on suppose quil lest en A, lgalit devient
cot B cot C = 1
tan B = cot C
ce qui est trivialement vrai.
Si le triangle nest pas rectangle, on a donc
tan A + tan B + tan C = tan A tan B tan C
Ensuite, on travaille en fonction de sinus et de cosinus, on rduit progressivement au mme
dnominateur et on utilise les formules qui simposent. On va de nouveau partir du membre
de gauche et factoriser. On commence, par exemple, par utiliser la relation des triangles pour
modifier A, et rduire les deux autres termes au mme dnominateur.
sin B
sin C
+
cos B cos C
sin B cos C + sin C cos B
= tan(B + C) +
cos C cos B
sin(B + C) sin(B + C)
=
+
cos(B + C) cos B cos C


1
1
= sin(B + C)
+
cos(B + C) cos B cos C

lhs = tan( B C) +

On continue la rduction au mme dnominateur. Ceci fait, on remarque que lutilisation


dune formule daddition permet une belle simplification


cos B cos C cos(B + C)
lhs = sin(B + C)
cos(B + C) cos B cos C


sin B sin C
= sin(B + C)
cos(B + C) cos B cos C
= tan(B + C) tan B tan C
121

ANNEXE C. EXERCICES RSOLUS


On conclut par lutilisation de la formule des angles, qui nous fournit le membre de droite
attendu
lhs = tan A tan B tan C
On remarque donc que, lorsquon dsire passer des tangentes aux sinus et cosinus, on doit
rduire diffrents termes au mme dnominateur pour faire apparaitre la formule daddition.
Cette mise au mme dnominateur doit se faire tape par tape, pour viter de se perdre dans
des expressions dune lourdeur excessive.


122

ANNEXE C. EXERCICES RSOLUS


Exemple 28 Septembre 2004 - Question 1
Dmontrer que si les angles dun triangle ABC satisfont la relation
sin A =

sin B + sin C
cos B + cos C

(C.31)

alors le triangle est rectangle en A.

Conditions dexistence.
Lquation (C.31) na de sens que si
cos B + cos C 6= 0
cos B 6= cos( C)
B 6= ( C) + 2k
Sachant que lon est dans un triangle, donc que chacun des angles est compris entre 0 et ,
cela donne pour condition
B 6= C
B + C 6=
A 6= 0
car lautre relation
B 6= C + 2k
nest jamais vrifie dans un triangle. La condition dexistence revient donc imposer que le
triangle ABC soit non dgnr.

Rsolution
On est bien dans le cas o une hypothse supplmentaire, lquation (C.31), nous est fournie.
On va manipuler cette quation et lcrire sous une forme qui affirmera que le triangle est
rectangle en A. Si lon parvient, par exemple, obtenir une quation ne faisant plus intervenir
que cet angle, cela devrait suffire.
On va donc utiliser la formule de Simpson pour faire apparaitre largument

B+C
,
2

qui sera

alors exprim en fonction de A laide de la relation entre les angles. Ce faisant, (C.31)
123

ANNEXE C. EXERCICES RSOLUS


devient
2 sin B+C
cos BC
2
2
sin A =
BC
2 cos B+C
cos
2
2
sin B+C
2
sin A =
cos B+C
2
B+C
sin A = tan
2
A
sin A = cot
2
Comme attendu, on obtient une quation ne faisant plus intervenir que langle A. Reste
utiliser la duplication du sinus pour pouvoir rsoudre cette quation.
A
2
A
cot
2
1
; A ]0, [ cos A2 > 0
A
sin 2
1
2

2
; A ]0, [ sin A2 > 0
2

; A ]0, [ A2 ]0, 2 [
4

sin A = cot
2 sin

A
A
cos
2
2
A
2 sin
2
A
sin2
2
A
sin
2
A
2

=
=
=
=
=

A =

et le triangle est rectangle en A.




124

ANNEXE C. EXERCICES RSOLUS


Exemple 29 Juillet 2005 - Question 4
Montrer que, si x et y vrifient
tan2 x = 2 tan2 y + 1

(C.32)

cos 2x + sin2 y = 0

(C.33)

alors on a lgalit

Rsolution
On va partir de lhypothse et la manipuler pour arriver lexpression souhaite. On doit
donc faire apparaitre cos 2x partir de tan2 x, et sin2 y partir de tan2 y.
cos 2x provient des formules de duplication ou de Carnot, qui ncessitent des termes comme
1, cos2 x ou encore sin2 x. Or, partir de tan2 x, cos2 x peut tre obtenu partir des drivs
de la formule fondamentale. Cela donnerait donc
1
1
cos2 x
2
1
=
1 + cos 2x

tan2 x =

(C.34)

sin2 y vient de tan2 y en utilisant la formule fondamentale et ses drivs


1
1
cos2 y
1
=
1
1 sin2 y

tan2 y =

On insre les expressions (C.34) et (C.35) dans (C.32) :


tan2 x = 2 tan2 y + 1
2
2
1 =
2+1
1 + cos 2x
1 sin2 y
1 sin2 y = 1 + cos 2x
0 = sin2 y + cos 2x
Ce qui est bien la thse (C.33).


125

(C.35)

ANNEXE C. EXERCICES RSOLUS


Exemple 30 Juillet 2007 - Question 2
Montrer que, si a, b, c sont des nombres positifs vrifiant
a > c et c2 = a2 b2
alors lexpression
I=

(a cos +

c)2

b2

q
sin + (a cos c)2 + b2 sin2
2

(C.36)

est indpendante de . Trouver cette valeur.

Rsolution
On doit donc montrer que lquation (C.36) est indpendante de , cest--dire que sa valeur
peut sexprimer sans cette variable. Il va donc falloir manipuler cette quation et parvenir
supprimer tous les termes comportant . Pour ce faire, on manipule les radicands pour
essayer de former un carr parfait. Cela permettra de supprimer les racines carres, et vu la
symtrie des radicands, des simplifications risquent dapparaitre. Cette ide est renforce par
le fait quon prcise le signe de a, b, c, ce que ne serait utile que pour calculer des valeurs
absolues.
On va donc commencer par manipuler le radicand de la premire racine,
R = (a cos + c)2 + b2 sin2

(C.37)

Il va bien sr falloir utiliser lhypothse c2 = b2 a2 . Observant le radicand, on remarque


que b est le seul terme napparaissant que au carr. a et c apparaissent tant au carr qu
la premire puissance, cause du double produit. Il est donc prfrable dutiliser lhypothse
dans le sens b2 = a2 c2 . Ce faisant, (C.37) devient
(a cos + c)2 + a2 sin2 + c2 sin2
Si lon dveloppe le carr, la formule fondamentale permet les simplifications suivantes
R = a2 cos2 + 2ac cos + c2 + a2 sin2 c2 sin2
= (a2 cos2 + a2 sin2 ) + (c2 c2 sin2 ) + 2ac cos
= a2 + c2 cos2 + 2ac cos
= (a + c cos )2
126

ANNEXE C. EXERCICES RSOLUS


Et on est parvenu ramener le radicand sous la forme dun carr parfait. Procdant de
manire analogue pour le deuxime radicand, lidentit (C.36) devient.
p
p
(a + c cos )2 + (a c cos )2

I =

= |a + c cos | + |a c cos |
Reste alors lever ces valeurs absolues. Pour ce faire, on a besoin des autres hypothses, qui
sont
a>0 b>0
c>0 c>a
Comme lexpression doit tre indpendante de , il faut tudier le signe de a + c cos et
a c cos quelle que soit la valeur de . Or, on sait que, quel que soit , le cosinus est
toujours compris entre 1 et 1 Ds lors, on aura, au vu des hypothses
1 <

cos

<1

c <

c cos

< c ; car c est positif

a c < a + c cos < a + c


Or, par hypothse, a c est positif. Ds lors, on aura
|a + c cos | = a + c cos
On procde de mme pour tudier lautre terme
1 <

cos

<1

c <

c cos

< c ; car c est positif

c>

c cos

> c ; car on multiplie par un ngatif

a + c > a c cos > a c


Et, pour la mme raison,
|a c cos | = a c cos
Au final, (C.36) devient
I = a + c cos + a c cos
= 2a
127

ANNEXE C. EXERCICES RSOLUS


ce qui est bien indpendant de .


128

ANNEXE C. EXERCICES RSOLUS


Exemple 31 Septembre 2010 - Question 3
Soient trois nombres rels a, b et c, qui sont des lments dune progression arithmtique.
Montrer que, en gnral, on a
sin a + sin b + sin c
= tan b
cos a + cos b + cos c

(C.38)

Pour quelles valeurs de la raison la proposition est-elle mise en dfaut ?


tudier la rciproque.

Rsolution
On a pour hypothse que
a = b r et c = b + r
Injectons directement ces valeurs dans le membre de gauche de (C.38) :
lhs =

sin(b r) + sin b + sin(b + r)


cos(b r) + cos b + cos(b + r)

Lhypothse ayant t utilise, il reste maintenant utiliser des formules pour se ramener au
membre de droite. Celui-ci ne comporte plus que largument b. On applique donc les formules
de Simpson aux termes comportant r comme argument pour sen dbarrasser
2 sin b cos r + sin b
2 cos b cos r + cos b
sin b 2 cos r + 1
=
cos b 2 cos r + 1
= tan b

lhs =

et lidentit est dmontre, supposer bien sr que


2 cos r + 1 6= 0
Dans le cas contraire, cest--dire quand
r=

2
+ 2k, k Z
3

la proposition nest pas dfinie.


tudier la rciproque revient se demander si avoir la relation (C.38) implique automatiquement que les nombres a, b et c sont en progression arithmtique. On a donc pour hypothse
que
sin a + sin b + sin c
= tan b
cos a + cos b + cos c
129

ANNEXE C. EXERCICES RSOLUS


Essayons de rsoudre cette quation pour obtenir des liens entre les trois variables. On remarque dj que tout mettre au mme dnominateur permet des simplifications :
sin a + sin b + sin c
sin b

cos a + cos b + cos c cos b


sin a cos b + sin c cos b sin b cos a sin b cos c
(cos a + cos b + cos c) cos b
sin(a b) + sin(c b)
(cos a + cos b + cos c) cos b
sin(a b)

= 0
= 0
= 0
= sin(b c)

a b = b c + 2k ou a b = b + c + 2k
a+c
b=
+ k ou a = c + (1 + 2k)
2
La deuxime solution est rejeter. En effet, si
a = c + (1 + 2k)
on a
cos a = cos c
sin a = sin c
et lquation (C.38) se rduit
tan b = tan b
qui ne permet pas de dduire quoi que ce soit.
Au final, si a 6= c + (1 + 2k), lquation (C.38) implique que
b=

a+c
+ k
2

Et on na pas toujours de progression arithmtique. La rciproque est fausse en rgle gnrale,


et ne sera vraie que si lon impose la condition supplmentaire




b a + c <

2
Si lon veut rsumer les rsultats de lexercice, on aura :
dune part, si a, b et c sont en progression arithmtique, si b est non nul et si la raison est
130

ANNEXE C. EXERCICES RSOLUS


diffrente de 2
+ 2k, k Z
3
alors on a
sin a + sin b + sin c
= tan b
cos a + cos b + cos c


< et si
dautre part, si a 6= c + (1 + 2k), si b a+c
2
sin a + sin b + sin c
= tan b
cos a + cos b + cos c
alors les nombres a, b et c sont en progression arithmtique.


131

ANNEXE C. EXERCICES RSOLUS


Exemple 32 Septembre 2005 - Question 3
Soit un systme bielle - manivelle reprsent la figure C.1. On demande de :
1. calculer langle en fonction de langle , les paramtres r, l et e tant connus ;
2. en dduire les conditions dexistence de langle en fonction des valeurs des paramtres
r, l et e ;
3. calculer la valeur numrique de langle pour = 30 , r = 1cm, l = 5cm, e = 0.1cm ;
4. en dduire la valeur correspondante de la position x du point C.

Figure C.1 Calcul de la position dun piston

1. Choix des triangles


On dsire exprimer comme une fonction de , r, l et e. Il faut donc choisir des triangles,
de prfrence rectangles, permettant de faire apparaitre ces valeurs. Prolonger lhorizontale
qui passe en C est tentant, mais ne conduit qu des triangles quelconques dont seules deux
donnes sont connues. Il est nettement plus judicieux de tracer la verticale passant par B, ce
qui donne deux triangles rectangles, dont r et l sont les hypotnuses, et sont des angles.
Ces triangles sont reprsents la figure C.2.

Dmarche - Rsolution
On veut maintenant passer de en nutilisant que les paramtres r, l et e. Dans le triangle
BCX, on commence donc par utiliser la formule en sinus, pour faire intervenir lhypotnuse
l et le ct vertical. Ce ct est choisi car, contrairement lautre, il peut sexprimer en
fonction de e et dun ct du deuxime triangle, ABX. Cela donne donc
sin =

|BX|
l

132

ANNEXE C. EXERCICES RSOLUS

Figure C.2 Calcul de la position dun piston, annot

On passe dun triangle lautre via


|BX| = |BH| e
Ce ct, BH, fera intervenir les donnes restantes l et au moyen dune formule en sinus,
selon
|BH| = r sin
On a donc bien trouv une dmarche qui nous permet dexprimer langle en fonction des
paramtres imposs. Il ny a plus qu remettre tout ensemble.

|BX|
l
|BH| e
=
l
r sin e
=
l

sin =

(C.39)

2. Conditions dexistence.
On demande ensuite de rechercher les conditions dexistence de langle . Pour que cet angle
existe, il faut que son sinus soit compris entre 1 et 1, cest--dire que
1 <

r sin e
l

<1

l < r sin e < l


l + e <
l + e
<
r

r sin
sin

<l+e
l+e
<
r

La condition dexistence ne doit plus faire intervenir que r, l et e. On doit se dbarrasser de


, cest--dire trouver une condition qui soit vrifie quel que soit langle considr. Si lon
133

ANNEXE C. EXERCICES RSOLUS


prend la premire inquation,
l + e
< sin
r
Cette inquation doit tre vraie pour tout , donc pour tout sin [1, 1]. La condition la
plus restrictive aura donc lieu quand le sinus sera minimal, cest--dire pour
l + e
< 1
r
r < le
Comme r est une longueur, r est positif, ce qui ajoute la condition supplmentaire l e > 0.
De manire analogue, la deuxime inquation sera vraie pour tout si
l+e
> 1
r
l+e > r
Au total, il faut donc que
r < le
r < l+e
e < l
3. Substitution numrique
On remplace simplement les paramtres par leur valeur dans lquation (C.39), pour obtenir
sin = 0.08
ce qui donne les deux solutions
= 4.59 ou = 175, 41
4. Position de C.
Il suffit dutiliser les formules dans les deux triangles rectangles
|AH| = r cos
|XC| = l cos
ce qui donne
x = |AH| + |XC|
x = 5.85cm ou x = 4.12cm

134

ANNEXE C. EXERCICES RSOLUS


Exemple 33 Septembre 2006 - Question 4
Le mnisque convergent reprsent la figure C.3 est limit gauche par un arc de cercle de
rayon R1 = 50mm et droite par un arc de cercle de rayon R2 = 1000mm. Il stend vers le
haut et le bas dune hauteur H = 32.5 mm. Sachant que lpaisseur minimale du mnisque
(sur laxe de symtrie) vaut h0 = 2mm, quelle est son paisseur h sur les bords ?

Figure C.3 Mnisque convergent

Choix des triangles


Les donnes sont R1 , R2 , H et h0 . On recherche donc des triangles, rectangles de prfrence,
faisant intervenir ces donnes. Comme on le voit la figure C.4, les triangles ABC et DEF
sont rectangles et font intervenir chacun deux de ces donnes. Deux donnes tant connues,
ces triangles peuvent tre rsolus totalement. Il semble donc judicieux dexprimer linconnue
h en fonction de longueurs appartenant ces triangles.

Dmarche
On veut exprimer h comme combinaison de longueurs que lon peut calculer dans les triangles
ABC et DEF , cest--dire les longueurs |AB| et |DF |. Cependant, il reste une hypothse qui
na pas encore t utilise, la longueur h0 . il faut donc la faire intervenir dans lexpression
de h. Observant bien le schma, on remarque que
h = h1 + h0 h2

(C.40)

o h0 est connu. Il reste donc calculer h1 et h2 en se ramenant aux triangles rectangles.


135

ANNEXE C. EXERCICES RSOLUS

Figure C.4 Mnisque convergent, annot

Ces valeurs sont calcules en se souvenant que les bords du mnisque sont des arcs de cercle.
On a donc
h1 = R1 |DF |

(C.41)

h2 = R2 |AB|

(C.42)

et on sait que les longueurs |DF | et |AB| sont calcules dans les triangles rectangles.

Rsolution
Il suffit donc de faire le chemin inverse en calculant toutes les donnes. Dans le triangle
ABC,
q
|AB| = R22 H 2 = 999.47mm
De mme, dans DEF
q
|DF | = R12 H 2 = 38.00mm
Les quations (C.41) et (C.42) nous donnent
h1 = R1 |DF | = 12mm
h2 = R2 |AB| = 0.53mm
Enfin, (C.40) nous donne la rponse souhaite
h0 = h1 + h0 h2 = 13.47mm

136

ANNEXE C. EXERCICES RSOLUS


Exemple 34 Juillet 2008 - Question 3
Dans un demi-cercle de rayon R, on trace trois cordes C1 , C2 , C3 parallles la base rectiligne
du demi-cercle. La distance h entre C1 et C2 est gale la distance entre C2 et C3 .
On mesure C1 = 8m, C2 = 16m, C3 = 20m.
Quel est le rayon R du demi-cercle ?

Figure C.5 Demi-cercle de rayon R avec ses trois cordes C1 , C2 , C3

Choix des triangles


On commence donc par faire apparaitre les triangles, voir figure C.6. On pourrait vouloir travailler dans les triangles quelconques OAI, OBH ou encore OCG, car la longueur dun ct
est donne et les deux autres longueurs sont linconnue recherche. Cependant, ces triangles
sont quelconques, ce qui fait que les formules sont plus compliques et quil faut trois, non
deux, donnes pour les rsoudre. On vitera de travailler dans ces triangles, dautant plus que
des triangles rectangles sont prsents. Par exemple, les triangles OF I, OEH et ODG sont
rectangles, contiennent chacun une demi-corde et leur hypotnuse est linconnue. On va donc
utiliser ces triangles-l.

Dmarche
Une fois les triangles choisis, il faut dterminer quelles formules utiliser. Ce choix est videmment guid par les donnes et inconnues. Dans ce cas-ci, on voudrait lier les demi-cordes
avec le rayon, ce qui peut se faire en faisant intervenir soit le troisime ct, via Pythagore,
137

ANNEXE C. EXERCICES RSOLUS

Figure C.6 Demi-cercle de rayon R avec ses trois cordes C1 , C2 , C3 , annot

soit un des angles du triangle. Cependant, la dernire hypothse porte sur le troisime ct,
vu quelle nous dit que |DE| = |EF |, tandis que rien nest connu propos des angles. On
crit donc la formule de Pythagore dans les trois triangles OF I, OEH et ODG
|OI|2 = |OF |2 + |F I|2
|OH|2 = |OE|2 + |EH|2
|OG|2 = |OD|2 + |DG|2

On rcrit ces valeurs en fonction des hypothses


R2 = |OF |2 +

C32
4

C22
4
C2
= (|OF | + 2h)2 + 1
4

(C.43)

R2 = (|OF | + h)2 +

(C.44)

R2

(C.45)

et on obtient un systme de trois quations trois inconnues, R, h et |OF |. La partie trigonomtrique de lnonc est termine, il reste juste rsoudre ce systme pour obtenir la solution.

Rsolution
Bien que ce systme soit non-linaire, on peut quand mme le rsoudre facilement. Il suffit
dliminer les termes quadratiques pas des combinaisons linaires appropries. En effet, les
138

ANNEXE C. EXERCICES RSOLUS


termes R2 et |OF |2 peuvent tre limins des quations via les combinaisons
(C.43) R2 = |OF |2 +

C32
4

C22 C32

4
4
2
C1
C32
2
(C.45) (C.43) 0 = 4|OF |h + 4h +

4
4
(C.44) (C.43) 0 = 2|OF |h + h2 +

(C.46)
(C.47)
(C.48)

liminer le double produit entre les quations (C.47) et (C.48) permet dobtenir une quation
ne contenant plus que linconnue h2
(C.46) R2 = |OF |2 +

C32
4

C22 C32

4
4
2
2
2
C
C
C
(C.48) 2(C.47) 0 = 2h2 + 1 2 2 + 3
4
4
4
(C.47) 0 = 2|OF |h + h2 +

Lquation (C.51) nous donne


r
h=

C12 C22 C32


+

= 6m
8
4
8

Insrer ceci dans (C.50) permet de calculer |OF |


|OF | =

15
1 h2 C22 C32
(
+
)= m
h
2
8
8
6

Enfin, lquation (C.49) nous donne R


r
R=

|OF |2

C32
+
= 137.5m
4

139

(C.49)
(C.50)
(C.51)

ANNEXE C. EXERCICES RSOLUS


Exemple 35 Juillet 2000 - Question 3
On donne laire du triangle ABC dont les longueurs des cts sont connues. Par le sommet
A, lintrieur du triangle, on mne deux segments de droites [A, B 0 ] et [A, C 0 ] formant avec
[A, B] et [A, C] des angles de 20 degrs, tels que B 0 et C 0 appartiennent au ct [B, C] (voir
figure C.7).
Calculer la surface de AB 0 C 0 .

Figure C.7 Juillet 2000 - Question 3

Choix des triangles


Pas le choix ici, il faudra passer par les triangles quelconques reprsents la figure C.7.

Dmarche
On dsire calculer la surface du triangle AB 0 C 0 . On devra donc utiliser la formule Aire =
1
bc sin
2

Cette formule peut videmment tre utilise avec nimporte quel angle. Ici, on es-

0 AC 0 . On doit donc valuer cet angle, ainsi que les cts |AB 0 |
saiera de se servir de langle Bd

et |AC 0 |, avant dutiliser


1
0 AC 0
Aire = |AB 0 ||AC 0 | sin Bd
2

(C.52)

0 AC 0 . Pour valuer cet angle, il suffit de connaitre langle BAC,


d qui peut-tre lui Bd

mme valu dans le triangle ABC au moyen de Pythagore gnralis.


|AB 0 |. Cette longueur intervient dans le triangle BAB 0 , dans lequel on connait dj une
d peut tre calcul via Pythagore
longueur et un angle. Un deuxime angle, langle ABC,
140

ANNEXE C. EXERCICES RSOLUS


gnralis dans le triangle ABC. La formule en sinus sapplique alors pour calculer la
longueur recherche.
|AC 0 |. Cette longueur est calcule de manire analogue la longueur |AC 0 |. On value
d via Pythagore, puis |AC 0 | via la formule en sinus dans le triangle ACC 0 .
dabord BCA

Rsolution
On calcule les valeurs ncessaires selon la mthode dcrite prcdemment.
d = arccos |AB|2 +|AC|2 |BC|2 = 75, 2616
Triangle ABC : BAC
2|AB||AC|
Angles en A :

0
0 AC 0 = BAC
d 20 20
Bd

= 35, 2616

(C.53)

d = arccos |AB|2 +|BC|2 |AC|2 = 63, 8989


Triangle ABC : ABC
2|AB||BC|
Triangle ABC :

d0 A = 180 20 ABC
d
BB

= 96, 1011

Triangle ABB 0 :

sin ABC
|AB 0 | = |AB| sin
d0 A
BB

= 128, 25m

(C.54)

d = arccos |AC|2 +|BC|2 |AB|2 = 40, 8395


Triangle ABC : ACB
2|AC||BC|
Triangle ABC :

d0 A = 180 20 ACB
d
CC

Triangle ACC 0 :

sin ACB
|AC 0 | = |AC| sin
0A
d
CC
d

= 119, 1605
= 146, 03m

(C.55)

Pour finir, (C.53), (C.54) et (C.55) sont places dans la formule (C.52), pour donner
1
0 AC 0 = 5405, 70m2
Aire = |AB 0 ||AC 0 | sin Bd
2


141

ANNEXE C. EXERCICES RSOLUS


Exemple 36 Juillet 1999 - Question 3

Connaissantlesdistancessuivantes Bruxelles - Lisbonne = 1713km


Athnes - Bruxelles

= 2089km

Berlin - Lisbonne

= 2310km

Athnes - Berlin

= 1801km

Bruxelles - Rome

= 1182km

Lisbonne - Rome

= 1873km

Athnes - Rome

= 1040km

Calculer la distance Berlin - Bruxelles.


Suggestion : utiliser uniquement les formules de calcul dangles ou de cts dans des triangles, aprs avoir reprsent graphiquement la situation gographique des villes.

Choix des triangles


Suivant la suggestion, on arrive la figure C.8. Par facilit, les distances connues on t
renommes a, b, ..., la distance recherche x. Comme les triangles sont tous quelconques, il
faudra bien passer par les formules compltes. En cas de besoin, on pourra toujours rajouter
les distances |B 0 R| et |AL| pour faire intervenir dautres triangles.

Dmarche
On dsire calculer la distance x. Comme seules des distances sont connues, on est tent
dutiliser Pythagore gnralis. On choisit donc un triangle faisant intervenir x, et on essaie
de se ramener des donnes connues en passant dun triangle lautre. On commence par
exemple dans le triangle BB 0 L. Pour calculer x, on a besoin de a, c et de langle BLB 0 . a et c
tant connus, on doit alors valuer langle BLB 0 , par exemple en soustrayant les angles BLA
et B 0 LA, quil faut alors calculer. On continue jusqu parvenir tout valuer. La dmarche
totale sera
142

ANNEXE C. EXERCICES RSOLUS

Figure C.8 Reprsentation graphique de la situation gographique

Triangle BB 0 L :
Angles en L :

d0
x2 = a2 + c2 2ac cos BLB
0 LA
d 0 = BLA
d Bd
BLB

d 0 inconnu
a, b connus , BLB
0 LA inconnus
d Bd
BLA,

Triangle BLA :

d =
cos BLA

a2 +|AL|2 b2
2a|AL|

a, b connus, |AL| inconnu

Triangle B 0 LA :

0 LA =
cos Bd

d2 +|AL|2 c2
2d|AL|

c, d connus, |AL| inconnu

d f, g connus, ARL
d inconnu
Triangle ALR : |AL|2 = f 2 + g 2 2f g cos ARL
Angles en R :

d 0 = 360 ARB
d BRL
d
ARL

d BRL
d inconnus
ARB,

Triangle ARB :

d =
cos ARB

e2 +g 2 b2
2ag

Tout est connu

Triangle BRL :

d =
cos BRL

e2 +f 2 a2
2ef

Tout est connu

En rsum, on part de linconnue, et on regarde les donnes qui manquent pour calculer cette
inconnue. On procde de mme pour ces donnes, jusqu arriver une tape o tout est
connu.

Rsolution
Il suffit maintenant de refaire la procdure en sens inverse en calculant les valeurs tapes par
143

ANNEXE C. EXERCICES RSOLUS


tape.
Triangle BRL :

d = arccos e2 +f 2 a2
BRL
2ef

= 63, 5691

Triangle ARB :

d = arccos e2 +g2 b2
ARB
2eg

= 140, 0664

d 0 = 360 BRL
d ARB
d
ARL
= 156.3645
q
d = 2856.36km
Triangle ALR : |AL| = f 2 + g 2 2f g cos ARL
Angles en R :

Triangle B 0 LA :

2
2
2
0 LA = arccos c +|AL| d
Bd
2c|AL|

= 39.0292

Triangle BLA :

d = arccos a2 +|AL|2 b2
BLA
2a|AL|

= 46.5560

Angles en L :
Triangle BB 0 A :

0 LA
d 0 = BLA
d Bd
BLB
p
d0
x = a2 + c2 2ac cos BLB

= 7.5268
= 651.61km

La difficult de cet exercice nest pas dans les formules, vu quon utilise toujours la mme. Elle
est dans la dmarche, qui est assez longue. Il faut donc procder mthodiquement, et viter
de tourner en rond. Si cela arrive, il faut changer de dmarche, cest--dire tester dautres
0 LR.
d 0 peut aussi tre calcul partir des angles BLR
d et Bd
triangles. Par exemple, langle BLB
0 LR, on a besoin de la distance |BB 0 |, qui est calcule dans le triangle AB 0 R
Pour calculer Bd
0 AR. Pour valuer cet angle-ci, on a besoin de x, dans le triangle B 0 RA.
partir de langle Bd

On a donc tourn en rond, ce qui veut dire quil faut essayer autrement.


144

ANNEXE C. EXERCICES RSOLUS


Exemple 37 Juillet 2006 - Question 2
Dans le triangle ABC (voir figure C.9), la hauteur AD est coupe en son milieu H par la
hauteur CE. Montrer tout dabord que
tan B tan C = 2
Sachant ensuite que dans tout triangle, on a la relation gnrale
tan A + tan B + tan C = tan A tan B tan C

(C.56)

Quelles sont les valeurs de langle A pour lesquelles la relation


tan B tan C = 2
soit possible ?

Figure C.9 Triangle ABC dont la hauteur AD est coupe en son milieu H par la hauteur
CE

Premire partie
On commence par traduire lnonc en terme de thse et hypothses.

Hypothses

ABC un triangle
AD BC
CE AB
145

ANNEXE C. EXERCICES RSOLUS


|AH| = |HD|

(C.57)

tan B tan C = 2

(C.58)

Thse

Dmonstration
Si la thse est vrifie, il existe donc un lien entre les angles B et C. On va partir de lun et
essayer de se ramener lautre, au moyen des formules dans les triangles et des hypothses.
On part de C pour se ramener B, car la tangente de C ne peut sexprimer que dans le
triangle ADC, tandis que B pourrait sexprimer dans les triangles ADB et BEC. On a donc
tan C =

|AD|
|DC|

(C.59)

Observant la thse, on remarque quun facteur 2 doit apparaitre. La seule hypothse permettant cela est lquation (C.57), qui peut scrire
|AD| = 2|AH| = 2|HD|
Lquation (C.59) devient
tan C = 2

|HD|
|AH|
=2
|DC|
|DC|

Il faut maintenant choisir si lon prend lexpression avec |AH| ou avec |HD|. On choisira en se souvenant que lon doit se ramener tan B. Pour se ramener une tangente, il
faut videmment que le numrateur et le dnominateur soient cts dun mme triangle. On
conservera donc lquation avec |HD|
tan C = 2

|HD|
d
= 2 tan ECB
|DC|

La thse ne sera donc vraie que si


d =
tan ECB

1
tan B

Cest bien le cas, si lon remarque que les triangles ABC et CBE sont semblables. En effet,
d et CEB
d sont tous les deux droits, et langle ABC
d est commun aux deux
les angles ADB
146

ANNEXE C. EXERCICES RSOLUS


d et ECB
d sont aussi gaux. On aura donc.
triangles. Ds lors, les angles DAB
d
tan C = 2 tan ECB
d
= 2 tan DAB
d
= 2 cot ABC
= 2 cot B
Deuxime partie
On va supposer que tan B tan C = 2, puis utiliser lquation (C.56) pour rechercher les valeurs
de A qui sont possibles. Cela donnera
tan A + tan B + tan C = tan A tan B tan C
2
= 2 tan A
tan A + tan B +
tan B
tan2 B tan A tan B + 2 = 0
ce qui nest possible que si
= tan2 A 8 > 0
tan2 A > 8


147

ANNEXE C. EXERCICES RSOLUS


Exemple 38 Septembre 2006 - Question 2
Soit ABC un triangle et soit D une droite qui coupe le ct AB en un point F , le ct AC
en un point E et le prolongement du ct BC en un point D (voir figure C.10). On donne
les rapports
|F A|
1
=
|F B|
3
Que vaut le rapport

|DC|
|DB|

|EA|
2
=
|EC|
3

Figure C.10 Septembre 2006 - Question 4

Rsolution
Les triangles sont tous quelconques. On a donc notre disposition les formules de Pythagore
gnralis et la relation des sinus. Comme ce que lon recherche est un rapport, on utilisera
plutt la formule des sinus.
On va donc partir du rapport que lon recherche et se ramener, via les relations en sinus, aux
rapports connus.
On commence par modifier |DC|. Cette longueur napparait que dans le triangle DCE. La
relation des sinus peut donc sy crire.
|DC| = |DE|

d
sin CED
d
sin ECD

!
= |CE|

d
sin CED
d
sin CDE

Il faut maintenant choisir quelle criture on va prendre. Comme toujours en cas de doute, on
regarde les hypothses, et on remarque que la longueur |CE| est prsente dans un des rapports
connus, tandis que |DE| ne lest pas. On choisit donc dcrire
!
d
sin CED
|DC| = |CE|
d
sin CDE
148

ANNEXE C. EXERCICES RSOLUS


On procde de mme concernant la longueur |DB|, dans le triangle ABD. On lexprimera
donc en fonction de |F B| via
|DB| = |F B|

dD
sin BF
d
sin BDF

Le rapport que lon dsire calculer devient alors


|CE|
|DC|
=
|DB|
|F B|

d sin BDF
d
sin CED
d sin BF
dD
sin CDE

d et CDE
d sont videmment les mmes, ce qui donne pour rapport
Les angles BDF
!
d
|DC|
|CE| sin CED
=
dD
|DB|
|F B| sin BF
Les longueurs interviennent dans les hypothses. On ny touche donc plus. Il faut prsent
exprimer les sinus que lon a en fonction des donnes des rapports que lon na pas encore.
De plus, il faut changer de triangles, car ainsi on utilisera des relations linairement indpendantes. On peut par exemple remarquer que
d = AEF
d sin CED
d = sin AEF
d
CED
dD = AF
dE sin BF
dD = sin AF
dE
BF
Le rapport devient donc
|DC|
|EC|
=
|DB|
|F B|

d
sin AEF
dE
sin AF

Or dans le triangle AEF , on a


d
sin AEF
|F A|
=
dE
|EA|
sin AF
qui sont justement les deux autres longueurs fournies par hypothse. Finalement, cela donne
|DC|
|EC||F A|
1
=
=
|DB|
|EA||F B|
2


149

ANNEXE C. EXERCICES RSOLUS


Exemple 39 Juillet 2007 - Question 4
Soit le trapze isocle ABCD reprsent la figure C.11. La grande base a une longueur t, la
hauteur vaut h, langle entre ses cts obliques et la verticale est not et la petite base a une
longueur note b. On dplace le sommet C vers la droite dune distance x, de telle sorte que
le ct BC 0 est inclin dun angle par rapport BC. On considre alors le trapze ABC 0 D0
tel que C 0 D0 = CD = b. Le ct AD0 est alors inclin dun angle par rapport AD.

Figure C.11 Juillet 2007 - Question 4

Montrer quil existe un angle tel que


cot cot = 2
quel que soit le dplacement x = CC 0 .

Rsolution
On doit montrer quon peut trouver un angle qui soit tel que cot cot = 2. Si cest bien
le cas, on doit pouvoir partir du membre de gauche et arriver une certaine expression en
, qui se rduira 2 par un choix judicieux.
Comme toujours, on commence par regarder les triangles disponibles. Comme on nous donne
une expression contenant les angles et , on est tent de travailler dans les triangles quelconques contenant ces angles. Cependant, de tels calculs semblent lourds, surtout quil nest
pas vident de faire intervenir langle .

150

ANNEXE C. EXERCICES RSOLUS

Figure C.12 Juillet 2007 - Question 4, annot

Si lon se souvient quil faut toujours privilgier des triangles rectangles aux triangles
quelconques, on peut alors considrer les triangles AXD, AXD0 , BCY ou encore BC 0 Y ,
reprsents la figure C.12. Pour se ramener ces triangles, il faut utiliser lartifice

cot cot = cot(( + ) ) cot( ( ))

On utilise alors les formules daddition pour faire intervenir les angles + , et ,
angles qui interviennent dans des triangles rectangles.

cot cot =

1 + tan( + ) tan 1 + tan tan( )

tan( + ) tan
tan tan( )

(C.60)

On peut exprimer ces tangentes en fonctions de t, b, x et h, en travaillant dans les triangles


rectangles mentionnes prcdemment.

Triangle AXD
Triangle AXD0
Triangle BC 0 Y

tb
2h
t b + 2x
tan( + ) =
2h
t b 2x
tan( ) =
2h
tan

151

(C.61)

ANNEXE C. EXERCICES RSOLUS


On insre ces valeurs dans (C.60), qui se simplifie alors grandement
cot cot =
=
=
=
=
=

tb+2x tb
2h
2h
tb
tb+2x

2h
2h
tb+2x tb
1 + 2h 2h
x
h

1+

tb2x tb
2h
2h
tb2x
tb

2h
2h
tb2x tb
1 + 2h 2h
x
h

1+


 

t b + 2x t b
t b 2x t b
h
1+
1+
x
2h
2h
2h
2h
h 4x t b
x 2h 2h
tb
2
2h
2 tan

en se souvenant de (C.61).
Prenant alors = 4 , on obtient bien que
cot cot = 2
On a bien montr quil existait un angle , en loccurrence

,
4

qui vrifiait lidentit. La

difficult de cet exercice nest pas dans les calculs ou lutilisation des formules, mais bien
dans le choix des triangles. Cet exemple montre bien quil est prfrable dutiliser autant que
possible les triangles rectangles.


152

Table des matires


1 Dfinitions
1.1

Notions de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.1

Angles et mesures dangles . . . . . . . . . . . . . . . . . . . . . . . .

1.1.2

Longueur dun arc et aire dun secteur . . . . . . . . . . . . . . . . .

Cercle trigonomtrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.1

Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.2

Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Sinue et cosinus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.1

Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.2

Signe du sinus et du cosinus . . . . . . . . . . . . . . . . . . . . . . .

10

1.3.3

Relation fondamentale de la trigonomtrie . . . . . . . . . . . . . . .

11

Tangente et cotangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

1.4.1

Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

1.4.2

Signe de la tangente et de la cotangente . . . . . . . . . . . . . . . .

12

1.4.3

Liens entre les nombres trigonomtriques . . . . . . . . . . . . . . . .

13

1.4.4

Identits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

1.5

Scante et coscante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

1.6

Angles remarquables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

1.7

Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

1.2

1.3

1.4

2 Equations
2.1

17

Principes dquivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

2.1.1

Angles opposs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

2.1.2

Angles supplmentaires . . . . . . . . . . . . . . . . . . . . . . . . . .

19

153

TABLE DES MATIRES

2.2

TABLE DES MATIRES

2.1.3

Angles antisupplmentaires

. . . . . . . . . . . . . . . . . . . . . . .

20

2.1.4

Angles complmentaires . . . . . . . . . . . . . . . . . . . . . . . . .

22

Equations rductibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

22

2.2.1

sin x = sin a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

22

2.2.2

sin x = sin x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

2.2.3

sin x = cos x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25

2.2.4

P (cos x) = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25

3 Formules daddition et de duplication


3.1

27

Formules daddition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27

3.1.1

Cosinus et sinus dune somme ou dune diffrence . . . . . . . . . . .

27

3.1.2

Tangente dune somme et dune diffrence . . . . . . . . . . . . . . .

27

3.2

Duplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

3.3

Formules de Carnot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

3.4

sin a et cos a en fonction de tg a2 . . . . . . . . . . . . . . . . . . . . . . . . .

28

3.5

Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29

4 Formules de Simpson

31

4.1

Formules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

4.2

Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

4.2.1

Identits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

4.2.2

Equations - Inquations . . . . . . . . . . . . . . . . . . . . . . . . .

32

5 Equations - Complments

33

5.1

Equation linaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

33

5.2

quations homognes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

35

5.3

Equations symtriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36

6 Inquations
6.1

39

Inquations de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

6.1.1

sin x 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

6.1.2

cos x 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

6.1.3

tg x 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

40

154

TABLE DES MATIRES


6.2

6.3

TABLE DES MATIRES

Inquations du premier degr . . . . . . . . . . . . . . . . . . . . . . . . . .

40

6.2.1

sin x a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

40

6.2.2

sin x a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

42

Autres inquations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43

7 Rsolutions de triangles
7.1

7.2

45

Triangle rectangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46

7.1.1

Thorme de Pythagore . . . . . . . . . . . . . . . . . . . . . . . . .

46

7.1.2

Nombres trigonomtriques . . . . . . . . . . . . . . . . . . . . . . . .

46

7.1.3

Exercices

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

47

Triangles quelconques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

49

7.2.1

Formule des cosinus . . . . . . . . . . . . . . . . . . . . . . . . . . . .

49

7.2.2

Formule des sinus . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

49

7.2.3

Aire dun triangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

49

7.2.4

Exercices

50

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8 Identits

53

8.1

Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53

8.2

Identits conditionnelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

54

8.3

Identits et rciproques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

56

8.4

Fonctions rciproques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

58

A Elments de logique

61

A.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

61

A.1.1 Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

61

A.1.2 Oprations sur les assertions . . . . . . . . . . . . . . . . . . . . . . .

62

A.2 Implication et quivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . .

65

A.2.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

65

A.2.2 Implication rciproque . . . . . . . . . . . . . . . . . . . . . . . . . .

67

A.2.3 Equivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

67

A.3 Quantificateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

68

A.3.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

68

A.3.2 Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

69

155

TABLE DES MATIRES

TABLE DES MATIRES

A.3.3 Assertions avec plusieurs quantificateurs . . . . . . . . . . . . . . . .


B Dmonstrations

69
71

B.1 Dmonstration dune galit ou dune ingalit . . . . . . . . . . . . . . . . .

71

B.2 Dmonstration dune implication . . . . . . . . . . . . . . . . . . . . . . . .

72

B.2.1 Raisonnement dductif . . . . . . . . . . . . . . . . . . . . . . . . . .

72

B.2.2 Dmonstration par contraposition . . . . . . . . . . . . . . . . . . . .

73

B.2.3 Dmonstration dune quivalence . . . . . . . . . . . . . . . . . . . .

73

B.2.4 Dmonstration par labsurde . . . . . . . . . . . . . . . . . . . . . . .

74

B.2.5 Notion de contre-exemple . . . . . . . . . . . . . . . . . . . . . . . .

75

B.2.6 Thse quivalente . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

75

B.2.7 Dmonstration par rcurrence . . . . . . . . . . . . . . . . . . . . . .

76

C Exercices rsolus

77

156