Professional Documents
Culture Documents
Extrait
Extrait
Chapitre 1
Raisonnements
mathématiques
/HPDWKpPDWLFLHQLWDOLHQ*LXVHSSHPeanopWDLWWUqVVRXFLHX[
G¶H[SRVHUOHVPDWKpPDWLTXHVGDQVXQFDGUHSUpFLVHWULJRXUHX[
'DQVVRQ)RUPXODLUHPDWKpPDWLTXHSXEOLpHQLOLQWURGXLVLW
GHQRPEUHX[V\PEROHVQRXYHDX[2QOXLGRLWHQSDUWLFXOLHUHW
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
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
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 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 ?
D Exercice 1.4
[
([HPSOH0RQWUHUTXHSRXUWRXWQRPEUHUpHO[GLIIpUHQWGH±RQD z
[
Méthodes
[
3DUO¶DEVXUGHVLO¶RQDYDLW DORUVRQHQGpGXLUDLW [ [ FHTXLpTXLYDXWj
[
[
&HFLpWDQWPDQLIHVWHPHQWIDX[RQHQGpGXLWTXH [ z z
[
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
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