\documentclass[10pt,a4paper]{article}

% =====================================================================
%  Encodage, langue, polices
% =====================================================================
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[french]{babel}
\usepackage{lmodern}

% =====================================================================
%  Mathematiques
% =====================================================================
\usepackage{amsmath,amssymb,mathtools}
\usepackage{mathrsfs}                 % \mathscr
\usepackage{stmaryrd}                 % \llbracket, \rrbracket
\SetSymbolFont{stmry}{bold}{U}{stmry}{m}{n}

% =====================================================================
%  Mise en page
% =====================================================================
\usepackage[top=3cm, bottom=2cm, left=2cm, right=2cm, headsep=2.4em]{geometry}
\usepackage{enumitem}
\usepackage{fancyhdr}
\usepackage{lastpage}

% =====================================================================
%  Figures et tableaux de variations
% =====================================================================
\usepackage{tikz}
\usetikzlibrary{babel}                % compatibilite TikZ / babel francais
\usepackage{tkz-tab}

% =====================================================================
%  Metadonnees du PDF
% =====================================================================
\usepackage[hidelinks]{hyperref}
\hypersetup{
  pdfauthor  = {Laurent Pater \& Jean Louet},
  pdftitle   = {PTSI 1 -- DS2 (2017-2018)},
  pdfsubject = {Mathématiques -- PTSI 1 -- 2017-2018},
}

% =====================================================================
%  Informations propres au document
% =====================================================================
\newcommand{\TD}{DS2}
\newcommand{\titre}{DS2}
\newcommand{\indexation}{\begin{tabular}{r}\TD\\ Mathématiques\end{tabular}}

% =====================================================================
%  En-tete, pied de page et titre
% =====================================================================
\pagestyle{fancy}
\fancyhf{}
\fancyhead[L]{\begin{tabular}{l}PTSI 1\\ 2017-2018\end{tabular}}
\fancyhead[R]{\large\indexation}
\fancyfoot[L]{Lycée Jules Ferry -- Versailles}
\fancyfoot[R]{\textbf{\thepage/\pageref{LastPage}}}
\renewcommand{\headrulewidth}{1pt}
\renewcommand{\footrulewidth}{1pt}

\newcommand{\Titre}{%
  \begin{center}
    {\LARGE\bfseries \titre}\par\smallskip
    \rule{\textwidth}{1pt}
  \end{center}}

% =====================================================================
%  Exercices et numerotation des questions
% =====================================================================
\newcounter{Exo}
\renewcommand{\theExo}{\TD.\arabic{Exo}.}
\newenvironment{Exo}
  {\refstepcounter{Exo}\par\noindent\textbf{Exercice \theExo}~\\*}
  {\vspace{1em}\par}
\newenvironment{ExoP}
  {\refstepcounter{Exo}\par\noindent\textbf{Problème \theExo}~\\*}
  {\vspace{1em}\par}

% Questions numerotees 1., 1.1., 1.1.1.
\setlist[enumerate,1]{label=\arabic*., ref=\arabic*}
\setlist[enumerate,2]{label=\arabic{enumi}.\arabic*., ref=\arabic{enumi}.\arabic*}
\setlist[enumerate,3]{label=\arabic{enumi}.\arabic{enumii}.\arabic*.,
                      ref=\arabic{enumi}.\arabic{enumii}.\arabic*}

