Olympiades Franc aises de Math ematiques 2012-2013 Envoi Num ero 5 Corrig e

Exercices Juniors

Exercice 1. Prouver que l equation

a3 + b5 + c7 + d11 = e13 admet une innit e de solutions en entiers strictement positifs. Solution. Il convient de remarquer que si (a, b, c, d, e) est une solution alors, pour tout entier k > 0, le quintuplet (ak571113 , bk371113 , ck351113 , dk35713 , ek35711 ) en est une aussi. ` en trouver une telle que Pour conclure, il suft donc de trouver une solution. On peut penser a 1 a3 = b5 = c7 = d11 = e13 , 4 ` d tre choisi de sorte que 13t 2 soit multiple o` u e = 2t pour un certain t a eterminer. Pour cela, t doit e commun de 3, 5, 7, 11 et 11. En cherchant un peu, on voit que lon peut prendre 13t 2 = 3 5 7 11, ou encore t = 89.

Exercice 2. Prouver que, pour tous entiers strictement positifs a, b, c, d, on a

(2a 1)(2b 1)(2c 1)(2d 1) et d eterminer les cas d egalit e. Solution. Si x et y sont des entiers strictement positifs, on a x 1 et y 1, et ainsi (x 1)(y 1) 0. Cela ` xy x y + 1 0, et donc a ` (2x 1)(2y 1) 2xy 1. Notons que l conduit a egalit e a lieu si et seulement si x = 1 ou y = 1. Si a, b, c, d sont des entiers strictement positifs, on a donc (2a 1)(2b 1) 2ab 1 et (2c 1)(2d 1) 2cd 1, mais aussi (2ab 1)(2cd 1) 2abcd 1. Ainsi : (2a 1)(2b 1)(2c 1)(2d 1) (2ab 1)(2cd 1) 2abcd 1. 2abcd 1

gaux a ` 1. Dapr` es ci-dessus, l egalit e a lieu si et seulement si trois des nombres a, b, c, d sont e

orthogonal de D sur (BC), puis K le projet e orthogonal de F sur (AB), et enn E le projet e orthogonal de K sur (CA). Soit L le milieu de [BC], et P lintersection des droites (KE) et (FD). Prouver que la droite (BP) passe par le milieu de [AL]. Solution.

quilat Exercice 3. Le point D appartient au c ot e [AC] du triangle e eral ABC. On note F le projet e

D L H Y P

M E

K G A X B

Premi` ere solution. Comme les c ot es de PKF sont perpendiculaires aux c ot es de ABC, le triangle PKF quilat a les m emes angles int erieurs que ABC et est donc e eral, et donc PF = KF. Notons M lintersection de (BP) et (AL). Comme les triangles BLM et BFP sont semblables, on a PF KF 3 ML = = = sin 60 = BL BF BF 2 Dautre part, AL = tan 60 = 3, donc AL = 2ML, ce qui prouve que M est le milieu de [AL]. BL

Deuxi` eme solution. Posons que les c ot es de ABC soient de longueur 2, et que AD = 2a avec a [0, 1]. On en d eduit que DC = 2 2a, FC = DC cos(60 ) = 1 a, et BF = 1 + a Par suite, on a 1+a 3 et KF = BF sin(60 ) = ( 1 + a) . BK = BF cos(60 ) = 2 2 Puisque les c ot es de PKF sont perpendiculaires aux c ot es de ABC , le triangle PKF a les m emes angles 3 quilat int erieurs que ABC et est donc e eral. On a alors PF = KF = 2 (1 + a).

 tant le milieu de [BC] avec ABC e quilat Le point L e eral, les droites (AL) et (BC) sont donc perpendiculaires, ce qui assure que (ML) et (PF) sont parall` eles, o` u M est lintersection de (BP) et (AL). Dapr` es le th eor` eme de Thal` es, il vient alors BL 1 ML = = , PF BF 1+a do` u ML =
3 2

=1 AL, ce qui conclut. 2

quilat Troisi` eme solution. Comme ci-dessus, on remarque que PKF est e eral, et on note M lintersection de (BP) et (AL). Soit Q lintersection de (FP) et (AB). On a PKQ = PQK = 30 , donc PQK est quilat isoc` ele en P et on a PQ = PK. Mais, PK = KF puisque PKF est e eral, donc PQ = KF ce qui assure que P est le milieu de [QF]. Ayant leurs c ot es communs ou parall` eles, les triangles BPQ et BMA dune ` part, et les triangles BPF et BML dautre part, sont semblables. Cela conduit a PM PQ = AM BM do` u
AM ML

