Prove that $$\frac { 2 } { 0 ! + 1 ! + 2 ! } + \frac { 3 } { 1 ! + 2 ! + 3 ! } + \cdots + \frac { n } { ( n - 2 ) ! + ( n - 1 ) ! + n ! } = 1 - \frac { 1 } { n ! }$$

If $f ( x ) = \frac { x ^ { n } } { n ! } + \frac { x ^ { n - 1 } } { ( n - 1 ) ! } + \cdots + x + 1$, then show that $f ( x ) = 0$ has no repeated roots.

Let $ABCD$ be a parallelogram. Let $O$ be a point in its interior such that $\angle AOB + \angle DOC = 180^{\circ}$. Show that $\angle ODC = \angle OBC$.

Let $a_{1}, \ldots, a_{n}$ be distinct complex numbers. Show that the functions $e^{a_{1} z}, \ldots, e^{a_{n} z}$ are linearly independent over $\mathbb{C}$.

The Frattini subgroup of a finite group $G$ is the intersection of all its proper maximal subgroups. Let $p$ be a prime number. Show that the Frattini subgroup of $\mathbb{Z} / p^{n}$, $n \geq 2$, is generated by $p$.

Establish that $\tau = \tau _ { 0 } \cup \tau _ { 1 }$.

Let $q \in Q(E)$.
Show that there exists a unique symmetric bilinear form on $E$, denoted $\varphi$, such that $q = q_\varphi$.

For the rest of this problem, we assume that $\varphi$ is a non-degenerate symmetric bilinear form on $E$, and we denote by $q$ its quadratic form.
Let $e = (e_1, \ldots, e_n)$ be a basis of $E$. We still denote by $e^* = (e_1^*, \ldots, e_n^*)$ the dual basis of $e$. Let $p \in \{1, \ldots, n\}$. We denote by $F$ the space spanned by $e_1, \ldots, e_p$.
a) Show that $F^\perp$ is the preimage under $h$ of $\operatorname{Vect}(e_{p+1}^*, \ldots, e_n^*)$, where $h$ is defined in I.A.1.
b) Show that $\operatorname{dim}(F) + \operatorname{dim}(F^\perp) = n$.
c) Show that $(F^\perp)^\perp = F$.

For the rest of this problem, we assume that $\varphi$ is a non-degenerate symmetric bilinear form on $E$, and we denote by $q$ its quadratic form.
Let $F$ and $G$ be two vector subspaces of $E$.
a) Show that $(F+G)^\perp = F^\perp \cap G^\perp$.
b) Show that $(F \cap G)^\perp = F^\perp + G^\perp$.

We wish to prove the Cartan-Dieudonné theorem, whose statement is: ``if $f \in O(E,q)$, $f$ is the composition of at most $n$ reflections, where $n = \operatorname{dim}(E)$, with the convention that $\operatorname{Id}_E$ is the composition of 0 reflections.''
Prove the Cartan-Dieudonné theorem when $n = 1$.

We denote by $C _ { 2 \pi , 2 \pi } \left( \mathbb { R } ^ { 2 } ; \mathbb { C } \right)$ the set of continuous functions $f : \mathbb { R } ^ { 2 } \rightarrow \mathbb { C }$ such that: $$\forall \left( \theta _ { 1 } , \theta _ { 2 } \right) \in \mathbb { R } ^ { 2 } , f \left( \theta _ { 1 } + 2 \pi , \theta _ { 2 } \right) = f \left( \theta _ { 1 } , \theta _ { 2 } \right) = f \left( \theta _ { 1 } , \theta _ { 2 } + 2 \pi \right)$$
Let $f \in C _ { 2 \pi , 2 \pi } \left( \mathbb { R } ^ { 2 } ; \mathbb { C } \right)$. Prove that $$\sup _ { \left( \theta _ { 1 } , \theta _ { 2 } \right) \in \mathbb { R } ^ { 2 } } \left| f \left( \theta _ { 1 } , \theta _ { 2 } \right) \right| = \sup _ { \left( \theta _ { 1 } , \theta _ { 2 } \right) \in [ 0,2 \pi ] ^ { 2 } } \left| f \left( \theta _ { 1 } , \theta _ { 2 } \right) \right|$$ Deduce that $\left( \theta _ { 1 } , \theta _ { 2 } \right) \mapsto \left| f \left( \theta _ { 1 } , \theta _ { 2 } \right) \right|$ is bounded on $\mathbb { R } ^ { 2 }$ and attains its supremum.