% =====================================================================
%  Macros mathematiques
% =====================================================================
% Ensembles
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\K}{\mathbb{K}}
% Constantes et differentielle
\newcommand{\e}{\mathrm{e}}
\renewcommand{\i}{\mathrm{i}}
\newcommand{\dx}[1]{\,\mathrm{d}#1}
% Intervalles : [a,b], ]a,b], [[a,b]]
\newcommand{\cro}[1]{\left[#1\right]}
\newcommand{\croof}[1]{\left]#1\right]}
\newcommand{\Cro}[1]{\llbracket #1\rrbracket}
% Delimiteurs
\newcommand{\pth}[1]{\left(#1\right)}
\newcommand{\abs}[1]{\left\lvert #1\right\rvert}
\newcommand{\barre}[1]{\overline{#1}}
% Operateurs en style « display »
\newcommand{\dsum}{\displaystyle\sum}
\newcommand{\dprod}{\displaystyle\prod}
\newcommand{\dint}{\displaystyle\int}
% Fonctions et operateurs
\DeclareMathOperator{\sh}{sh}
\DeclareMathOperator{\ch}{ch}
\DeclareMathOperator{\re}{Re}
\DeclareMathOperator{\im}{Im}
\DeclareMathOperator{\Vect}{Vect}
\DeclareMathOperator{\Ker}{Ker}
\DeclareMathOperator{\Card}{Card}
\newcommand{\Ck}[1]{\mathscr{C}^{#1}}
% Logique
\newcommand{\ssi}{\Longleftrightarrow}
\newcommand{\et}{\quad\text{et}\quad}
\newcommand{\pt}[1]{\forall #1,\ }
% Encadre sur une ligne d'un environnement align
\newcommand{\boxedalign}[2]{\Aboxed{#1 & #2}}

% Matrices augmentees : \begin{pmatrix}[ccc|ccc] ... \end{pmatrix}
\makeatletter
\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{%
  \hskip -\arraycolsep
  \let\@ifnextchar\new@ifnextchar
  \array{#1}}
\makeatother

\begin{document}

\Titre

\noindent\textit{Durée : 4h. La calculatrice et tout autre document que des copies vierges est interdit. Vous inscrirez lisiblement vos noms et prénoms et laisserez une marge à gauche de votre copie pour les annotations (les marges déjà faites sur certaines copies suffisent). Si vous repérez une éventuelle erreur d'énoncé, faites le figurer sur votre copie.}

\bigskip

\begin{Exo}

\noindent Les questions sont indépendantes.

\begin{enumerate}
\item Soit $\theta \in \left]-\frac{\pi}{2},\frac{\pi}{2}\right[$. Déterminer le module et un argument, lorsque c'est possible de $1 - \e^{2\i\theta}$.
\item Déterminer une primitive, sur un intervalle qu'on déterminera, de
\[ x \mapsto \frac{1}{x^2 + x + 1}.\]
\item En faisant le changement de variable $u =\sqrt{t^2 - 1}$, calculer
\[ \int_{\sqrt{2}}^2 \frac{\dx{t}}{t \sqrt{t^2 - 1}}.\]
\end{enumerate}
\end{Exo}

\begin{Exo}
  \begin{enumerate}
    \item Pour tout $y \in \R$, on désigne par $f_y$ la fonction définie sur $\R$ par
    $$ \forall t \in \R,\quad f_y(t) = t^2+2(y^2-1)t+(y^4-6y^2+1). $$
    Dans les questions qui suivent, $y$ est un réel fixé.
    \begin{enumerate}
    \item Résoudre l'équation \og $f_y(t)=0$\fg~d'inconnue $t\in\R$.
    \end{enumerate}
    \noindent On note $t_1(y)$ et $t_2(y)$ ses deux solutions, éventuellement égales, et qui dépendent du réel $y$.
    \begin{enumerate}
      \setcounter{enumii}{1}
    \item Mettre $t_1(y)$ et $t_2(y)$ sous forme canonique ({\it i.e.}~sous la forme $A(y-a)^2+B$, où $a$, $A$ et $B$ sont des constantes).
    \end{enumerate}
  \end{enumerate}
  Dans la suite de l'exercice, on cherche à résoudre l'équation $ \left|z+\dfrac{1}{z}\right| = 2 $, notée (E), d'inconnue $z\in\C^*$.
  \begin{enumerate}
    \setcounter{enumi}{1}
  \item Soit $z \in \C^*$. Montrer l'indentité: $\left|z+\dfrac{1}{z}\right|^2 = \dfrac{|z|^4+2\text{Re}(z^2)+1}{|z|^2}$.
  \item Soit $z \in \C^*$, $z=x+\i y$ où $(x,y)\in\R^2$. Montrer l'équivalence
      $$ \left|z+\dfrac{1}{z}\right| = 2 \Longleftrightarrow f_y(x^2) = 0. $$
  \item En déduire que l'ensemble des solutions de (E) est l'union de deux ensembles que l'on caractérisera géométriquement.
  \end{enumerate}
\end{Exo}

\newpage

\begin{Exo}
Le but de l'exercice est de tracer le graphe de la fonction $\varphi : x \mapsto \arccos(4x^3 - 3x)$. On notera $\mathscr C$ la courbe de~$\varphi$.
\begin{enumerate}
\item En étudiant la fonction $f : x \mapsto 4x^3 - 3x$, montrer que $\varphi$ est définie sur $[-1,1]$.
\item Exprimer, pour tout $x \in \R$, $\cos 3x$ en fonction de $\cos x$.
\item Montrer que pour tout $x \in [-1,1]$, $\arccos(x) + \arccos(-x) = \pi$. En déduire, en justifiant sa réponse, que la courbe $\mathscr C$ est symétrique par rapport au point $A$ de coordonnées $(0,\frac{\pi}{2})$.
\item Montrer que pour tout $x \in [\frac{1}{2},1]$, il existe un unique $t \in [0,\pi/3]$ tel que $x = \cos(t)$. En déduire que pour tout $x \in [\frac{1}{2},1]$, $\varphi(x) = 3 \arccos(x)$.
\item Montrer également qu'il existe des réels $a,b \in \R$ tel que, pour tout $x \in [0,\frac{1}{2}]$, $\varphi(x) = a + b \arccos(x)$ où on donnera les valeurs de $a$ et $b$.
\item Tracer finalement $\mathscr C$. On commencera par tracer la courbe de la fonction $\arccos$ et on expliquera ensuite ses déductions.
\end{enumerate}
\end{Exo}

\begin{ExoP}
Le but de l'exercice est d'étudier la suite d'intégrale, qu'on notera, pour tout $n \in \N$,
\[ I_n = \int_1^e \frac{(\ln t)^n}{t^2} \dx{t}.\]

On note, dans ce problème, $0! = 1$ et, pour tout $n \in \N^*$,
\[ u_n = n! = \prod_{k=1}^n k = 1 \times 2 \times \cdots \times n.\]

\noindent \textbf{Question préliminaire}

\begin{enumerate}
\item Montrer que, pour tout $n \in \N^*$, $u_n \geqslant 2^{n-1}$. En déduire la limite, lorsque $n$ tend vers $+\infty$, de $u_n$.
\end{enumerate}

\noindent \textbf{Signe et monotonie de $(I_n)_{n\in\N}$}

On note, pour tout $n \in \N$,
\[ f_n : x \mapsto \frac{(\ln x)^n}{x^2}.\]

\begin{enumerate}[resume]
\item Déterminer le domaine de définition de $f_n$ et justifier l'existence de $I_n$ pour tout $n \in \N$.
\item Calculer $I_0$ puis $I_1$ (on pourra faire une intégration par parties).
\item \'Etudier la fonction $f_n$ sur son domaine de définition (on donnera son tableau de variations comportant les limites aux bornes de son ensemble de définition) pour tout $n \in \N$. En déduire le signe, pour tout $n \in \N$ de $I_n$.
\item Montrer que, pour tout $n \in \N$, pour tout $x \in [1,e]$, $f_{n+1}(x) \leqslant f_{n}(x)$. En déduire la monotonie de la suite~$(I_n)_{n\in\N}$.
\end{enumerate}

\noindent \textbf{Convergence de $(I_n)_{n\in\N}$}

\begin{enumerate}[resume]
\item Déterminer une relation, pour tout $n \in \N$, entre $I_{n+1}$ et $I_n$.
\item Calculer $I_2$.
\item En faisant le changement de variable $y = \ln t$, déterminer $a,b\in\N$ ainsi qu'une fonction $g$ tel que, pour tout $n \in \N$,
\[ I_n = \int_a^b y^n g(y) \dx{y}.\]
\item En déduire que pour tout $n \in \N$,
\[ 0 \leqslant I_n \leqslant \frac{1}{n+1}.\] La suite $(I_n)_{n\in\N}$ est-elle convergente (si oui, on précisera sa limite) ?
\end{enumerate}

\noindent \textbf{Une expression de $(I_n)_{n\in\N}$}
\begin{enumerate}[resume]
\item Montrer qu'il existe une suite \textbf{d'entiers naturels} $(b_n)_{n\in\N}$ tel que, pour tout $n \in \N$,
\[ I_n = n! - \frac{b_n}{e}.\]
On déterminera $b_0,b_1,b_2$ ainsi qu'une relation entre $b_n$ et $b_{n+1}$ pour tout $n\in\N$.
\item Déterminer la limite de $(b_n)_{n\in\N}$ puis la limite de $(b_n/n!)_{n\in\N}$.
\item Montrer que, pour tout $n \in \N$,
\[ b_n = n! \sum_{k=0}^n \frac{1}{k!}.\]
\item Déterminer la limite de la suite $(e_n)_{n\in\N}$ définie par
\[ \forall n \in \N, \quad e_n = \sum_{k=0}^n \frac{1}{k!}.\]
\end{enumerate}
\end{ExoP}

\begin{Exo}
  \begin{enumerate}
  \item Soit $x$ un réel non congru à $0$ modulo $\pi$. On définit la suite $(P_n(x))_n$ par $P_0(x)=1$ et, si $n \in \N^*$,
      $$ P_n(x) = \cos\left(\frac{x}{2}\right) \, \cos\left(\frac{x}{4}\right) \, \dots \, \cos\left(\frac{x}{2^n}\right)$$
    où, dans chaque cosinus, le dénominateur est une puissance de 2: on note aussi dans ce cas
    $$P_n(x) = \displaystyle\prod\limits_{k=1}^n \cos\left(\dfrac{x}{2^k}\right).$$
    \begin{enumerate}
    \item À l'aide de la formule \og $\sin(2\theta)=\dots$\fg, donner une expression simplifiée de $P_2(x)$ puis de~$P_3(x)$.
    \item On pose, pour tout $n\in\N$, $Q_n(x) = \sin\left(\dfrac{x}{2^{n}}\right)P_{n}(x)$. Exprimer $Q_{n+1}(x)$ en fonction de $Q_n(x)$.
    \item En déduire une expression simplifiée de $Q_n(x)$ valable pour tout $n\in\N^*$.
    \item Montrer alors que, pour tout $n\in\N^*$,
      $$ P_n(x) = \dfrac{1}{2^n} \dfrac{\sin x}{\sin\frac{x}{2^n}}. $$
    \item Montrer que: $\lim\limits_{x\to 0} \dfrac{\sin x}{x} = 1$.
    \item En déduire la limite de la suite $(P_n(x))_{n\in\N^*}$ quand $n$ tend vers $+\infty$, en fonction de $x$.
    \end{enumerate}
  \item On pose, pour tout $n \in \N^*$,
    $$ u_n = \frac{1}{2} \sqrt{2+\sqrt{2+\sqrt{2+\dots+\sqrt{2}}}} $$
    o\`u le symbole \og $\sqrt{\vphantom{A}\,}$\fg~appara\^it $n$ fois: ainsi, $u_1 = \dfrac{\sqrt{2}}{2}$, $u_2 = \dfrac{\sqrt{2+\sqrt{2}}}{2}$, etc.
    \begin{enumerate}
    \item Exprimer $u_{n+1}$ en fonction de $u_n$, pour tout $n\in\N^*$.
    \item Montrer que:
      $$ \forall n \in \N^*,\; u_n = \cos\left(\dfrac{\pi}{2^{n+1}}\right). $$
    \end{enumerate}
  \item Déduire des deux premières questions la formule de Viète (1593):
    $$ u_1\times u_2 \times \dots \times u_n \xrightarrow[n\to +\infty]{} \dfrac{2}{\pi}.  $$
  \end{enumerate}
\end{Exo}

\end{document}