et

PF PM = . ML BM

PQ PF

= 1, et M est bien le milieu de [AL].

Quatri` eme solution. Soit X le milieu de [AB] et Y tel que ALCY soit un rectangle. Alors XC = AL = quilat tant perpendicualires a ` deux des c CY et YCX = 60 , donc XCY est e eral. Deux de ses c ot es e ot es du quilat triangle e eral ABC, il en est de m eme de son troisi` eme c ot e. Soit M lintersection de (AL) et (BY ). Puisque (AL) et (CY ) sont parall` eles et que BC = 2BL, on a AL = CY = 2ML, do` u M est le milieu de quilat ` ceux [AL]. Comme ci-dessus, on remarque que KFP est e eral car ses c ot es sont perpendiculaires a de ABC. Or, il en est de m eme de XYC, donc les triangles KFP et XCY ont leurs c ot es parall` eles. Puisque les points B, F, C dune part, et B, K, X dautre part sont align es, il existe donc une homoth etie de centre ` la droite (BY ) qui passe par le milieu B qui envoie XCY sur KFP. En particulier, le point P appartient a de [AL].

Exercices Communs
ABCD, on pose ` lint Exercice 4. Soit ABCD un quadrilat` ere convexe. Pour tout point M a erieur ou sur le bord de f(M) = MA + MB + MC + MD. Prouver que, pour tout M, on a f(M) max(f(A), f(B), f(C), f(D)).

Solution. ` lint Lemme. Si le point K est sur les bords ou a erieur du triangle XYZ, on a XY + XZ KY + KZ.

Preuve du lemme. Si K = Y , le r esultat est imm ediat dapr` es lin egalit e triangulaire. Sinon, on note P lintersection de (YK) avec le c ot e [XZ]. Dapr` es lin egalit e triangulaire, on a alors XY + XZ = XY + XP + PZ YP + PZ = YK + KP + PZ YK + KZ.

` lexercice, et consid ` lint Revenons a erons un point M a erieur ou sur le bord du quadrilat` ere convexe ABCD. On va commencer par prouver que lon peut trouver un point P du bord de ABCD tel que f(M) f(P). Les diagonales [AC] et [BD] se coupent en O et, sans perte de g en eralit e, on peut supposer que M est dans ou sur les bords du triangle ADO. Les droites (BM) et (CM) recoupent alors le c ot e [AD] respectivement en X et Y . Soit P un point de [XY ]. Dapr` es le lemme, puisque M est dans ou sur les bords du triangle BDP, on a PB + PD MB + MD. Et, puisque M est dans ou sur les bords du triangle CAP, on a PA + PC MA + MC. En sommant, il vient f(M) f(P), avec P [AD] comme d esir e. Toujours avec le point P [AD] ci-dessus, on montre maintenant que f(P) f(A) ou f(P) f(D), ce qui terminera la d emonstration. En effet, puisque P [AD], on a PA + PD = AD. On veut ` (AD). On a donc maximiser PB + PC. Pour cela, on construit le sym etrique B de B par rapport a PB + PC = PB + PC. De plus, puisque ABCD est convexe, selon que la droite (B C) rencontre (AD) en un point de [AD] ou non, le point P est sur dans ou sur les bords de AB C ou de DB C. Dapr` es le lemme, on a alors PB + PC AB + AC = AB + AC ou PB + PC DB + DC = DB + DC. Ainsi, on a f(P) = PA + PD + PB + PC AD + AB + AC = f(A) ou f(P) = PA + PD + PB + PC comme annonc e. AD + DB + DC = f(D),

Exercice 5. On consid` ere une grille carr ee de 4 4 cases.

