MPSI A - MPSI B Ann ˜A ce 2014-2015. DS commun 1 le 21/11/14 16 novembre 2019
Exercice
Pour tous n∈N∗ et (a1,· · ·, an)∈]0,1[n, on appelle produits de Weierstrass les expressions
Pn =
n
Y
k=1
(1 +ak), Mn =
n
Y
k=1
(1−ak).
On note aussiSn=a1+a2+· · ·+an.
L’objet de ce probl ˜A¨me est de pr ˜A csenter des in ˜A cgalit ˜A cs faisant intervenir ces objets ou des expressions analogues. Les parties sont ind ˜A cpendantes entre elles.
Partie I. In ˜A cgalit ˜A cs classiques.
1. Encadrement deMn.
a. Montrer par r ˜A ccurrence que 1−Sn≤Mn. b. Montrer par r ˜A ccurrence queMn≤ 1+S1
n. 2. Encadrement dePn.
a. Montrer que 1 +Sn≤Pn.
b. On supposeSn<1, montrer quePn≤ 1−S1
n.
3. a. Pour (x1,· · · , xn)∈]0,+∞[net (y1,· · ·, yn)∈]0,+∞[n, montrer l’in ˜A cgalit ˜A c de Cauchy-Schwarz
n
X
i=1
xiyi
!2
≤
n
X
i=1
x2i
! n X
i=1
yi2
!
en utilisant
t7→
n
X
i=1
(txi+yi)2.
b. Soit (a1,· · · , an)∈]0,1[n tel quea1+· · ·+an = 1. En remarquant que ai= (√
ai)2, montrer que
n2≤
n
X
i=1
1 ai en utilisant l’in ˜A cgalit ˜A cde Cauchy-Schwarz.
Partie II. Images et fonctions.
Dans cette partie, on noteI= ]0,1[ et on consid ˜A¨re P=
(1−x)(1−y)(1−z)
xyz tq (x, y, z)∈I3et x+y+z= 1
.
1. En consid ˜A crant un syst ˜A¨me d’ ˜A cquations aux inconnues r ˜A cellesu,v, w, pr ˜A cciser des r ˜A celsa,b,ctels que
∀z∈I, (1 +z)2
z(1−z) =a+b z + c
1−z.
L’unicit ˜A cdu triplet (a, b, c) n’est pas demand ˜A ce. Dans votre r ˜A cdaction, toute proposition induisant l’unicit ˜A cd ˜A cvalorisera votre copie. Soyez at- tentif au sens des implications que vous ˜A ccrirez.
2. Former le tableau de variations de la fonctiong deIdansRd ˜A cfinie par :
∀z∈I, g(z) = (1 +z)2 z(1−z).
3. Pour toutz ∈]0,1[, on d ˜A cfinit une fonction fz de ]0,1−z[ (not ˜A c Iz) dansRpar
∀t∈Iz, fz(t) =Kz
1
t −1 1
1−z−t −1
avecKz= 1 z −1.
Former le tableau de variations defz.
4. a. Rappeler la d ˜A cfinition defz(Iz) avec des quantificateurs.
b. Montrer que
P = [
z∈I
fz(Iz) = [
z∈I
[g(z),+∞[ = [8,+∞[.
c. Montrer que
∀(x, y, z)∈I3, x+y+z= 1⇒8xyz≤(1−x)(1−y)(1−z).
Cette cr´eation est mise `a disposition selon le Contrat
Paternit´e-Partage des Conditions Initiales `a l’Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
1 S1404E
MPSI A - MPSI B Ann ˜A ce 2014-2015. DS commun 1 le 21/11/14 16 novembre 2019
Partie III. In ˜A cgalit ˜A c de Ky Fan.
Dans cette partie, on veut montrer l’in ˜Agalit ˜c Ac de Ky Fan pour toutn∈ N∗ :
Fn: ∀(a1,· · · , an)∈
0,1 2
n ,
Qn i=1ai
Qn
i=1(1−ai) ≤
Pn i=1ai
Pn
i=1(1−ai) n
1. Preuve deF2.
a. Poura, b, a0, b0 r ˜A cels, d ˜A cvelopper et factoriser (a+b)2a0b0−ab(a0+ b0)2.
Que devient cette relation sia0= 1−aetb0 = 1−b? b. MontrerF2.
2. Soitn∈N∗avecn≥2.
a. Montrer queFn⇒ F2n.
b. Montrer queFn+1⇒ Fn. Poura1,· · ·, anfix ˜A cs, on pourra consid ˜A crer
Sn n .
c. MontrerFn.
3. Dans cette question (a1,· · ·, an)∈]0,+∞[n. On note A=
1 2ai
, i∈J1, nK
. a. Soitλ >0. Traduire la proposition
∀i∈J1, nK, λai≤1 2
par une in ˜A cgalit ˜A cfaisant intervenir maxAou minA.
b. Rappeler la d ˜A cfinition de la moyenne arithm ˜A ctique et de la moyenne g ˜A com ˜A ctrique dea1,· · ·, an. En utilisant l’in ˜A cgalit ˜A cde Ky Fan ( ˜A l’exlusion de toute autre m ˜A cthode), montrer une in ˜A cgalit ˜A c entre ces deux moyennes.
Probl ˜ A¨me
Dans ce probl ˜A¨me,I d ˜A csigne un intervalle ouvert deR. Uneinvolution de Iest une fonctionϕd ˜A cfinie dansIdeR, ˜A valeurs dansI, d ˜A crivable ˜A tous les ordres et telle queϕ◦ϕ= IdI.
Ce probl ˜A¨me porte sur des involutions et les fonctions v ˜A crifiant une certaine relation fonctionnelle attach ˜A ce ˜A cette involution.
On consid ˜A¨re une ˜A cquation fonctionnelleFϕet une ˜A cquation diff ˜A crentielle Eϕ
f solution deFϕ⇔
(f d ˜A crivable deI dansC f0 =f◦ϕ
f solution deEϕ⇔
(f deux fois d ˜A crivable deIdansC f00−ϕ0f = 0 (fonction nulle)
Partie 1 : premier exemple.
Dans cette partiea∈R,ϕest d ˜A cfinie dansI=Rpar ϕ(x) =a−x
1. D ˜A cterminer l’ensemble des solutions deEϕ.
2. Montrer qu’il existe un unique r ˜A celcA d ˜˜ A cterminer tel queϕ(c) =c.
3. Calculer la solution (not ˜A cefc) deEϕ qui v ˜A crifie fc(c) =fc0(c) = 1
V ˜A crifier que fc est ˜A valeurs r ˜A celles, qu’elle s’exprime avec un cos et qu’elle est solution deFϕ.
Partie 2 : deuxi ˜A¨me exemple.
Dans cette partie,a >0,I= ]0,+∞[ etϕest d ˜A cfinie dans Ipar : ϕ(x) =a
x
1. Montrer queϕadmet un unique point fixec A pr ˜˜ A cciser.
2. D ˜A cterminer un r ˜A cela >0 tel que la fonction racine carr ˜A ce soit une solution deFϕ. V ˜A crifier que la fonction racine carr ˜A ce est alors solution deEϕ.
3. Dans cette questiona= 14.
a. Soitf1 etf2 deux solutions de Eϕ etW =f1f20−f10f2. Montrer queW est constante.
Cette cr´eation est mise `a disposition selon le Contrat
Paternit´e-Partage des Conditions Initiales `a l’Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
2 S1404E
MPSI A - MPSI B Ann ˜A ce 2014-2015. DS commun 1 le 21/11/14 16 novembre 2019
b. Soitf1une solution deEϕqui ne s’annule pas. Montrer que siyv ˜A crifie f1y0−f10y= 1
alors elle est solution deEϕ.
c. D ˜A cterminer l’ensemble des solutions deEϕ.
4. Soit f une fonction deux fois d ˜A crivable dans ]0,+∞[. On lui associe la fonctionzd ˜A cfinie dansRpar :
z◦ln =f
Montrer quef est solution deEϕ si et seulement siz00−z0+az= 0.
5. On d ˜A cfinit la puissance complexe d’un r ˜A cel strictement positif par :
∀x∈]0,+∞[,∀u∈C: xu=euln(x)
Pour ufix ˜A c, exprimer la d ˜A criv ˜A ce de la fonctionx7→xu comme une puissance dex.
6. Dans cette question, a 6= 14. On note u1 et u2 des nombres complexes v ˜A crifiant
u1+u2= 1, u1u2=a On notefc la fonction d ˜A cfinie dansI par
fc(x) = u2−c u2−u1
x c
u1
+ c−u1
u2−u1 x
c u2
a. Montrer queu16=u2. Que se passe-t-il si 0< a < 14 ou sia > 14? b. Pr ˜A cciser, ˜A l’aide deu1et u2, les solutions deEϕ.
c. Montrer quefcest l’unique solutionydeEϕqui v ˜A crifiey(c) =y0(c) = 1.
d. Montrer quefc est solution deFϕ.
Parties 3 : existence d’une solution de Fϕ.
Dans cette partie, vous pourrez utiliser le th ˜A cor ˜A¨me des valeurs interm ˜A cdiaires vu en terminale et rappel ˜A cen d ˜A cbut d’ann ˜A ce. On admet que l’ ˜A cquation diff ˜A crentielleEϕv ˜A crifie la propri ˜A ct ˜A csur les conditions de Cauchy :
∀a∈I,∀(v, v0)∈C2: il existe une unique solutiony deEϕ telle que
y(a) =v, y0(a) =v0
Soitϕune involution d ˜A cfinie dans un intervalle ouvertI, on d ˜A cfinitAet B par :
A={a∈I tels queϕ(a)< a}, B ={b∈Itels que b < ϕ(b)}
1. Point fixe pour une involution.
a. Montrer queAest non vide si et seulement siB est non vide.
b. Que se passe-t-il siAet B sont vides ?
c. Montrer que siAetBsont non vides alors il existec∈Itel queϕ(c) =c (point fixe deϕ)).
d. On supposeϕstrictement monotone. Montrer que – ϕstrictement croissante entra ˜AneR ϕ= IdI.
– ϕstrictement d ˜A ccroissante entra ˜Ane l’unicit ˜R A cdu point fixe.
2. Sif une solution deFϕ, montrer quef est deux fois d ˜A crivable et solution deEϕ.
3. Soitcun point fixe de ϕet yc la solution deEϕ telle queyc(c) =y0c(c) = 1.
a. Montrer que, pour tous lestdansI : yc0(t) = 1 +
Z t
c
ϕ0(u)yc(u)du
b. Effectuer le changement de variablev=ϕ(u) dans l’int ˜A cgrale Z ϕ(t)
c
ϕ0(u)yc(u)du
c. Soitzla primitive deyc◦ϕdansI telle quez(c) = 1. Montrer que y0c(ϕ(t)) =z(t)
En d ˜A cduirez00=ϕ0zpuisz=yc. 4. Montrer queFϕadmet une solution.
Partie 4 : involutions conjugu ˜A ces.
1. On consid ˜A¨re deux intervalles ouverts I et J ainsi qu’une involutionϕde I et une bijectionhdeJ dansId ˜A crivable ˜A tous les ordres.
On d ˜A cfinitψdansJ par :
ψ=h−1◦ϕ◦h
Cette cr´eation est mise `a disposition selon le Contrat
Paternit´e-Partage des Conditions Initiales `a l’Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
3 S1404E
MPSI A - MPSI B Ann ˜A ce 2014-2015. DS commun 1 le 21/11/14 16 novembre 2019
a. Montrer queψest une involution deJ.
b. Soitf une solution deFϕ dansI. On d ˜A cfinitg dansJ parg=f◦h.
Montrer que
g0=h0×g◦ψ 2. Soitα∈]0, π[ fix ˜A c.
a. Pourθ∈]0, π[, calculer l’int ˜A cgrale Z θ
0
dt 1 + cosαcost en utilisant le changement de variableu= tant2.
b. Montrer que l’applicationψα d ˜A cfinie dansJ = ]0, π[ par ψα(θ) =π−sinα
Z θ
0
dt 1 + cosαcost est une involution deJ.
3. Trouver une involutionϕα sur un intervalleIA d ˜˜ A cterminer ainsi qu’une bijectionhdeJ = ]0, π[ dansI tels que
ψα=h−1◦ϕα◦h
On chercheraϕα parmi les exemples d ˜A cj ˜A pr ˜A csent ˜A cs.
Cette cr´eation est mise `a disposition selon le Contrat
Paternit´e-Partage des Conditions Initiales `a l’Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
4 S1404E