• Aucun résultat trouvé

Partie II. Inégalité isopérimétrique.

N/A
N/A
Protected

Academic year: 2022

Partager "Partie II. Inégalité isopérimétrique."

Copied!
4
0
0

Texte intégral

(1)

MPSI B Année 2016-2017. Corrigé DS 2 le 07/10/16 24 avril 2020

Exercice 1

1. Les résultats sont présentés dans un tableau avant les démonstrations.

X A A∪B ∅ B∩B

f(X) (A, A∪B) (A, A∪B) (∅, B) (∅, B)

CommeA∩A=A, on af(A) = (A, A∪B). CommeA⊂A∪B, on aA∩(A∪B) =A. En ce qui concerne l'union,B∪(A∪B) =A∪B.

On en déduitf(A) =f(A∪B) = (A, A∪B). On trouve aussif(∅) =f(B∩A) = (∅, B). Si f est injective alors d'une partA=A∪B ce qui est équivalent àB ⊂A; d'autre part B∩A =∅ ce qui veut dire qu'un élément quelconque b de B n'est pas dans A donc il est dansAc'est à dire encoreB ⊂A.

2. On peut utiliser les distributivités démontrées en cours (X∪B)∩B = (X∩B)∪(B∩B) =X∩B

⇒(X∩B)∪ (X∪B)∩B

= (X∩B)∪(X∩B) =X∩(B∪B) =X.

3. Dans cette question, on supposeB⊂A. a. Supposons queA∩X =A∩Y. Alors,

B∩X =B∩(A∩X) =B∩(A∩Y) =B∩Y.

b. On veut montrer que f est injective lorsque B ⊂ A. Considérons deux parties quelconquesX et Y deE et supposons quef(X) =f(Y)c'est à dire que

X∩A=Y ∩A et X∪B =Y ∪B.

D'après 3.a. :B∩X=B∩Y. Utilisons alors la question 2.

X = (X∩B)∪ (X∪B)∩B

= (Y ∩B)∪ (Y ∪B)∩B

=Y.

Ce qui prouve l'injectivité.

Exercice 2

1. Pour passer de(S)à(S0), on eectue les opérations élémentaires suivantes : échanger les lignes 1 et 2

échanger les lignes 2 et 3

échanger les colonnes 2 et 3 (inconnuesy etz) L2←L2−L1

L3←L3−aL1

Le système obtenu est alors





x+ z+ aby=b

(a−1)z+ b(1−a)y= 1−b (1−a)z+ b(1−a2)y= 1−ab La dernière opérationL3←L3+L2 conduit au système annoncé

(S0)





x+z+ aby=b

(a−1)z+ b(1−a)y= 1−b b(1−a)(2 +a)y= 2−ab−b 2. La forme triangulaire du système permet la discussion

Sia /∈ {1,−2}et b6= 0, le système admet un unique triplet solution.

Sia= 1, le système devient





x+z+ by= 1 0 = 1−b 0 = 2−2b On en déduit

Sia= 1et b6= 1, le système n'admet pas de solutions.

Sia= 1et b= 1, l'ensemble des solutions est

(1−λ−µ, λ, µ),(λ, µ)∈R2 Sia=−2, le système devient





x+z− 2by=b

−3z+ 3by= 1−b 0 = 2 +b On en déduit

Sia=−2etb6=−2, le système n'admet pas de solution.

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

1 Rémy Nicolai S1602C

(2)

MPSI B Année 2016-2017. Corrigé DS 2 le 07/10/16 24 avril 2020

Sia=−2et b=−2, le système devient