Deux cases distinctes ayant un c ot e commun sont dites voisines. Initialement, toutes les cases sont ventuellement changer de couleur et e tre soit rouge soit bleue. rouges. Par la suite, une case pourra e Effectuer une op eration sur la case c signie que lon change simultan ement la couleur de c ainsi que celles de toutes ses voisines (les cases rouges deviennent bleues et les cases bleues deviennent rouges). Donner toutes les valeurs de n pour lesquelles il existe un groupe de n cases distinctes telles quapr` es avoir effectu e une op eration sur chacune de ces n cases, on obtienne une grille enti` erement bleue. Solution. Regroupons les cases de la grille en quatre tuiles, contenant chacune une case marqu ee, comme indiqu e dans la gure suivante :

Il est facile de v erier quune op eration quelconque change la couleur dune et une seule de ces cases marqu ees et quune op eration effectu ee dans une tuile ne modie pas la couleur des cases marqu ees des autres tuiles. Si lon veut rendre la grille enti` erement bleue, il faut donc que, dans chaque tuile, le nombre tant paire, cela signie que le dop erations effectu ees soit impair. La somme de quatre nombres impairs e tre pair. De plus, puisque dans chaque tuile il y a quatre cases et que nombre total n dop erations doit e tre effectu les op erations doivent e ees sur des cases distinctes, cest que dans chaque tuile on a fait une ou trois op erations. Par suite, on a 4 n 12. ` prouver que ces cinq valeurs Les seules valeurs de n possibles sont donc n = 4, 6, 8, 10, 12. Il reste a ` la gure ci-dessus et ses quatre cases marqu sont bien des solutions. Pour cela, on pourra se reporter a ees et au gures ci-dessous (les points indiquent les cases sur lesquelles on effectue une op eration). ,

Remarques. Plus g en eralement, on consid` ere un graphe simple non orient e dordre k dont chaque sommet a deux tats possibles, rouge ou bleu, et on dispose dune op ` changer simutan e eration qui revient a ement l etat dun sommet et celui de chacun de ses voisins (ici, les sommets sont les cases, deux reli ees par une ar ete si et seulement si elles ont un c ot e en commun). On note que : - lordre dans lequel sont effectu ees les op erations na pas dimportance, ` ne rien faire du tout. Par suite, - si on effectue deux op erations sur un m eme sommet, cela revient a on pourra toujours supposer quun sommet nest concern e que par au plus une op eration. On dispose alors des deux th eor` emes suivants : Th eor` eme 1. ` partir dune conguration o` Pour tout graphe ni simple et non orient e, a u tous les sommets sont rouges, il existe un ensemble de sommets E tel quen effectuant une op eration sur chaque sommet de E, tous les sommets soient bleus. 7

