L’objetduprobl`emeestl’´etude,surunexemple,d’unparadoxeconcernantlestempsd’attentedecertaines configurations dans un jeu de✭pile ou face✮. Onconside`redoncunesuiteinfiniedelancersd’unepie`ce´equilibre´e,c’est-`a-direpourlaquelle,`achaque lancer, les apparitions de✭pile✮et de✭face✮sno´tqeabobpruis.le Onadmetquel’expe´rienceestmod´elis´eeparunespaceprobabilise´(Ω,A,P). Pour tout entier naturel non nulnaro,dn´esignepRnl’´etnemene´v✭ernclaauıtaˆarppaelipgnedarn✮et parSntemenv´enl’´e✭face apparaˆıt au lancer de rangn✮
PartieI:Unr´esultatutile ∗ Onconside`reunevariableal´eatoireXΩr(de´nfieius,A,P), prenant ses valeurs dansNet, pour tout entier naturel non nuln, on pose :an=P([X=n]). +∞ X n Ond´esigneparf0[eoidne´nfilfanotcntervalliesurl’i,1] par :∀x∈[0,1], f(x) =anx. n=1 +∞ X 1.que la suite (a) Justifieran)n>1´reerbseisitslopnesuestuenomitedtoufslsnuerv´anifian= 1. n=1 b)Montrerque,pourtoutnombrere´elx[0leaalrpvpetni’la`tnanetra,s´la],1erale´´nmrgeedetreei n anxest convergente. 2.Dans cette question, on suppose que la fonctionfreillveavb´leeraupeositndt´1e;fiideno:c f(1)−f(x) 0 lim =f(1) 1−x x→1 x<1 ! +∞n−1 X X f(1)−f(x) k ´ a)Etablirpourtoutnombrer´eelxde l’intervalle [0,e:t´liga´el’1[=anx. 1−x n=1k=0 f(1)−f(x) b)End´eduirequelafonctionx7→est croissante sur [0,tuotru[1tellevqu’efiepo´eri 1−x f(1)−f(x) 0 nombrere´elxde l’intervalle [0,etna0:sse´tvius´einliga1es[l6 6f(1). 1−x N X 0 c) Montrerque, pour tout entier naturelN0non nul, on a :6nan6f(1). n=1 End´eduirequelase´riedetermege´n´eralnanest convergente.
1/4
` d)Al’aidedesr´esultatsdesquestiona)etc),justifierpourtoutnombrer´eelxde l’intervalle [0,1[, +∞ X f(1)−f(x) 0 lesin´egalite´ssuivantes:06 6nan6f(1)∙ 1−x n=1 e)Montrerquelavariableale´atoireXdautemar:´eepodnnnaec´preense 0 E(X) =f(1) 3.qusepoupns,oontiseuqettecsnaDtoirelbae´laelevaraaiXmetuneesad´toneere´pecnaE(X). f(1)−f(x) a) Justifierla croissance de la fonctionx7→etmorqu’ntre´vreleeloprufii,euttoeer´lx 1−x f(1)−f(x) de l’intervalle [0,doublein´egalit´seiuavtn:e01al,[6 6E(X). 1−x 0 b)Ende´duirequelafonctionfe´irsedt’elletqueen1vabl:e´veefiirf(1) =E(X). 4. Casparticulier :on suppose, dans cette question, quepavll]e0lei’tnreunr´eeldest,1[ et queXsuit laloige´ome´triquedeparam`etrep. a)Donner,pourtoutre´elxde l’intervalle [0,1], une expression def(x) en fonction dexne compor-tantpasdesommedese´rie. 0 b) Montrerquef,pr´een1erecissedtavlbe´irfeleda´espncraalavilns’eelrdeuterte)1(iarevuor variableale´atoireX. PartieII:Loidutempsd’attentedelapremi`ereconfiguration✭pile, pile, face✮ SoitYe´de´ce´edlavotri´laelbaeraaie´dengisltnanareulgdcean`urourpoalrpme`irefeioaspparaˆıtunfacepr deuxpilessicetteconfigurationapparaıˆt,etprenantlavaleur0sicelle-cin’apparaıˆtjamais. Parexemple,silesre´sultatsdespremierslancerssont(face,face,pile,face,pile,face,pile,pile,face,...), lavariableal´eatoireYprend la valeur9. On posec1=c2= 0 et, pour tout entiern´egal`a3:us´preeiruuocn=P([Y=n]). n [ Pour tout entierneotnpn´,souai3ele`rgoau´uerBntnemene´ve´’lRn−2∩Rn−1∩SnetUnl’netnemee´´vBi. i=3 1.On poseu1=u2= 0, et pour tout entiernerieurousup´:e´ag`l3aun=P(Un). Montrer que la suite (un)n>1est monotone et convergente. 2.pour tout entier naturela) Calculer,nuoe´ag`l3al,paorbabilit´edel’´eve´enemtnsuerp´urieBn. b)Ve´rifierque,pourtoutentiernaturelns´eupeuriu´roalegel´sa`,3enemvee´ntsBn, Bn+1etBn+2 sontdeuxa`deuxincompatibles. c)End´eduirelesvaleursdesnombresu3, u4etu5. 3.Soitnun entierna5.gal`ou´ere´prueius a)Justifierl’e´galite´dese´v´enementsUn∩Bn+1etUn−2∩Bn+1obprilab´eit.ptece´rresiruel b)Exprimerl’´eve´nementUn+1senfonctive´sednotnemene´UnetBn+1nte:uivaedd´en;’le´iuer´tseagil 1 un+1=un+ (1−un−2). 8 1 1 c)V´erifierlese´galite´ssuivantesu3=u2+ (1−u1) etu4=u3+ (1−u2). 8 8 d)De´terminerlalimitedelasuite(un)n>1pial´ortraiblieb´e’´vueddeetldenmente´ene[Y= 0]. 4.Pour tout entier naturel non nuln, on pose :vn= 1−un. a)Pr´eciserlesnombresv1, v2, v3, v4. b) Exprimer,pour tout entier naturelnsu,a3ag`luoe´eiru´prevn+1en fonction devnet devn−2. N X 7 1 c)End´eduirepourtoutentierNspue´:ier`aall’1,roeuegu´iusetnavage´´til−vN+3=vk. 8 8 k=1 d)Montrerquelase´riedetermeg´ene´ralvnest convergente et calculer sa somme. 5.Soitgeth0e[llvaerd´efiniessurl’intelfsnotcoisn,1] par : +∞+∞ X X n n ∀x∈[0,1], g(x) =cnxeth(x) =vnx n=1n=1 2/4