We denote $\mathcal{I} = \{(j, k) \in \mathbf{N}^{2} \mid j \in \mathbf{N} \text{ and } 0 \leq k < 2^{j}\}$; for $j \in \mathbf{N}$, $\mathcal{T}_{j} = \{k \in \mathbf{N} \mid 0 \leq k < 2^{j}\}$. Let $a_{j,k}$ be a family of real numbers indexed by $(j, k) \in \mathcal{I}$. We denote $b_{j} = \max_{k \in \mathcal{T}_{j}} |a_{j,k}|$, and we suppose that the series $\sum b_{j}$ is convergent.
For all $j \in \mathbf{N}$, let $f_{j}^{a}$ be the function defined by $$f_{j}^{a}(x) = \sum_{k \in \mathcal{T}_{j}} a_{j,k} \theta_{j,k}(x)$$ Show that the series $\sum f_{j}^{a}$ is uniformly convergent on $[0,1]$ towards a function denoted $f^{a}$, which belongs to $\mathcal{C}_{0}$ and which satisfies, for all $(j, k) \in \mathcal{I}$, $c_{j,k}(f^{a}) = a_{j,k}$.

For all $n \in \mathbf{N}$, let $S_{n} f$ be the function of $\mathcal{C}_{0}$ defined by $$S_{n} f = \sum_{j=0}^{n} \sum_{k \in \mathcal{T}_{j}} c_{j,k}(f) \theta_{j,k}$$ Show that for all $n \in \mathbf{N}$ and all $\ell \in \mathcal{T}_{n+1}$, the function $S_{n} f$ is affine on the interval $[\ell 2^{-n-1}, (\ell+1) 2^{-n-1}]$.

For all $n \in \mathbf{N}$, let $S_{n} f$ be the function of $\mathcal{C}_{0}$ defined by $$S_{n} f = \sum_{j=0}^{n} \sum_{k \in \mathcal{T}_{j}} c_{j,k}(f) \theta_{j,k}$$ where, for all $(j, k) \in \mathcal{I}$, $$c_{j,k}(f) = f\left(\left(k + \frac{1}{2}\right) 2^{-j}\right) - \frac{f(k 2^{-j}) + f((k+1) 2^{-j})}{2} .$$ Let $n \in \mathbf{N}$. Suppose that for all $\ell \in \mathcal{T}_{n}$, $(S_{n-1} f)(\ell 2^{-n}) = f(\ell 2^{-n})$. Show that we also have that for all $\ell \in \mathcal{T}_{n+1}$, $(S_{n} f)(\ell 2^{-n-1}) = f(\ell 2^{-n-1})$.
One may distinguish cases according to the parity of $\ell$.

Let $P \in \mathcal{P}$. Show that $P$ decomposes uniquely in the form: $$P(x,y) = H(x,y) + (1 - x^2 - y^2) Q(x,y)$$ where $H$ is a harmonic polynomial and $Q \in \mathcal{P}$.

In this part, we consider two real symmetric matrices $A, B \in \mathcal{S}_{n}(\mathbb{R})$ and their sum $C = A + B$. We denote by $a = s^{\downarrow}(A)$, $b = s^{\downarrow}(B)$ and $c = s^{\downarrow}(C)$.
Show that $$\sum_{i=1}^{n} c_{i} = \sum_{i=1}^{n} a_{i} + \sum_{i=1}^{n} b_{i}.$$

Let $M \in \mathscr{M}_{N,d}(\mathbb{R})$ defined by $M_{i,j} = g_{j}(i)$, $q \in \Sigma_{N}$, and for all $\theta \in \mathbb{R}^{d}$, $f(\theta) = M\theta$, $Z(\theta) = \sum_{i=1}^{N} e^{f_{i}(\theta)}$, $$p(\theta) = \left(\frac{e^{f_{1}(\theta)}}{Z(\theta)}, \ldots, \frac{e^{f_{N}(\theta)}}{Z(\theta)}\right) \in \Sigma_{N},$$ and $L(\theta) = \ln(Z(\theta)) - q^{T} M\theta$.
Show that $L$ is of class $\mathscr{C}^{2}$ and that for all integers $1 \leqslant l, k \leqslant d$ we have $$\frac{\partial^{2} L}{\partial \theta_{l} \partial \theta_{k}}(\theta) = \sum_{i=1}^{N} p_{i}(\theta)(M_{il} - m_{l}(\theta))(M_{ik} - m_{k}(\theta))$$ where $m(\theta) = M^{T} p(\theta)$.