Preuve. On raisonne par r ecurrence sur le nombre k de sommets, et on suppose directement le r esultat vrai pour tout graphe de k sommets. Pour un graphe dordre k + 1, puisque chaque sommet peut- etre soit rouge tats globaux possibles (il nest pas ici suppos e quils soient tous accessibles soit bleu, il y a donc 2k+1 e tre effectu par le jeu des op erations). De m eme, puisque chaque op eration peut e ee ou non, il a 2k+1 ensembles possibles de sommets sur lesquels effectuer les op erations. Raisonnons par labsurde en supposant quil soit impossible datteindre l etat o` u tous les sommets sont bleus. Cest donc quil existe deux ensembles de sommets, disons T1 et T2 , distincts et qui conduisent tat nal. Il est alors facile de v au m eme e erier que lensemble S = T1 T2 (la diff erence sym etrique) est un ensemble non vide de sommets pour lequel effectuer une op eration sur chaque sommet de S ne change tre reli ` un nombre pas l etat global de la conguration. En particulier, chaque sommet L de S doit e ee a impair de sommets de S (hors elle-m eme). Or, il est bien connu que, dans tout graphe simple non orient e, la somme des degr es est paire (cest le double du nombre dar etes). En consid erant le sous-graphe form e uniquement des sommets de S, on en d eduit que |S| est pair. tre reli ` un nombre Par ailleurs, puisque chaque sommet du graphe initial qui nest pas dans S doit e ea pair de sommets de S, effectuer nimporte quelle op eration ne change pas la parit e du nombre de sommets de S qui sont rouges. Fixons maintenant un sommet L dans S. Dapr` es lhypoth` ese de r ecurrence, il est possible de rendre tous les sommets bleus sauf L, qui lui se doit de rester rouge sans quoi tous les sommets seraient bleus, en contradiction avec notre hypoth` ese. Mais alors, entre l etat initial et l etat nal, la parit e du nombre de sommets de S qui sont bleus nest pas conserv ee, ce qui fournit la contradiction attendue. Th eor` eme 2. Dans les conditions du th eor` eme 1, si deux suites dop erations S et S permettent chacune de rendre tous les sommets bleus, alors |S| = |S | mod[2], o` u |s| d esigne le nombre dop erations effectu ees dans la suite s. Preuve. Comme pr ec edemment, sans perte de g en eralit e, on peut supposer quau plus une op eration est effectu ee par sommet (cela ne change pas la parit e totale). Du coup, on peut raisonner sur lensemble des sommets concern es. On reprend les notations de la preuve pr ec edente, et on prouve un peu plus que souhait e en remarquant ` un m tat nal (pas forc que si deux ensembles de sommets T1 et T2 distincts conduisent a eme e ement celui o` u tous les sommets sont bleus), alors on a toujours |S| est pair. Et, puisque |S| = |T1 | + |T2 | 2|T1 T2 |, on a directement |T1 | = |T2 | mod[2]. videmment les r On retrouve e esultats d emontr es dans le cas particulier de lexercice. D eterminer la parit e commune des suites dop erations qui rendent lensemble des sommets bleus d epend de la strucure du graphe, pas seulement du nombre de sommets etc... et il ne semble pas quil soit connu de r esultat simple et g en eral.

Exercice 6. Pour tout entier n

Prouver que, pour tout n Solution. Pour tout entier n
n

1, on pose Sn = x1 + x2 + + xn , o` u xk = k(k2+1) pour tout k 10, il existe un entier an tel que Sn1 < a2 n < Sn .

1.

1, on a
n n

1 1 n(n + 1)(2n + 1) n(n + 1) n(n + 1)(n + 2) k(k + 1) Sn = = k2 + k= + = . 2 2 k=1 2 k=1 12 4 6 k=1 Il suft donc de prouver que, pour n 10, on a Sn Sn1 > 1, car alors lintervalle ]Sn1 , Sn [ contiendra forc ement un entier. quivalente a ` Or, dapr` es le calcul ci-dessus, lin egalit e Sn Sn1 > 1 est e n(n + 1)(n + 2) 6 ou encore n(n + 1)(n 1) > 1, 6

n(n + 1) ( n + 2 n 1) > 1. 6 3 , n+2 n1= n+2+ n1 3n(n + 1) > 2(n + 2) + 2(n 1).

Puisque

on veut prouver que ere in egalit e s ecrit aussi Pour cela, il suft de montrer que 3n(n + 1) > 2 2(n + 2). Cette derni` 3n2 5n 16 > 0. Il est facile de v erier quelle est satisfaite pour n 10.

Exercices Olympiques
Une partie G de garc ons de E est dite populaire si chaque lle de E conna t au moins un des garc ons de G. De m eme, une partie F de lles est dite populaire si chaque garc on de E conna t au moins une des lles de F. On suppose que si a conna t b alors b conna t a. Prouver que le nombre de parties populaires form ees par les garc ons a la m eme parit e que le nombre de parties populaires form ees par les lles. Solution. ` un groupe Y de lles si aucun Premi` ere solution. On dira quun ensemble X de garc ons est e tranger a ` un garc on de X nest connu dune des lles de Y . De m eme, un ensemble Y de lles sera dit e tranger a groupe X de garc ons si aucune lle de Y nest connue dun des garc ons de X. Puisque la relation se tranger a ` Y si et seulement si Y est e tranger conna tre est suppos ee sym etrique, on en d eduit que X est e ` ` a X. Cela ouvre la porte a un double-comptage : trangers. On note N le nombre de couples (X, Y ) de groupes X de garc ons et Y de lles mutuellement e tranger a ` X. Clairement, Soit X un groupe de garc ons. On note YX le plus grand groupe de lles qui soit e tranger a ` X est contenu dans YX et, r tout groupe Y de lles qui est e eciproquement, tout sous-ensemble tranger a ` X. Par suite, le nombre de groupes Y qui sont e trangers a ` X est 2|YX | (o` de YX est e u |A| d esigne le nombre d el ements de lensemble A). On en d eduit que N=
X

