• Aucun résultat trouvé

Exercice 1

N/A
N/A
Protected

Academic year: 2022

Partager "Exercice 1"

Copied!
2
0
0

Texte intégral

(1)

HX4 — Contrˆole 1993/06

Exercice 1

Q1 D´emontrez le th´eor`eme deRolleg´en´eralis´e : si une fonctionϕde [a,+∞[ dans Rest continue sur [a,+∞[, d´erivable dans ]a,+∞[, et v´erifie lim

x→+ϕ(x) =ϕ(a), alors il existec∈]a,+∞[ tel queϕ(c) = 0.

◮Notonsf : t∈R7→ln(1 +t2). Nous identifions un polynˆomeP∈R[X] et la fonction polynˆomePe associ´ee.

Q2 Montrez que, pourn>1 :

f(n)(t) = Pn(t) (1 +t2)n

o`u Pn est un polynˆome dont vous pr´eciserez le degr´e, la parit´e, et le coefficient dominant. Vous ´ecrirez une relation liantPn+1,Pn etPn.

Q3 Prouvez quePn poss`edenracines r´eelles, deux `a deux distinctes, et que ces racines s´eparent celles dePn+1. Q4 Explicitez Pn pour 16n65 ; donnez les racines de chacun de ces polynˆomes, sous la forme la plus simple

possible.

Exercice 2

◮Soientx∈Reth >0. Nous voulons ´etablir l’existence dek∈Rtel que, pour toutf ∈ C4¡

[x, x+ 3h],R¢ , il existeϑ∈]0,3[ v´erifiant :

f(x+ 3h)−3f(x+ 2h) + 3f(x+h)−f(x) =h3f′′′(x) +kh4f(4)(x+ϑh)

Q1 En utilisant la fonction λ: t ∈[0,3]7→λ(t) =x+th, prouvez qu’il suffit d’´etablir l’existence dek∈Rtel que, pour toutf ∈ C4¡

[0,3],R¢

, il existe ϑ∈]0,3[ v´erifiant :

f(3)−3f(2) + 3f(1)−f(0) =f′′′(0) +kf(4)(ϑ)

Q2 Supposons l’existence dek´etablie ; en choisissant pourf une fonction polynˆome aussi simple que judicieuse, prouvez quek=32.

Q3 Soit Φ la fonction qui, `a P ∈R4[X], associe : Φ(P) =³

Pe(0),P(1),e Pe(2),Pe(3),gP′′′(0)´

Prouvez que Φ est un isomorphisme deR4[X] surR5, ce dernier muni de sa structure naturelle deR-e.v.

Q4 Soit (p, q, r, s, t)∈R5. Donnez l’expression de Φ1(p, q, r, s, t) dans la base canonique deR4[X].

Q5 Soit f ∈ C4¡

[0,3],R¢

et P = Φ1¡

f(0), f(1), f(2), f(3), f′′′(0)¢

. Notons g = f −P. En appliquant r´ep´etitivement le th´eor`eme deRolle, ´etablissez l’existence deϑ∈]0,3[ tel queg(4)(ϑ) = 0 et concluez.

Tournez S.V.P.

1

(2)

Exercice 3

◮E d´esigne unR-e.v. Une partieA deEest uncˆone si elle est stable pour la loi + et si elle v´erifie :

∀−→

u ∈A: ∀λ >0 : λ−→ u ∈A

Q1 Donnez quelques exemples int´eressants de cˆones, pris dans des espaces de suites ou de fonctions. . . Q2 Tout s.e.v. de Eest, clairement, un cˆone. Que pensez-vous de la r´eciproque ?

Q3 Faut-il consid´erer que la partie vide est un cˆone ?

Q4 Montrez que l’intersection de deux cˆones est elle-mˆeme un cˆone.

Q5 Soit A une partie non vide de E. En g´en´eralisant le r´esultat pr´ec´edent, montrez qu’il existe un plus petit cˆoneC(A) contenantA.

Q6 Avec les notations de la question pr´ec´edente, montrez que−→

u ∈C(A) ssi il existe un naturelnnon nul, des vecteurs−→

v1,−→ v2, . . . ,−→

vn deA, et des r´eels strictement positifsλ1, λ2, . . . , λn tels que−→ u =

Pn k=1

λk−→ vk. Q7 Dans cette question uniquement, E=R3. Notons¡−→

e1,−→ e2,−→

e3

¢la base canonique deE. Caract´erisez simple- ment les ´el´ements du cˆoneCengendr´e par−→

e1,−→ e2 et−→

e3. ComparezC et le cˆoneT engendr´e par−→

u = (0,1,1),

→v = (1,0,1) et−→

w = (1,1,0).

Q8 Soit f un endomorphisme deE et Aun cˆone. f(A) etf1(A) sont-elles des cˆones ? Q9 Soit ϕune forme lin´eaire surE etA un cˆone. Que pouvez-vous dire deϕ(A) ?

◮D´efinissons surE une relation not´ee∼par :

→u ∼ −→

v ⇐⇒ ∃α >0 : −→ u =α−→

v

Q10 Montrez que∼est une relation d’´equivalence ; d´ecrivez les classes modulo cette relation.

Q11 Montrez que tout cˆoneCest une r´eunion de classes modulo la relation∼. Que pensez-vous de la r´eciproque ?

[Contr^ole 1993/06] Compos´e le 7 mars 2008

2

Références

Documents relatifs

Si je compose ` a l’´ etranger et je m’apercois d’une erreur dans le sujet, je continue ` a le faire en expliquant bien dans la copie toutes les d´ emarches que cela m’em`

Les suites sont donc adjacentes et convergent vers la même

Capacités Modéliser avec des fonctions, utiliser les informations du logiciel en calcul formel, modélisation probabiliste, utilisation de la calculatrice en calcul

Utiliser les informations du logiciel en calcul formel, interprétation de limite, modélisation, interprétation probabiliste et utilisation de la calculatrice en calcul de

Des conditions suffisantes pour qu'une fonction multiplicative soit p.p.. Il a, de plus, étudié les séries de Fourier Bohr de telles

[r]

[r]

[r]