The difference operator is the endomorphism $\delta$ of $\mathbb{R}_n[X]$ such that $\delta = \tau - \operatorname{Id}_{\mathbb{R}_n[X]}$: $$\delta : \left\{ \begin{array}{l} \mathbb{R}_n[X] \rightarrow \mathbb{R}_n[X] \\ P(X) \mapsto P(X+1) - P(X) \end{array} \right.$$ Let $P \in \mathbb{R}_{n-1}[X]$. Show that $$\sum_{j=0}^{n} (-1)^{n-j} \binom{n}{j} P(j) = 0$$

We consider the family of polynomials $$\left\{ \begin{array}{l} H_0 = 1 \\ H_k = \frac{1}{k!} \prod_{j=0}^{k-1} (X - j) \quad \text{for } k \in \llbracket 1, n \rrbracket \end{array} \right.$$
Show that, for $k, l \in \llbracket 0, n \rrbracket$, $$\delta^k\left(H_l\right)(0) = \begin{cases} 1 & \text{if } k = l \\ 0 & \text{if } k \neq l \end{cases}$$

We consider the family of polynomials $$\left\{ \begin{array}{l} H_0 = 1 \\ H_k = \frac{1}{k!} \prod_{j=0}^{k-1} (X - j) \quad \text{for } k \in \llbracket 1, n \rrbracket \end{array} \right.$$
Show that, for every $P \in \mathbb{R}_n[X]$, $$P = \sum_{k=0}^{n} \left(\delta^k(P)\right)(0) H_k$$

Let $\Lambda$ be a non-empty subset of $\mathbb{R}_*^+$ such that $$\forall (x, y) \in \Lambda^2, \quad x + y \in \Lambda$$ We say that $\Lambda$ is closed under addition. Show that if $(x, y) \in \Lambda^2$, $(k, n) \in \mathbb{N} \times \mathbb{N}^*$ and $k \leqslant n$, then $nx + k(y-x) \in \Lambda$.

We assume that for all $d \geqslant 0$, $\mathbb{P}(X \in d\mathbb{Z}) < 1$, and that only finitely many $p_i$ are strictly positive. We set $$g_0(x) = \begin{cases} \mathbb{P}(X > x) & \text{if } x \geqslant 0 \\ 0 & \text{if } x < 0 \end{cases}$$ and $Lg_0$ denotes the unique bounded solution of (E) with support in $\mathbb{R}^+$ for $g = g_0$. Show that $Lg_0(x) = 1$ for $x \geqslant 0$ and $Lg_0(x) = 0$ for $x < 0$.

Let $m \geq 2$ be a natural integer and $E$ an $\mathbb{R}$-vector space of dimension $2m+1$ equipped with a scalar product $(.|.)$. Let $T, M$ be two endomorphisms of $E$ satisfying (H1)–(H4). We set $F^+ = \operatorname{ker}(M - \operatorname{Id}_E)$, $F^- = \operatorname{ker}(M + \operatorname{Id}_E)$. Let $G$ be the set of elements $u \in E$ satisfying (a) $u \in \operatorname{Im}(T)$ and (b) $\forall v \in E, S(u,v) = 0$.
We assume that $G$ satisfies hypothesis (H5): $\operatorname{dim}(G) = 2m-2$.
Show that if $(w_1, w_2)$ is a characterizing pair of $G$ then $(T(w_1), T(w_2))$ constitutes a basis of $G^\perp$.

We equip $\mathbb{R}_{n}[X]$ with the inner product defined by $$\langle P, Q \rangle = \int_{-1}^{1} P(x)Q(x)\,dx$$ and the associated norm $\|P\|_{2} = \sqrt{\langle P, P \rangle}$.
For $j \in \mathbb{N}$, we define the polynomial $$P_{j}(X) = \frac{1}{2^{j} j!} \frac{d^{j}}{dX^{j}}\left[(X^{2}-1)^{j}\right]$$ By convention, $P_{0} = 1$.
(a) What is the degree of $P_{j}$?
(b) Show that $P_{j}$ is an even or odd polynomial, depending on the value of $j$.
(c) Show that $P_{j}(1) = 1$ and $P_{j}(-1) = (-1)^{j}$.

We equip $\mathbb{R}_{n}[X]$ with the inner product defined by $$\langle P, Q \rangle = \int_{-1}^{1} P(x)Q(x)\,dx$$ and the associated norm $\|P\|_{2} = \sqrt{\langle P, P \rangle}$.
For $j \in \mathbb{N}$, we define the polynomial $$P_{j}(X) = \frac{1}{2^{j} j!} \frac{d^{j}}{dX^{j}}\left[(X^{2}-1)^{j}\right]$$ By convention, $P_{0} = 1$.
By means of integration by parts, show that the family $\left(P_{j}\right)_{0 \leqslant j \leqslant n}$ is orthogonal in $\mathbb{R}_{n}[X]$.