Exercice 7. On consid` ere un ensemble ni E de garc ons et de lles.

2|YX | .

Or, pour tout groupe X de garc ons, on a X populaire si et seulement si YX = , c.` a.d. 2|YX | = 1. Ainsi, le ` N modulo 2. nombre de groupes populaires de garc ons est congru a Un raisonnement analogue montre que le nombre de groupes populaires de lles est lui aussi congru ` N modulo 2, ce qui conclut. a Deuxi` eme solution. Soit G lensemble des garc ons et F celui des lles. Nous allons prouver le r esultat par r ecurrence sur n = |G|. On note tout dabord que si F ou G est vide, la conclusion est imm ediate (il nexiste aucun groupe populaire). Cela assure le r esultat pour n = 0, 1 et on consid` ere maintenant un groupe de n + 1 2 personnes dans lequel il y a au moins une lle et au moins un garc on. Soit g un des garc ons. On pose G = G {g} et F lensemble des lles qui ne connaissent pas g. Alors : - un groupe populaire de garc ons dans G F lest encore dans G F, - un groupe populaire de garc ons dans G F qui ne lest plus dans G F est la r eunion dun groupe populaire de garc ons dans G F et de {g}. Il en d ecoule que le nombre N(G, F) de groupes populaires de garc ons dans G F est la somme du nombre N(G , F) de groupes populaires de garc ons dans G F et du nombre N(G , F ) de groupes populaires de garc ons dans G F , soit donc N(G, F) = N(G , F) + N(G , F ). Dautre part : - un groupe populaire de lles dans G F lest encore dans G F, - un groupe populaire de lles dans G F qui ne lest plus dans G F est un groupe populaire de lles dans G F . Par cons equent, le nombre M(G, F) de groupes populaires de lles dans G F est la diff erence entre le nombre M(G , F) de groupes populaires de lles dans G F et le nombre M(G , F ) de groupes populaires de lles dans G F , soit donc M(G, F) = M(G , F) M(G , F ). 10

Or, dapr` es lhypoth` ese de r ecurrence, on a N(G , F) = M(G , F) mod[2] et N(G , F ) = M(G , F ) = M(G , F ) mod[2], do` u N(F, G) = M(F, G) mod[2], ce qui ach` eve la r ecurrence. Troisi` eme solution. On note toujours respectivement F et G lensemble des lles et celui des garc ons. Pour chaque lle f et chaque garc on g, on pose h(f, g) = 0 si f et g se connaissent, et h(f, g) = 1 sinon. Alors, un ensemble X de garc ons est populaire si et seulement si (1 h(f, g)) = 1. Par suite, le
f F g X

nombre N de groupes populaires de garc ons est

N =
X G f F

(1
g X

h(f, g)) h(f, g))

g X

=
X G f F

(1 +

mod 2 mod 2.

=
X G Y F g X f Y

h(f, g)

galit On a une e e similaire pour le nombre M de groupes populaires de lles, ce qui conclut.

11

Exercice 8. Pour tout entier k

2, on note P(k) le plus grand diviseur premier de k. Prouver quil existe une innit e dentiers n tels que P(n) < P(n + 1) < P(n + 2).

Solution. k videmment Soit p un nombre premier impair. Pour tout entier k 1, on note nk = p2 1. On a e P(nk + 1) = p. Dautre part, pour tout entier i tel que 0 < i < k, on a p2 = (p2 )2
k i ki

= (1)2

ki

=1

mod p2 + 1,

do` u nk + 2 = 2 mod[ni + 2]. tant pairs, il vient alors pgcd(nk + 2, ni + 2) = 2. Or nk + 2 nest pas Les entiers nk + 2 et ni + 2 e 2k 1 et donc nk = 2 mod 4. Puisque nk + 2 > 1, il uns puissance de 2, car p = 1 mod 4 pour k existe donc un nombre premier impair qk qui divise nk + 2 et aucun des ni + 2 pour i < k. Cela assure quil existe une innit e de nombres premiers impairs qui divisent chacun au moins un des nk + 2, et donc que la suite (P(nk + 2))k 1 nest pas born ee. On peut donc consid erer k minimal tel que P(nk + 2) > p. ` prouver que, pour ce choix de k, on a P(nk ) < p. Or, on a Pour conclure, il reste a nk = (p2 do` u, par une r ecurrence,
k1
k1