(x+z+ 4y=−2

−3z− 6y= 3 L'ensemble des solutions est

{(−1−2λ, λ,−1−2λ), λ∈R} Sib= 0, le système devient





x+z = 0

(a−1)z = 1 0 = 2 Le système n'admet donc pas de solutions.

Problème

Partie I. Calculs préliminaires.

1. a. Après réduction au même dénominateur, l'expression qu'on nous demande d'éva- luer se met sous la forme

sin (k+ε)πn cos πn de plus,cos πn

>0etk+ε∈J0, nKentraînesin (k+ε)πn

≥0.

b. Formons le tableau de variations de la fonctionf dénie dans[0,π2[ parf(x) = tanx−x. Elle estCdans son domaine avec f0(x) = tan2x≥0. Cette fonction est donc croissante doncf(x)≥0pour tous les xdu domaine. Le cas particulier desxde la forme πn conduit à l'inégalité demandée.

2. Dans cette questionZ= (z0,· · · , zn−1)est un polygone régulier.

a. Un polygone régulier direct est équilatéral car tous les côtés ont la même longueur.

|zj+1−zj|=|a||ωj+1−ωj|=|a||ω−1|= 2|a|sinπ n

Le calcul est analogue et le résultat est le même dans le cas d'un polygone régulier indirect.

b. Un polygone régulier est l'image par similitude d'un polygone régulier inscrit sur le cercle unité. Il est inscrit dans le cercle de centrebet de rayon|a|.

c. On obtient ben sommant les axes des points du polygone

n−1

X

k=0

zi =a

n−1

X

k=0

ωk

!

+nb=b car

n−1

X

k=0

ωkn−1 ω−1 = 0 On en déduit

b= 1 n

n−1

X

k=0

zi etz0=a+b⇒a=z0−b= 1

n((n−1)z0−z1− · · · −zn−1) 3. Le polygone à quatre côtés proposé dans l'exemple est équilatéral car le calcul montre

que tous les côtés ont la même longueur√

5. On peut remarquer que c'est un losange (diagonales perpendiculaires).

Si ce losange était un polygone régulier, sonbserait nul d'après la question précédente.

Il apparait alors que les|zi−b|valent1 ou2 au lieu d'être égaux à un même|a|. Le losange de l'exemple est donc équilatéral mais non régulier. Les deux notions ne sont pas équivalentes : un polygone régulier est équilatéral mais un polygone équilatéral n'est pas forcément régulier.

4. La quantité qu'on nous demande d'évaluer est une somme de termes en progression géométrique. La raison estωp qui est toujours une racine n-ième de l'unité. Lorsque cette raison n'est pas1la somme est donc nulle. On conclut donc :

S(p) = 1

√n

n−1

X

k=0

p)k=

( 0 sip6≡0 modn

√nsip≡0 modn

5. Transformons le membre de gauche de l'égalité à vérier

√1 n

n−1

X

k=0

ωjk zbk = 1

n

n−1

X

k=0

ωjk

n−1

X

l=0

¯ ωkl

zl

!

= 1

n−1

n

X

k=0 n−1

X

l=0

ωk(j−l)zl

= 1 n

n−1

X

l=0 n−1

X

k=0

ωj−lk zl= 1

n

n−1

X

l=0

S(j−l)zl=zj

car la seuleS(j−l)non nulle correspond àl=j et elle vaut√ n.

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

2 Rémy Nicolai S1602C

(3)

MPSI B Année 2016-2017. Corrigé DS 2 le 07/10/16 24 avril 2020

Partie II. Inégalité isopérimétrique.

1. Commezk+1zk=zk+1zk, on aA(Z) =−A(Z). D'autre part :

(zk+1+c)(zk+c) =zk+1zk+|c|2+zk+1c+czk

donc

A(Z+c) =A(Z) + Im c

n−1

X

k=0

zk+1

!

+ Im c

n−1

X

k=0

zk

!

Or, commezn=z0,

n−1

X

k=0

zk+1=

n−1

X

k=0

zk

et les complexes dans les parties imaginaires sont conjugués. Les parties imaginaires s'annulent etA(Z+c) =A(Z).

2. Dans cette question,Z est un polygone régulier.

a. On a déjà vu que pour un polygone régulier|zk+1−zk|= 2|a|sin πn

. On en tire L(Z) = 2n|a|sinπ

n

E(Z) = 4n|a|2sin2π n

On sait d'après la question 1 de cette partie que leb disparaitra du calcul de A pour un polygone régulier. On a donc, dans le cas direct :

A(Z) =|a|2 2 Im

n−1

X

k=0

ωk+1−k

!

= n

2|a|2Im(ω) = n 2|a|2sin

2π n

Dans le cas direct, le résultat est aecté d'un−1.

b. D'après les résultats de la question précédente, après simplication,

|A(Z)|

L(Z)2 = sin πn

8nsin2 πn = cos πn 4nsin πn

|A(Z)|

E(Z) = cos πn 4 sin πn

L(Z)2 E(Z) =n 3. On peut utiliser l'inégalité de Cauchy-Schwarz pour majorerL(Z),

L(Z) =

n−1

X

k=0

1× |zk+1−zk| ≤ v u u t

n−1

X

k=0

12 v u u t

n−1

X

k=0

|zk+1−zk|2=√ np

E(Z) On en déduit l'inégalité demandée en élevant au carré.

L'égalité se produit si les|zk+1−zk|sont proportionnels à la suite constante1c'est à dire égaux entre eux ou encore si et seulement si le polygone est équilatéral.

4. a. Notons j la variable locale à la somme dénissant A pour utiliser plus commo- dément la question I.5. Comme toutes les sommes se font sur des indices entre0 etn−1, on se permet de ne pas écrire les ensembles sur lesquels on somme pour alléger un peu les formules

zj+1zj= 1 n

X

k,l

ωj+1k

bzk ω−jl bzl= 1

n X

k,l

ωk−lj ωkzbkbzl

En sommant surj, on peut encore utiliser I.4.

X

j

zj+1zj = 1 n

X

k,l

 X

j

ωk−lj

nsik=lsinon0

ωkzbkbzl=X

k

ωkzbkbzk

En prenant la partie imaginaire, on a bien : A(Z) = 1

2

n−1

X

k=0

sin 2kπ

n

|zbk|2

PourE, on commence par examiner la somme des carrés des modules

|zj|2= 1 n

X

k,l

ωjk

zbk ω−jl zbl= 1

n X

k,l

ωk−lj bzkbzl

On en déduit comme plus haut avec I.4., X

j

|zj|2=X

k

|zbk|2

Par circularité, cette somme est aussi celle de1àn. On en déduit alors, en utilisant encore le travail fait surP

jzj+1zj : E(Z) =X

j

|zj+1|2+|zj|2−2 Re (zj+1zj)

= 2X

j

|zbj|2−2 Re

 X

j

zj+1zj

= 2X

j

|zbj|2−2X

k

cos 2kπ

n

|zbk|2

= 2X

k

1−cos

2kπ n

|bzk|2= 4X

k

sin2

n

|bzk|2

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

3 Rémy Nicolai S1602C

(4)

MPSI B Année 2016-2017. Corrigé DS 2 le 07/10/16 24 avril 2020

b. La relation demandée est facile à prouver. Elle vient de la sommation des relations sin2

kπ n

−tanπ n

1 2sin

2kπ n

= sin2

n

−tanπ n

sin kπ

n

cos kπ

n

= sin kπ

n sin kπ

n

−tanπ n

cos kπ

n

c. Comme0≤ n ≤πpour les kentre0 et n, on asin n

≥0. Le résultat de la question I.1.a. avecε= 1, montre (avec la question précédente etE(Z)>0) que

E(Z)−4 tanπ n

A(Z)≥0⇒ A(Z)

E(Z)≤ 1 4 tan πn De même avecε= 1,

E(Z) + 4 tanπ n

A(Z)≥0⇒ −A(Z)

E(Z)≤ 1 4 tan πn On en déduit la majoration avec la valeur absolue deA(Z).

5. a. ÉvaluonsA(Z1)en notant par de simples· · · les termes deA(Z0)qui ne sont pas modiés

A(Z1) =1 2Im

(zj+λ(zj+1−zj−1))zj−1+zj+1(zj+λ(zj+1−zj−1)) +· · ·

=A(Z0) +λ

2 Im ((zj+1−zj−1)zj−1) +zj+1(zj+1−zj−1)

=A(Z0) +λ

2Im (zj+1zj−1−zj+1zj−1) =A(Z0) b. D'après la propriété fondamentale deZ0 et la question précédente (conservation

duA), on déduit que pour tous lesZ1dénis comme dans la question précédente avecj etλarbitraires :

A(Z1) =A(Z0)

|A(Z1)|

L(Z1)2 ≤ |A(Z0)|

L(Z0)2

⇒L(Z0)≤L(Z1)

⇒ |zj+1−zj|+|zj−zj−1|<|zj+1−zj0|+|z0j−zj−1|

Il reste à montrer que cela ne peut se produire que siZ0 est équilatéral.

Comme les longueurs se conservent par similitude, on peut supposer quezj+1=k etzj−1=−kaveckréel. On notea= Re(zj)etb= Im(zj). On peut alors prendre z0j=zj+t avectréel carzj+1−zj1 est réel. L'expression se simplie

f(t) =|zj+1−zj0|+|zj0 −zj−1|=p

(k−a−t)2+b2+p

(k+a+t)2+b2 et on doit avoirf(0)< f(t)pour toutt6= 0. Ceci entraînef0(0) = 0.

Or

f0(0) =−k−a

|k−z|+ k+a

|k+z|

D'où

(k−a)|k+z|= (k+a)|k−z| ⇒(k−a)2 (k+a)2+b2

= (k+a)2 (k−a)2+b2

⇒(k−a)2= (k+a)2⇒a= 0

⇒ |zj+1−zj|=p

k2+b2=p

(−k)2+b2=|zj−zj+1| Ceci étant valable pour tous lesj, le polygoneZ0 est bien équilatéral.

c. Comme le polygoneZ0est équilatéral, il réalise un cas d'égalité dans la formule de Cauchy-Schwarz de la question II.3. On en déduit queL(Z0)2=nE(Z0). Utilisons alors l'inégalité de 4.c.

|A(Z)|

L(Z)2 ≤ |A(Z0)|

L(Z0)2 = |A(Z0)|

nE(Z0) ≤ 1

4ntan πn ≤ 1 4π d'après la deuxième partie de la question I.1.

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

4 Rémy Nicolai S1602C

Références

Documents relatifs

Il est possible de préciser le cas d’égalité dans l’inégalité de Cauchy-Schwarz.. Cas particulier lorsque l’on prend les y i égaux aux

[r]

Éléments d’analyse

Comme le polygone Z 0 est équilatéral, il réalise un cas d'égalité dans la formule de Cauchy-Schwarz de la

Les fonctions (carrées) intervenant dans la relation sont aussi continues donc intégrables.. Les intégrales s'expriment donc à l'aide de primitives

Soit il est un carré soit une somme de deux carrés non nuls donc de la forme u u pour un entier de Gauss u.. Soit z un entier de Gauss ni nul

Comme le polygone Z 0 est équilatéral, il réalise un cas d'égalité dans la formule de Cauchy-Schwarz de la

Démontrer que la suite (u n ) est monotone puis qu’elle est bornée.. En déduire