Download as pdf or txt
Download as pdf or txt
You are on page 1of 8













Chapitre 1
Raisonnements
mathématiques

/HPDWKpPDWLFLHQLWDOLHQ*LXVHSSHPeanopWDLWWUqVVRXFLHX[
G¶H[SRVHUOHVPDWKpPDWLTXHVGDQVXQFDGUHSUpFLVHWULJRXUHX[
'DQVVRQ)RUPXODLUHPDWKpPDWLTXHSXEOLpHQLOLQWURGXLVLW
GHQRPEUHX[V\PEROHVQRXYHDX[2QOXLGRLWHQSDUWLFXOLHUˆHW‰
GpVLJQDQWUHVSHFWLYHPHQWO¶LQWHUVHFWLRQHWODUpXQLRQ,OXWLOLVHOD
OHWWUHJUHFTXHHSVLORQDEUpYLDWLRQGXJUHFHVWLLOHVWSRXUQRWHU
O¶DSSDUWHQDQFHHWLQWURGXLWOHTXDQWLILFDWHXUH[LVWHQWLHOTX¶LOQRWH
UHQYHUVDQWXQ(SRXUVLJQLILHUO¶LQLWLDOHGXPRWLWDOLHQHVLVWH,O
SURSRVHDXVVLGHVXSSULPHUOHVGpFOLQDLVRQVGXODWLQSRXUREWHQLU
XQHODQJXHLQWHUQDWLRQDOHVLPSOHHWFRPSULVHSDUWRXVTX¶LO
QRPPH/DWLQRVLQHIOH[LRQH/HORJLFLHQDQJODLV%HUWUDQGRussell 
SURSRVHXQSDUDGR[HTXLUHPHWHQFDXVHODWKpRULHGHVHQVHPEOHV Bertrand Russell
HWQpFHVVLWHGHODIRQGHUVXUXQV\VWqPHG¶D[LRPHV 1872-1970
„„ Objectifs
„ Les incontournables
Z 6DYRLUHIIHFWXHUXQUDLVRQQHPHQWSDUUpFXUUHQFH
Z 6DYRLUXWLOLVHUXQUDLVRQQHPHQWSDUUpFXUUHQFHG RUGUHVXSpULHXURXpJDOj
Z 6DYRLUHIIHFWXHUXQUDLVRQQHPHQWSDUUpFXUUHQFHIRUWH RXJpQpUDOLVpH 
Z 6DYRLUPHWWUHHQ°XYUHXQUDLVRQQHPHQWSDUO DEVXUGH

„ Et plus si affinités
Z 6DYRLUUDLVRQQHUSDUFRQWUDSRVpH
Z 6DYRLUPDQLSXOHUOHVFRQQHFWHXUVORJLTXHVHWOHVTXDQWLILFDWHXUV
Z 6DYRLUpFULUHODQpJDWLRQG¶XQHSURSRVLWLRQ

„„ Résumé de cours

„Les éléments du raisonnement


‰ Proposition
'pILQLWLRQ2QDSSHOOHSURSRVLWLRQWRXWHSKUDVH3GRQWRQSHXWGLUHVLHOOHHVWYUDLHRX
IDXVVH/RUVTXHO pQRQFpG XQHSURSRVLWLRQSRUWHVXUXQHYDULDEOH[QRXVSRXUURQVODQRWHU 3 [ 
5HPDUTXH 2QpFULUDLQGLIIpUHPPHQW3RX3HVWYUDLH
([HPSOH 3RXUWRXWUpHO[VWULFWHPHQWSRVLWLI OQ [ !  HVWXQHSURSRVLWLRQGpSHQGDQWH
GHODYDULDEOH[(OOHHVWYUDLHVL [ !  HWIDXVVHVLQRQ
([HPSOH   /D VXLWH XQ Q`  HVW FURLVVDQWH HVW XQH SURSRVLWLRQ 1RWRQV TX HOOH QH
GpSHQGSDVGHO HQWLHUQ
([HPSOH3RXUXQGpODQFpOHQXPpURVRUWLHVWSDLUHVWXQHSURSRVLWLRQ
([HPSOH3RXUWRXWUpHO[  [   H [ Q HVWSDVXQHSURSRVLWLRQ

‰ Quantificateurs
1RWDWLRQ/HVLJQH  SODFpGHYDQWXQHYDULDEOH[VLJQLILHTXHOTXHVRLW[
/HVLJQH  SODFpGHYDQWXQHYDULDEOH[VLJQLILHLOH[LVWH DXPRLQV XQ[
/HVLJQH  SODFpGHYDQWXQHYDULDEOH[VLJQLILHLOH[LVWHXQXQLTXH[
 [  \ [    !  VHOLWTXHOTXHVRLWOHUpHO[ [    HVWVWULFWHPHQWSRVLWLIRXSRXUWRXW
UpHO[ [    HVWVWULFWHPHQWSRVLWLI
 [  @  f> [    [     VH OLW  LO H[LVWH DX PRLQV XQ UpHO [ VWULFWHPHQW SRVLWLI WHO TXH
[    [   HVWpJDOj LO\DG DLOOHXUVGHX[WHOV[     HW     
Q Q  Q Q 
 Q  `   VHOLWLOH[LVWHXQXQLTXHHQWLHUQDWXUHOQQRQQXOWHOTXH HVW
 
pJDOj LOV DJLWGXQRPEUH 
5HPDUTXH1RWRQVTXHGDQVXQpQRQFpO H[SUHVVLRQLOH[LVWHXQ[VLJQLILHUDWRXMRXUV
LPSOLFLWHPHQWTX LOHQH[LVWHDXPRLQVXQ6LXQLFLWpLO\DHOOHVHUDH[SOLFLWHPHQWPHQWLRQQpH

3URSULpWp(QJpQpUDOODSURSRVLWLRQ [ \ 3 [ \ HVWGLIIpUHQWHGH \ [ 3 [ \  

([HPSOH   /D SURSRVLWLRQ  [  \  Q  ]  Q d [  Q    pQRQFH TXH TXHO TXH VRLW OH
UpHO [LOH[LVWHXQ HQWLHU Q WHO TXH[ VRLWFRPSULV HQWUHQ HW Q    FHWWH GHUQLqUH YDOHXU pWDQW
H[FOXH& HVWXQHSURSRVLWLRQYUDLH TXLGpILQLWG DLOOHXUVFHTXHO¶RQDSSHOOHODSDUWLHHQWLqUHGH
[  (OOH HVW GLIIpUHQWH GH OD VXLYDQWH   Q  ] [  \ Q d [  Q    TXL DIILUPH TXDQW j HOOH
TXHWRXVOHVUpHOVVRQWFRPSULVHQWUHGHX[HQWLHUVIL[pV(OOHHVWpYLGHPPHQWIDXVVH
5HPDUTXH 'DQVO H[SUHVVLRQ \  \ [  \  LOIDXWQRWHUTXH[GpSHQGGH\RQ
GHYUDLWHQWRXWHULJXHXUOHQRWHU[\RX[ \ FHTXHO RQQHIDLWSUHVTXHMDPDLV

‰ Connecteurs logiques
'pILQLWLRQ /DSURSRVLWLRQFRQWUDLUHGH 3QRWpHQRQ 3 HWDSSHOpHQpJDWLRQGH 3 HVWOD
SURSRVLWLRQTXLHVWYUDLHORUVTXH3HVWIDXVVHHWTXLHVWIDXVVHORUVTXH3HVWYUDLH

3URSULpWp/DQpJDWLRQGH [ 3 [ HVWODSURSRVLWLRQ [ QRQ 3 [  
/DQpJDWLRQGH [ 3 [ HVWODSURSRVLWLRQ [ QRQ 3 [  

([HPSOHV x3RXUXQGpODQFpWURLVIRLVOHFRQWUDLUHGHOHVWURLVQXPpURVREWHQXVVRQW
SDLUVHVWDXPRLQVXQGHVQXPpURVREWHQXVHVWLPSDLU
      x/DQpJDWLRQGH [  \ Q  ] Q d [  Q   HVW
 [  \ Q  ] [  Q RX[ t Q   
/DSUHPLqUHSURSRVLWLRQHVWYUDLHSXLVTX¶HOOHGpILQLWO¶HQWLHUQTXLHVWODSDUWLHHQWLqUHGH[ YRLU
H[HPSOH HWODGHX[LqPHHVWIDXVVHFDULOQ¶H[LVWHSDVGHUpHO[WHOTX¶DXFXQHQWLHUQHVRLW
GDQVO¶LQWHUYDOOH @ [   [ @ 

'pILQLWLRQ6RLW3HW4GHX[SURSRVLWLRQV2QDSSHOOHGLVMRQFWLRQGH3HW4ODSURSRVLWLRQ
3RX4 OHRXpWDQWHQWHQGXLFLLQFOXVLYHPHQW VRLW3VRLW4VRLWOHVGHX[ 
([HPSOH3RXUXQGpODQFpRQFRQVLGqUH3OHQXPpURVRUWLHVWSDLUHW4OHQXPpUR
VRUWLHVWVXSpULHXURXpJDOj$ORUV 3RX4 HVWOHQXPpURVRUWLHVWRX

'pILQLWLRQ6RLW3HW4GHX[SURSRVLWLRQV2QDSSHOOHFRQMRQFWLRQGH3HW4ODSURSRVLWLRQ
3HW4  OHVGHX[VLPXOWDQpPHQW 
([HPSOH(QUHSUHQDQWO H[HPSOH 3HW4 HVWOHQXPpURVRUWLHVWRX

'pILQLWLRQ 6RLW 3HW 4GHX[SURSRVLWLRQV2QGLWTXH 3LPSOLTXH 4HWRQQRWH 3 Ÿ 4 
ORUVTXHVL3HVWYUDLHDORUV4HVWYUDLH O LPSOLFDWLRQ 4 Ÿ 3 HVWDSSHOpHUpFLSURTXHGH 3 Ÿ 4 
9RFDEXODLUH /RUVTXH3LPSOLTXH4RQGLWTXH3HVWXQHFRQGLWLRQVXIILVDQWHGH4HWTXH4
HVWXQHFRQGLWLRQQpFHVVDLUHGH3

([HPSOH3RXUWRXWUpHO[RQD [ [  Ÿ [ t   O LPSOLFDWLRQUpFLSURTXHHVWIDXVVH 

'pILQLWLRQ 6RLW 3HW 4GHX[SURSRVLWLRQV2QGLWTXH 3pTXLYDXWj 4 RXTXH 3HW 4VRQW
pTXLYDOHQWHV HWRQQRWH 3 œ 4 ORUVTX RQDjODIRLV 3 Ÿ 4 HW 4 Ÿ 3 
9RFDEXODLUH  /RUVTXH 3HW 4VRQWpTXLYDOHQWHVRQGLWTXH 3HVWYUDLHVLHWVHXOHPHQWVL 4
HVWYUDLH2QGLWDXVVLTXH3HVWXQHFRQGLWLRQQpFHVVDLUHHWVXIILVDQWHGH4
D Méthode 1.2. Comment montrer une équivalence par double implication ?


([HPSOH  D E  \    OQ D  OQ E œ D  E 

„„ 4 CHAPITRE 1
([HPSOH  3RXUWRXWHQWLHUQQHVWPXOWLSOHGHVLHWVHXOHPHQWVLQHVWPXOWLSOHjOD
IRLVGHHWGH

„Différents types de raisonnements


‰ La contraposition
'pILQLWLRQ   6RLW 3 HW 4 GHX[ SURSRVLWLRQV / LPSOLFDWLRQ QRQ 4 Ÿ QRQ 3  V DSSHOOH OD
FRQWUDSRVpHGHO LPSOLFDWLRQ 3 Ÿ 4  
([HPSOH/DFRQWUDSRVpHGHODSURSRVLWLRQV LOSOHXWDORUVOHVROHVWPRXLOOpHVWVLOH
VROQ HVWSDVPRXLOOpDORUVLOQHSOHXWSDV

7KpRUqPH8QHLPSOLFDWLRQHWVDFRQWUDSRVpHVRQWpTXLYDOHQWHVPRQWUHUTXH3LPSOLTXH
4UHYLHQWjPRQWUHUTXHVL4Q HVWSDVYUDLHDORUV3Q HVWSDVYUDLH
3 Ÿ 4 œ QRQ 4 Ÿ QRQ 3 

5HPDUTXH   /¶H[HUFLFH  TXHVWLRQ   SURSRVH XQ H[HPSOH GH UDLVRQQHPHQW SDU
FRQWUDSRVLWLRQ

‰ Démonstration par l'absurde


7KpRUqPH4XHOOHVTXHVRLHQWOHVSURSRVLWLRQV3HW4SRXUPRQWUHUTXH3LPSOLTXH4RQ
VXSSRVHTXH3HVWYUDLHTXH4HVWIDXVVHHWRQPRQWUHTXHF¶HVWLPSRVVLEOH
3 Ÿ 4 œ 3 HWQRQ 4 HVWIDXVVH 

D Méthode 1.1. Comment montrer une proposition par l'absurde ?



5HPDUTXH / LGpHGHODGpPRQVWUDWLRQSDUO DEVXUGHHVWWUqVVLPSOHSRXUPRQWUHUTXH
3 Ÿ 4  RQ VXSSRVH TXH 3 HVW YUDLH HW TXH 4 HVW IDXVVH SXLV RQ FKHUFKH j pWDEOLU XQH
FRQWUDGLFWLRQ

‰ Démonstration par récurrence


Récurrence simple
7KpRUqPH&RQVLGpURQVXQHSURSRVLWLRQ 3 Q GpSHQGDQWG¶XQHQWLHUQDWXUHOQ
6L 3 Q HVWYUDLHHWVLHQVXSSRVDQWODSURSRVLWLRQ 3 Q YUDLHSRXUXQFHUWDLQHQWLHUQDWXUHO Q
VXSpULHXU RX pJDO j Q RQ PRQWUH TXH OD SURSRVLWLRQ 3 Q    O¶HVW DXVVL DORUV OD SURSRVLWLRQ
3 Q HVWYUDLHSRXUWRXWHQWLHUQDWXUHOQVXSpULHXURXpJDOjQ

D Méthode 1.3. Comment montrer une proposition par récurrence ?



9RFDEXODLUH  /D SUHXYH GH 3 Q  V DSSHOOH O LQLWLDOLVDWLRQ GH OD UpFXUUHQFH /D YpULWp GH
O LPSOLFDWLRQ 3 Q HVWYUDLH Ÿ 3 Q   HVWYUDLH V DSSHOOHO KpUpGLWpGHODSURSRVLWLRQ

RAISONNEMENTS MATHÉMATIQUES 5 „„
$WWHQWLRQ 'DQVO pWXGHGHO KpUpGLWpRQQHVXSSRVHVXUWRXWSDVTXH 3 Q HVWYUDLHSRXUWRXW Q
VLQRQLOQ¶\DSOXVULHQjSURXYHU 2QVXSSRVHTXH 3 Q HVWYUDLHSRXUXQFHUWDLQHQWLHUQHW
RQPRQWUHTX¶DORUV 3 Q   HVWHQFRUHYUDLH
5HPDUTXH/DSOXSDUWGXWHPSVRQDQ RXQ 

Récurrence finie
,OVHSHXWTX RQDLWjPRQWUHUTX¶XQHSURSRVLWLRQ 3 Q HVWYUDLHQRQSDVSRXUWRXWHQWLHUQDWXUHO
QPDLVSRXUXQQRPEUHILQLG HQWLHUVVXFFHVVLIVPHWWRQVGHO HQWLHU Q jO HQWLHU Q  R Q  Q 
2QDDORUVODYHUVLRQVXLYDQWH

7KpRUqPH   6L 3 Q  HVW YUDLH HW VL SRXU WRXW HQWLHU Q GH a Q  Q  b  3 Q  LPSOLTXH
3 Q    DORUVODSURSRVLWLRQ 3 Q HVWYUDLHTXHOTXHVRLWO HQWLHUQGH a Q  Q b 

Récurrence d'ordre p (avec p t 2)


,ODUULYHTXHSRXUpWDEOLUXQHSURSRVLWLRQjXQFHUWDLQUDQJRQDLWEHVRLQGHVDYRLUTX HOOHHVW
YUDLHDX[SUDQJVSUpFpGHQWV VRXYHQWS  2QDDORUV

7KpRUqPH&RQVLGpURQVXQHSURSRVLWLRQ 3 Q GpSHQGDQWG¶XQHQWLHUQDWXUHOQ
6L OHV S SUHPLqUHV SURSRVLWLRQV 3   3   3 S    VRQW YUDLHV HW VL HQ VXSSRVDQW OHV S
SURSRVLWLRQV 3 Q  3 Q    3 Q  S    YUDLHV SRXU XQ FHUWDLQ HQWLHU QDWXUHO Q GH `  RQ
PRQWUHTXH 3 Q  S HVWYUDLHDORUVODSURSRVLWLRQ 3 Q HVWYUDLHTXHOTXHVRLWO HQWLHUQGH ` 

D Méthode 1.4. Comment montrer une proposition par récurrence d'ordre 2 ?

Récurrence forte
3RXUpWDEOLUO KpUpGLWpG XQHSURSRVLWLRQLOVHSHXWTXHO RQDLWEHVRLQGHVDYRLUVLHOOHHVWYUDLHj
WRXVOHVUDQJVMXVTX DX Q qPH  HWQRQSDVVHXOHPHQWDX Q qPH SRXUHQPRQWUHUODYpULWpDXUDQJ
Q    2QDDORUVOHUpVXOWDWVXLYDQW

7KpRUqPH&RQVLGpURQVXQHSURSRVLWLRQ 3 Q GpSHQGDQWG¶XQHQWLHUQDWXUHOQ
6L 3   HVW YUDLH HW VL SRXU XQ FHUWDLQ HQWLHU QDWXUHO Q HQ VXSSRVDQW OHV SURSRVLWLRQV 3 N 
YUDLHV SRXU WRXW N GH a  Q b  RQ PRQWUH TXH 3 Q    HVW YUDLH DORUV OD SURSRVLWLRQ 3 Q  HVW
YUDLHTXHOTXHVRLWO HQWLHUQDWXUHOQ
D Un exemple de démonstration par récurrence forte sera donné au chapitre 2

5HPDUTXH  2QQHSHXWSDVUHPSODFHUXQHUpFXUUHQFHG RUGUHSDUXQHUpFXUUHQFHIRUWH
'DQVOHFDVG XQHUpFXUUHQFHG RUGUHSRXUXQHQWLHUQGRQQpRQDEHVRLQGHODYpULWpGH 3 Q 
HW GH 3 Q    SRXU pWDEOLU FHOOH GH 3 Q     /D YpULWp G XQH VHXOH QH VXIILW SDV  2Q QHSHXW
GRQFSDVFRQWUDLUHPHQWjFHTXLVHSDVVHGDQVODUpFXUUHQFHIRUWHGpGXLUH 3  GH 3  LOIDXW
3  HW 3  SRXUREWHQLU 3  SXLVHQFOHQFKHUODUpFXUUHQFH

„„ 6 CHAPITRE 1
„„ Méthodes

„Raisonnements
‰ Méthode 1.1. Comment montrer une proposition par l'absurde ?

3RXUPRQWUHUTX XQHLPSOLFDWLRQHVWYUDLHLOVXIILWGHVXSSRVHUO K\SRWKqVHYUDLHHW


ODFRQFOXVLRQIDXVVHSXLVG HQGpGXLUHDORUVXQHFRQWUDGLFWLRQ

D Exercice 1.4

[ 
([HPSOH0RQWUHUTXHSRXUWRXWQRPEUHUpHO[GLIIpUHQWGH±RQD z  
[

Méthodes
[ 
3DUO¶DEVXUGHVLO¶RQDYDLW  DORUVRQHQGpGXLUDLW [   [   FHTXLpTXLYDXWj  
[
[ 
&HFLpWDQWPDQLIHVWHPHQWIDX[RQHQGpGXLWTXH [ z  z  
[

‰ Méthode 1.2. Comment montrer une équivalence par


double implication ?

/ pTXLYDOHQFH 3 œ 4 VLJQLILHODGRXEOHLPSOLFDWLRQ 3 Ÿ 4 HW 4 Ÿ 3 

D Exercice 1.3

5HPDUTXH2QSULYLOpJLHUDFHWWHPpWKRGHORUVTXHOHVDUJXPHQWVSHUPHWWDQWG pWDEOLUO XQHGHV
GHX[LPSOLFDWLRQVVRQWGLIIpUHQWVGHFHX[SHUPHWWDQWG pWDEOLUO DXWUH

([HPSOH6RLWGHX[UpHOVDHWE0RQWUHUTXH Q  ` D Q  EQ  œ D E  
&RPPHQoRQVSDUQRWHUTXHVLD E DORUVSRXUWRXWQGHRQDELHQDQEQ 
eWDEOLVVRQVO DXWUHLPSOLFDWLRQ
6LSRXUWRXWQGHRQD
­° D   E  § VLO pJDOLWpHVWYUDLHSRXUWRXWQ DORUVHOOH ·
D Q  EQ DORUV ®  ¨ ¸ 
 
¯° D   E  © O HVWHQSDUWLFXOLHUSRXUQ HWQ  ¹
­D  E  ­E  D ­D 
&HV\VWqPHV pFULW ® HWRQHQGpGXLW ® SXLV ® 
¯D  E  ¯ D  D  ¯E 
&HFLSURXYHODVHFRQGHLPSOLFDWLRQHWILQDOHPHQWO pTXLYDOHQFH

RAISONNEMENTS MATHÉMATIQUES 7 „„
5HPDUTXH  /H IDLW GH FKRLVLU GHX[ YDOHXUV GH Q SRXU WURXYHU D HW E Q HVW SDV XQH KpUpVLH
SXLVTXHDHWEVRQWGHVFRQVWDQWHV LQGpSHQGDQWHVGHQ 6LDHWEpWDLHQWGHVIRQFWLRQVGHQWRXW
FHFLVHUDLWLQDFFHSWDEOH

„Récurrences
‰ Méthode 1.3. Comment montrer une proposition par récurrence
sur l'entier naturel n ?

Q HVWLFLXQHQWLHUQDWXUHOIL[p
2QYHXWPRQWUHUTXH 3 Q HVWYUDLHSRXUWRXWHQWLHUQjSDUWLUGH Q  
‡ ,QLWLDOLVDWLRQRQYpULILHTXH 3 Q HVWYUDLH
‡ +pUpGLWpRQFRQVLGqUHTXH 3 Q HVWYUDLHSRXUXQFHUWDLQHQWLHU Q VXSpULHXURX
pJDOj Q (QXWLOLVDQW 3 Q RQPRQWUHTX DORUV 3 Q   HVWHQFRUHYUDLH
‡ &RQFOXVLRQ 3 Q HVWDORUVYUDLHSRXUWRXWQVXSpULHXURXpJDOj Q  

D Exercices 1.5, 1.6, 1.7, 1.9


­X 
°
([HPSOH2QFRQVLGqUHODVXLWH XQ Q` GpILQLHSDU ® XQ   
°Q  ` XQ  XQ
¯
0RQWUHUTXH XQ Q` HVWFRQVWDQWHpJDOHj
2QFRPPHQFHSDUQRWHUSRXUQHQWLHUQDWXUHO 3 Q XQ  
‡,QLWLDOLVDWLRQ 3  HVWYUDLHSDUFKRL[GH X 
‡+pUpGLWpRQVXSSRVH 3 Q YUDLH F HVWjGLUH XQ  SRXUXQHQWLHUQDWXUHOQIL[p
 u  
2QDDORUV XQ      FHTXLSURXYHTXH 3 Q   HVWYUDLH

‡(QFRQFOXVLRQRQDELHQPRQWUpSDUUpFXUUHQFHTXH Q  ` XQ  

‰ Méthode 1.4. Comment montrer une proposition par récurrence


d'ordre 2 sur l'entier naturel n ?

2QYHXWPRQWUHUTXH 3 Q HVWYUDLHSRXUWRXWHQWLHUQjSDUWLUGH Q  
‡ ,QLWLDOLVDWLRQRQYpULILHTXH 3 Q HW 3 Q   VRQWYUDLHV
‡ +pUpGLWpRQFRQVLGqUHXQHQWLHU Q IL[pVXSpULHXURXpJDOj Q  WHOTXH 3 Q HW
3 Q   VRQWYUDLHV*UkFHj 3 Q HW 3 Q    RQPRQWUHTXH 3 Q   HVWYUDLH
‡ &RQFOXVLRQ 3 Q HVWYUDLHSRXUWRXWHQWLHUQDWXUHOQVXSpULHXURXpJDOj Q  

D Exercice 1.8

„„ 8 CHAPITRE 1

You might also like