+ 1)(p2

k1

1) = (nk1 + 2)nk1 ,

nk = (p 1)
i=1

(ni + 2).

tre le cas pour nk , et la minimalit Puisque nk + 1 est divisible par p, ce ne peut e e de k assure quaucun ` p. Ainsi, nk na pas de diviseur des facteurs ni + 2 nest divisible par un nombre premier sup erieur a gal a ` p, et donc P(nk ) < p, comme souhait premier sup erieur ou e e.

12

` . Les cercles B et C sont circonscrit. Soit A le cercle qui passe par B et C et qui est tangent a d enis de mani` ere analogue. On note A lautre point commun de B et C . Les points B et C sont d enis de fac on semblable. Prouver que les droites (AA ), (BB ) et (CC ) sont concourantes en un point K, qui est align e avec O et I. Solution.

Exercice 9. On note I le centre du cercle inscrit dans le triangle ABC et O le centre de son cercle

C A MA

A C

A B XB C C1 K MC XA B B1 I O XC C A1

B A

MB

On note respectivement A1 , B1 , C1 les points de contact de avec les c ot es [BC], [CA], [AB]. Soit XA le point de commun des cercles et A . Le cercle A est limage de par une homoth etie de centre XA , qui envoie A1 en un point MA de ` A est parall` ` (BC). Par cons A en lequel la tangente a ele a equent, ce point MA est le milieu de larc BC de A qui ne contient pas XA , ce qui assure que MA XA B = MA XA C = MA BC = MA BA1 . videmment A1 MA B = BMA XA , cest que les triangles MA BA1 et MA XA B sont semComme, on a e blables. Il vient alors MA B MA A1 = , MA XA MA B 13

ou encore MA B2 = MA A1 MA XA . ` laxe radical B de B et . De m Cette derni` ere relation signie que MA appartient a eme, MA ` laxe radical C de C et . Notons que cet axe radical C est perpendiculaire a ` la droite appartient a ` issues de C, les (CI). Or, puisque A1 et B1 sont les points de contact avec des des deux tangentes a ` (A1 B1 ). De droites (A1 B1 ) et (CI) sont perpendiculaires, do` u lon peut afrmer que C est parall` ele a m eme, les droites B et (A1 C1 ) sont parall` eles. ` ci-dessus, et on prouve On d enit les points XB , XC , MB , MC et la droite A de fac on analogue a ` A et C , que MC appartient a ` A et B , et que les droites A et de m eme que MB appartient a (B1 C1 ) sont parall` eles. On remarque alors que A , B et C portent les c ot es du triangle MA MB MC , et les parall elismes signal es ci-dessus assurent que le triangle MA MB MC est limage de A1 B1 C1 par une homoth etie , dont on note K le centre et r= MB K MC K MA K = = A1 K B1 K C1 K

le rapport. En particulier, les droites (MA A1 ), (MB B1 ) et (MC C1 ) sont concourantes en K. value la puissance de K par rapport a ` , il vient KA1 KXA = KB1 KXB . Apr` Si lon e es multiplication ` laxe radical des deux c ot es par r, on obtient MA K KXA = MB K KXB . Cela signie que K appartient a ` (AA ) et a ` (BB ). (CC ) des cercles A et B . On prouve de m eme que K appartient a ` la droite passant par MA et parall` ` Soit O limage de I par . Le point O appartient donc a ele a ` (BC)). Comme M est le milieu dun arc BC de A , cette droite est (A1 I) (et donc perpendiculaire a ` la m donc la m ediatrice de [BC]. De m eme, le point O appartient a ediatrice de [AC], et nalement cest que O = O. Par suite, les points I, O, K sont align es.

Fin

14