TS I Itérêt ) Exemple est la site défiie par (site récrrete ; site «arithmético-géométriqe» ; o e coaît pas l expressio d terme gééral e foctio de ) Calclos les premiers termes de cette site Le raisoemet par récrrece, otil pissat de démostratio II Théorème de récrrece ) Éocé (admis sas démostratio) P est e phrase mathématiqe dépedat d etier atrel O sppose qe les dex coditios sivates sot vérifiées : C : P est vraie P est vraie por etier atrel fixé alors la phrase P est vraie por tot etier atrel C : Si la phrase Das ce cas, o pet affirmer qe la phrase Schéma : P est vraie Cojectre : 3 4 5 6 7 3 7 5 3 63 7 P est vraie P vraie P vraie Alors, por tot etier atrel, P est vraie Il semble qe l o ait por tot etier atrel, (cf passage d mode récrret a mode explicite por e site) ) Problème Si l o ote por la phrase P : «P 7 sot vraies», o vérifie facilemet qe P, P, P Por démotrer qe la phrase est tojors vraie, o e pet pas se coteter de qelqes vérificatios, assi ombreses soiet-elles Por cela, il fadrait disposer d raisoemet qi permette e ombre fii d étapes de motrer qe la phrase P est vraie por tos les etiers atrels (qi sot e ifiité) Le raisoemet par récrrece permet précisémet d opérer «le passage d fii à l ifii» (selo la formle célèbre de Heri Poicaré) 3 ) Atre approche ) Vocablaire C : «iitialisatio» C : «hérédité»-«trasmissibilité» - «propagatio» 3 ) Extesio (phrases vraies à partir d certai rag) Lorsqe P est vraie P vraie P vraie Alors por tot etier atrel III Explicatio d pricipe ) Barreax d e échelle, P est vraie Si l o pet mettre pied sr barrea de l échelle (le barrea ) et si l o pet passer d barrea qelcoqe a sivat, alors o pet gravir tos les barreax de l échelle à partir d barrea O a déjà tilisé type de raisoemet appelé raisoemet de «proche e proche» qi permet d établir des propriétés sr le sige des termes d e site o des majoratios-mioratios (par cotre, pas por des ses de variatio) Le raisoemet par récrrece va permettre de formaliser ce type de raisoemet ) Domios O pet assi doer l image de domios qi tombet les s après les atres
3 ) Remarqes La partie «iitialisatio» est très importate ; il existe des phrases qi sot héréditaires mais pas vraies a rag iitial La partie «hérédité» tilise mode de raisoemet dédctif O pet avoir l impressio qe l o part d résltat por démotrer le résltat Ce est évidemmet pas d tot le cas IV Exemple de mise e œvre d raisoemet par récrrece est la site défiie par Démotrer par récrrece qe por tot etier Rédactio Démotrer par récrrece qe por tot etier, o a : Por o défiit la phrase P : Iitialisatio : Vérifios qe P est vraie par hypothèse doc D où P est vraie Hérédité : Cosidéros etier atrel tel qe la phrase c est-à-dire P soit vraie Démotros q alors la phrase P est vraie c est-à-dire Par hypothèse de récrrece, o a : d où Doc P est vraie Coclsio : O a démotré qe P est vraie et qe si etier atrel, alors P est vraie Doc, d après le théorème de récrrece, la phrase vraie por tot etier atrel P est vraie por P est Commetaires Le résltat d e récrrece : «por tot» o «por tot» O doe om à la phrase mathématiqe Elle décole tojors de l éocé qi est doé Trascriptio de la phrase P O sait q tel etier existe O part de (hypothèse de récrrece) O vet arriver à Il fat «icrster» et Coditios C et C d théorème Cela marche comme des domios qi tombet les s après les atres P vraie P vraie P vraie (E gros le «por tot» e marche q avec le!) Il est importat de compredre qe le «por tot» est qelqe chose qe l o «gage» à la fi de la démostratio 3 4
V Atre exemple de mise e œvre d raisoemet par récrrece est la site défiie par (reprise de l exemple d I) Démotrer qe por tot etier atrel, o a : Por o défiit la phrase P : Iitialisatio : Vérifios qe P est vraie par hypothèse doc D où P est vraie Hérédité : Démotros q alors la phrase P est vraie c est-à-dire Cosidéros etier atrel tel qe la phrase P soit vraie c est-à-dire Par hypothèse de récrrece, o a : d où Par site, P est vraie Doc Atre rédactio : Coclsio : O a démotré qe (e effet : Doc, d après le théorème de récrrece, la phrase d après les règles sr les pissaces) P est vraie et qe si P est vraie por etier atrel, alors P est vraie por tot etier atrel P est vraie VI Remarqes ) Remarqe historiqe Pascal est le premier mathématicie à avoir fait raisoemet par récrrece por démotrer e propriété («raisoemet idctif») ) Rédactio à bie respecter le protocole (beacop de rédactio, ac qatificater) 3 ) Qelles propriétés pet-o démotrer par récrrece? - Avec des sites O porra démotrer éormémet de résltats : mioratios, majoratios, ses de variatios, expressio d terme gééral d e site, formles sommatoires etc - Sas des sites (cf exos) Propriétés des etiers atrels par exemple Ne pas écrire de raccorci d type P 3 VII Appedice : remarqes sr le symbole ) Qelqes formles désige e site ) Utilisatio : formles sommatoires Voir exercices 5 6
COMMENTAIRES Ue propositio est e phrase qi est soit vraie soit fasse Exemples : «divise 5» est fasse «divise» est vraie por tot etier «est ombre décimal» est fasse Objectif : chercher à démotrer q e propriété est vraie por tot etier atrel Certaies propriétés pevet se démotrer directemet Par exemple : «divise» E effet, por tot etier, o a : E revache, il y a des cas où o sait pas démotrer directemet (o e tot cas pas facilemet) q e propriété est vraie por tot etier atrel directemet Par exemple : «est divisible par 9» Le raisoemet par récrrece va os forir moye simple et pissat de démotrer beacop de propriétés Le mercredi 8 décembre A propos d I : «Les calcls e sffiset pas» «Il fat qe ce soit vrai por tot» A propos de la ère récrrece : O a le mot HYPOTHESE («hypothèse de récrrece», «hypothèse géérale») HYPOTHESE e mathématiqes : Palie Galtier : «O e sait pas si c est vrai o pas» «C est qelqe chose qe l o sppose» Floretie : «C est ce q o doit démotrer» Atoie Bélorgey : «Ue hypothèse est e affirmatio qe l o pred por vraie tadis qe l o est pas sûr Ue hypothèse c est qelqe chose qe l o cherche à démotrer» Boe défiitio doée par ROXANE : «E mathématiqes, ce sot totes les iformatios doées par l éocé» E SVT, le mot HYPOTHESE a pas le même q e mathématiqes Attetio ax amalgames avec la SVT E SVT, «émettre e hypothèse», «valider o réfter e hypothèse» E maths «émettre e cojectre» émettre e cojectre émettre e hypothèse Mardi 8 décembre 9 Vicet Faber 4 «Mosier, si o pred la site est la site défiie par Si o vet démotrer qe tos les termes sot positifs o ls, alors o a pas besoi de récrrece» C est e remarqe tot à fait jste Gaéta Le Bail Etdier le ses de variatio de la site «Ici, il vat miex qe je fasse De tote faço, je pex pas faire la foctio» Ici hypothèse géérale = défiitio de la site Hypothèse de récrrece La récrrece e mathématiqes : le mot, l expressio «por tot» Roxae Haziza : Qad o ajote des élémets, qelles sot les règles de priorité d»icrstatio» à appliqer Exemples : Coaissat, o mltiplie d abord par pis o ajote 7 8
Coaissat, o a ajoté pis o fait la racie carrée e exemple de récrrece : pls difficile qe le premier e rédactio : O part de l hypothèse géérale O «icrste» l hypothèse de récrrece Pas de qatificater das e récrrece P() est vraie Icorrect : pas de texte e fraçais Le jedi 5 septembre Cors particlier avec Alexadre Léois A qoi sert la foctio P()? Répose : Ce est pas e foctio ; c est e propositio qi déped de l etier O pose cette propositio par commodité Idée persoelle : Relier la récrrece ax algorithmes Notio de bocle Ivariat de bocle La otio d ivariat de bocle permet de doer atre éclairage sr le raisoemet par récrrece 9