\documentclass[a4paper,11pt,french]{article}
\linespread{1}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Définitions de la feuille d'exercices

\newcommand{\typedoc}{Devoir surveill\'e 2}          %%%%%%%%%%%%%%% 1ere ligne du titre de la feuille
\newcommand{\Ch}{}		   %%%%%%%%%%%%%%%% 2eme ligne et en haut à droite après	
\newcommand{\ch}{R\'evisions}               %%%%%%%%%%%%%%% En haut à gauche (numero chapitre)
\newcommand{\Cl}{T$^\text{ale}$S}
\newcommand{\Annee}{2015-2016}

\newcommand{\serie}{Scientifique}
\newcommand{\num}{0}	
\newcommand{\tps}{2h}	



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%		Packages
%\usepackage[french,lined,boxed,commentsnumbered]{algorithm2e}

\input macrodwicky.tex
\geometry{verbose,letterpaper,tmargin=1.8cm,bmargin=1.8cm,lmargin=1.5cm,rmargin=1.5cm}
\renewcommand{\arraystretch}{1.2}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%	Début
\begin{document}


\DocDav

\vfill 

\textbf{La note tiendra compte de la qualité de la rédaction et de la clarté des raisonnements. En particulier dans l’ensemble du sujet, et pour chaque question, toute trace de recherche même incomplète, ou d’initiative même non fructueuse, sera prise en compte dans l’évaluation.
} 

\begin{exoi}\hfill \textbf{(10 points)}

\begin{footnotesize}
On considère le cube $ABCDEFGH$ de côté $4$ dans le repère orthonormal $(A;1/4\overrightarrow{AB};1/4\overrightarrow{AD};1/4\overrightarrow{AE})$. Ainsi les sommets du cube ont pour coordonnées :
$$ A(0;0;0)\qquad B(4;0;0)\qquad C(4;4;0)\qquad D(0;4;0)\qquad E(0;0;4)\qquad F(4;0;4)\qquad G(4;4;4)\qquad H(0;4;4)$$

Enfin $I$ est le milieu du segment $[AB]$, $J$ est tel que $\overrightarrow{CJ}=\dfrac{3}{4}\overrightarrow{CG}$ et $K$ est tel que $\overrightarrow{EK}=\dfrac{1}{4}\overrightarrow{EH}$


\textbf{L'objectif de cet exercice est de tracer la section du cube par le plan $(IJK)$}
\end{footnotesize}

\partieBac{$(IJK)$ est bien un plan !}
\begin{enumerate}
\item {\footnotesize Déterminer les coordonnées des points $I$, $J$ et $K$.}

$I$ étant le milieu du segment $[AB]$ ses coordonnées sont :
$$ I\left(\dfrac{0+4}{2};\dfrac{0+0}{2};\dfrac{0+0}{2}\right)\Longleftrightarrow I(2;0;0)$$

Observons la figure afin d'utiliser la relation de Chasles :
\begin{center}
\psset{xunit=1.0cm,yunit=1.0cm,algebraic=true,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25}
\begin{pspicture*}(-2.39,-2.39)(6.39,6.39)
\psline(0,0)(4,0)
\psline(4,0)(6,2)
\psline[linestyle=dashed,dash=2pt 2pt](0,0)(2,2)
\psline[linestyle=dashed,dash=2pt 2pt](2,2)(6,2)
\psline(6,2)(6,6)
\psline[linestyle=dashed,dash=2pt 2pt](2,6)(2,2)
\psline(0,4)(2,6)
\psline(2,6)(6,6)
\psline(6,6)(4,4)
\psline(4,4)(4,0)
\psline(0,4)(4,4)
\psline(0,4)(0,0)
\begin{scriptsize}
\psdots[dotsize=2pt 0,dotstyle=*](0,0)
\rput[bl](-0.25,-0.27){$A$}
\psdots[dotsize=2pt 0,dotstyle=*](4,0)
\rput[bl](3.92,-0.27){$B$}
\psdots[dotsize=2pt 0,dotstyle=*](6,2)
\rput[bl](6.07,2.06){$C$}
\psdots[dotsize=2pt 0,dotstyle=*](2,2)
\rput[bl](2.07,2.06){$D$}
\psdots[dotsize=2pt 0,dotstyle=*](0,4)
\rput[bl](-0.31,3.85){$E$}
\psdots[dotsize=2pt 0,dotstyle=*](4,4)
\rput[bl](4.18,3.86){$F$}
\psdots[dotsize=2pt 0,dotstyle=*](6,6)
\rput[bl](6.07,6.06){$G$}
\psdots[dotsize=2pt 0,dotstyle=*](2,6)
\rput[bl](2.07,6.06){$H$}
\psdots[dotsize=2pt 0,dotstyle=*](2,0)
\rput[bl](2.07,0.06){$I$}
\psdots[dotsize=2pt 0,dotstyle=*](6,5)
\rput[bl](6.07,5.07){$J$}
\psdots[dotsize=2pt 0,dotstyle=*](0.5,4.5)
\rput[bl](0.41,4.62){$K$}
\end{scriptsize}
\end{pspicture*}
\end{center}

$$ \overrightarrow{AK}=\overrightarrow{AE}+\overrightarrow{EK}=\overrightarrow{AE}+\dfrac{1}{4}\overrightarrow{EH}$$

C'est-à-dire :
$$ \overrightarrow{AK}=0\times \overrightarrow{AB}+\dfrac{1}{4}\overrightarrow{AD}+4\times 1/4\overrightarrow{AE}\Longleftrightarrow K\left(0;1;4\right)$$

De même en utilisant Chasles on trouve que $J(4;4;3)$.

\item {\footnotesize Justifier que les points $I$, $J$ et $K$ définissent bien un plan.}

$I$, $J$ et $K$ définissent bien un plan si et seulement si $I$, $J$ et $K$ ne sont pas alignés.

$\overrightarrow{IJ}(4-2;4-0;3-0)\Longleftrightarrow \overrightarrow{IJ}(2;4;3)$

et $\overrightarrow{IK}(0-2;1-0;4-0)\Longleftrightarrow \overrightarrow{IK}(-2;1;4)$

Les coordonnées de ses deux vecteurs n'étant pas proportionnelles, il suit que les vecteurs $\overrightarrow{IJ}$ et $\overrightarrow{IK}$ ne sont pas colinéaires et donc que les points $I$, $J$ et $K$ ne sont pas alignés. $(IJK)$ est bien un plan.
\end{enumerate}

\partieBac{Recherche d'un point du plan $(IJK)$ sur l'arête $[HG]$.}

\begin{enumerate}
\item \begin{enumerate}
\item {\footnotesize Déterminer une représentation paramétrique de la droite $(IJ)$.}

$I(2;0;0)$ et $\overrightarrow{IJ}(2;4;3)$

$$ M(x;y;z)\in (IJ) \Longleftrightarrow \exists t\in \R, \overrightarrow{IM}=t\overrightarrow{IJ}$$

Ainsi une représentation paramétrique de $(IJ)$ est :
$$ \left\{\begin{array}{l}
             x-2=2t \\y=4t \\ z=3t 
            \end{array}\right. , t\in\R \Longleftrightarrow \left\{\begin{array}{l}
             x=2t+2 \\y=4t \\ z=3t 
            \end{array}\right. , t\in\R$$
\item \begin{footnotesize}
Vérifier qu'une représentation paramétrique du plan $(EFG)$ est :
$$ \left\{\begin{array}{l}
             x=4t \\y=4t' \\ z=4 
            \end{array}\right. , t\in\R \qquad \text{ et } \qquad t'\in\R$$
\end{footnotesize}

Vérifions que les points $E$, $F$ et $G$ (qui ne sont trivialement pas alignés) ont des coordonnées satisfaisant la représentation paramétrique donnée dans l'énoncé.

Pour $E(0;0;4)$ : 

$x=4t$ donne $0=4t$ et donc $t=0$.

$y=4t'$ donne $0=4t'$ et donc $t'=0$ et enfin $z_E=4$ ce qui valide la troisième équation.

Les coordonnées de $E$ sont donc obtenues pour $t=t'=0$.

Pour $F(4;0;4)$ :

$x=4t$ donne $4=4t$ et donc $t=1$.

$y=4t'$ donne $0=4t'$ et donc $t'=0$ et puisque $z_F=4$ la troisième équation est vérifiée aussi.

Les coordonnées de $F $ sont donc obtenues pour $t=t'=0$.


Enfin on obtient les coordonnées de $G$ en remplaçant $t$ et $t'$ par $1$.

Nous venons de démontrer que les point $E$, $F$ et $G$ appartient tous trois à la représentation paramétrique de plan donnée dans l'énoncé ce qui prouve que cette représentation paramétrique est celle du plan $(EFG)$.

\textbf{Autre méthode} : Tout plan est dirigée par deux vecteurs non colinéaires, en particulier le plan $(EFG)$ est dirigée par les vecteurs $\overrightarrow{EF}(4;0;0)$ et $\overrightarrow{EH}(0;4;0)$.

Par conséquent $M(x;y;z)\in (EFG) \Longleftrightarrow \exists t, t'\in \R, \overrightarrow{EM}=t\overrightarrow{EF}+t'\overrightarrow{EH}$

Et donc une représentation paramétrique du plan $(EFG)$ est :

$$ \left\{\begin{array}{l}
             x=4t \\y=4t' \\ z=4 
            \end{array}\right. , t\in\R \qquad \text{ et } \qquad t'\in\R$$
            
  
\item {\footnotesize En déduire que le point d'intersection $L$ entre la droite $(IJ)$ et le plan $(EFG)$ a pour coordonnées $L\left(\dfrac{14}{3};\dfrac{16}{3};4\right)$}

Il existe au moins  deux méthodes pour répondre à cette question:

\begin{itemize}
\item \textbf{Première stratégie} : On utilise la réponse donnée dans la question et on vérifie que les coordonnées du point $L$ satisfont les représentations paramétriques de $(IJ)$ et de $(EFG)$. On s'assure ensuite que $(IJ)$ n'est pas contenue dans le plan $(EFG)$ (en démontrant par exemple que les coordonnées de $I$ ne satisfont pas la représentation paramétrique de $(EFG)$).
\item \textbf{Deuxième stratégie} : On procède comme si la réponse n'était pas donnée dans l'énoncé et on cherche à la retrouver en cherchant les points dont les coordonnées satisfont simultanément les deux représentations paramétriques.
\end{itemize}

Puisque la seconde stratégie conduira à la solution dans tous cas, nous allons procéder ainsi en cherchant donc à résoudre le système a trois inconnues suivants :

$$\left\{\begin{array}{l}
             4t=2u+2 \\4t'=4u  \Longrightarrow t'=u=\dfrac{4}{3}\\ 4 =3u\Longrightarrow u=\dfrac{4}{3}
            \end{array}\right.  \Longleftrightarrow \left\{\begin{array}{l}
             4t=2\times (4/3)+2 =14/3 \Longrightarrow t=\dfrac{7}{6}\\t'=\dfrac{4}{3}  \\ u=\dfrac{4}{3}
            \end{array}\right.$$
            
Ce dernier système admet donc un unique triplet solution $t=\dfrac{7}{6}$, $t'=\dfrac{4}{3}$ et $u=\dfrac{4}{3}$, par conséquent la droite $(IJ)$ et le plan $(EFG)$ ont un unique point d'intersection $L$ dont les coordonnées sont obtenues pour $t=\dfrac{7}{6}$ et $t'=\dfrac{4}{3}$ dans la représentation paramétrique de $(EFG)$ ou pour $u=\dfrac{4}{3}$ dans la représentation paramétrique de $(IJ)$.

Utilisons la représentation paramétrique de $(IJ)$ pour en déduire les coordonnées de $L$ :
$$\left\{\begin{array}{l}
             x=2u+2=2\times 4/3+2=\dfrac{14}{3} \\y=4u=4\times \dfrac{4}{3}=\dfrac{16}{3} \\ z=3u=\dfrac{3\times 4}{3}=4
            \end{array}\right. $$
  On retrouve bien :          
    $$ L\left(\dfrac{14}{3};\dfrac{16}{3};4\right)$$
\end{enumerate}
\item \begin{footnotesize}
Démontrer que les représentations paramétrique des droites $(KL)$ et $(HG)$ sont :
$$ (KL) :\left\{\begin{array}{l}
             x=\dfrac{14}{3} t \\y=\dfrac{13}{3}t +1\\ z=4 
            \end{array}\right. , t\in\R \qquad \text{et}\qquad (HG) :\left\{\begin{array}{l}
             x=4t' \\y=4\\ z=4 
            \end{array}\right. , t'\in\R$$
\end{footnotesize}

Du fait que $\overrightarrow{KL}\left(\dfrac{14}{3}-0;\dfrac{16}{3}-1;4-4\right) \Longleftrightarrow \overrightarrow{KL}\left(\dfrac{14}{3};\dfrac{13}{3};0\right)$ on a 
$$ M(x;y;z)\in (KL)\Longleftrightarrow \exists t\in \R, \overrightarrow{KM}=t\overrightarrow{KL}\Longleftrightarrow \left\{\begin{array}{l}
             x=\dfrac{14}{3} t \\y=\dfrac{13}{3}t +1\\ z=4 
            \end{array}\right. , t\in\R$$
            
De même puisque $\overrightarrow{HG}(4;0;0)$ on obtient :

$$ M(x;y;z)\in (HG)\Longleftrightarrow \exists t'\in \R, \overrightarrow{HM}=t\overrightarrow{HG}\Longleftrightarrow \left\{\begin{array}{l}
             x=4t' \\y=4\\ z=4 
            \end{array}\right. , t'\in\R$$
\item {\footnotesize Expliquer pourquoi les droites $(KL)$ et $(HG)$ sont sécantes.}

$\overrightarrow{HG}(4;0;0)$ et $\overrightarrow{KL}\left(\dfrac{14}{3};\dfrac{13}{3};0\right)$ ont des coordonnées non proportionnelles, par conséquent les droites $(HG)$ et $(KL)$ ne sont pas parallèles.

Elles sont donc soit sécantes soit \textbf{non coplanaires}.

Et elles ne risque pas d'être non coplanaires puisque les points $H$, $G$, $K$ et $L$ sont tous 4 des points du plan $(EFG)$.

Par conséquent elles ne peuvent être que sécantes.
\item {\footnotesize En déduire que leur point d'intersection $P$ a pour coordonnées $P\left(\dfrac{42}{13};4;4\right)$}

On résout le système suivant :

$\left\{\begin{array}{l}
             \dfrac{14}{3} t=4t' \\\dfrac{13}{3}t +1=4\\ 4=4
            \end{array}\right. \Longleftrightarrow \left\{\begin{array}{l}
             \dfrac{14}{3} t=4t' \Longrightarrow \dfrac{14}{3}\times \dfrac{9}{13}=4t'\Longrightarrow \dfrac{42}{13}=4t'\Longrightarrow t'=\dfrac{21}{26}\\\dfrac{13}{3}t =3 \Longrightarrow t=\dfrac{9}{13}\\ 4=4
            \end{array}\right.$
            
Le point $P$ est donc obtenue pour $t'=\dfrac{21}{26}$ dans la représentation paramétrique de $(KL)$ et pour $t=\dfrac{9}{13}$ dans celle de $(HG)$.

Utilisons celle de $(HG)$ pour en déduire ses coordonnées :

$$\left\{\begin{array}{l}
             x=4t'=4\times \dfrac{21}{26}=\dfrac{42}{13} \\y=4\\ z=4 
            \end{array}\right.$$
On retrouve bien $P\left(\dfrac{42}{13};4;4\right)$
\end{enumerate}

\partieBac{Où l'on termine la section}

\begin{enumerate}
\item {\footnotesize Placer le point $P$ sur la figure donnée en annexe $1$. Quel tracé doit-on effectuer pour obtenir le point $Q$ d'intersection entre le plan $(IJK)$ et la droite $(BC)$. }

Les plans $(EFG)$ et $(ABC)$ étant parallèles, puisque le plan $(IJK)$ coupe le plan $(EFG)$ en $(KP)$ il coupe le plan $(ABC)$ en une droite $\Delta$ parallèle à $(KP)$ passant par $I$.
\item \begin{enumerate}
\item {\footnotesize Déterminer une équation paramétrique de la droite $\Delta$ passant par $I$ et parallèle à $(KL)$.}

$(KL)// \Delta$ donc $\overrightarrow{KL}\left(\dfrac{14}{3};\dfrac{13}{3};0\right)$ dirige $\Delta$ qui passe par $I(2;0;0)$ d'où :

$$\left\{\begin{array}{l}
             x=\dfrac{14}{3}t+2 \\y=\dfrac{13}{3}t\\ z=0
            \end{array}\right. ,\qquad t\in \R$$
\item \begin{footnotesize}
En déduire que le point $Q$ a pour coordonnées :
$$ Q\left(4;\dfrac{13}{7};0\right)$$
Placer alors le point $Q$.
\end{footnotesize}

$Q=(BC)\cap \Delta$. Il nous faut connaitre la représentation paramétrique de $(BC)$ que voici :

$$\left\{\begin{array}{l}
             x=4 \\y=4t'+0\\ z=0
            \end{array}\right. ,\qquad t'\in \R$$
            
            On résout alors :
            $$ \left\{\begin{array}{l}
             \dfrac{14}{3}t+2 =4\Longrightarrow t=\dfrac{3}{7}\\\dfrac{13}{3}t=4t'\Longrightarrow t'=\dfrac{\frac{13}{3}\times \dfrac{3}{7}}{4}\\ 0=0
            \end{array}\right. $$
            
  Le point $Q$ obtenue dans $\Delta$ pour $t=\dfrac{3}{7}$ admet donc pour coordonnées :
  $$ Q\left(4;13/3 \times 3/7;0\right)\Longleftrightarrow Q\left(4;\dfrac{13}{7};0\right)$$
\end{enumerate}
\item {\footnotesize Terminer la construction de la section.}

\newrgbcolor{qqqqzz}{0 0 0.6}
\psset{xunit=1.0cm,yunit=1.0cm,algebraic=true,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25}
\begin{pspicture*}(-3.76,-2.58)(16.54,9.34)
\psline(0,0)(4,0)
\psline(4,0)(6,2)
\psline(6,2)(2,2)
\psline(2,2)(0,0)
\psline(0,0)(0,4)
\psline(0,4)(2,6)
\psline(2,2)(2,6)
\psline(2,6)(6,6)
\psline(6,6)(6,2)
\psline(4,4)(6,6)
\psline(0,4)(4,4)
\psline(4,4)(4,0)
\psline(0.5,4.5)(7.33,6.67)
\psline(2,0)(7.33,6.67)
\psline[linewidth=1.6pt,linecolor=qqqqzz](6,5)(5.23,6)
\psplot{-3.76}{16.54}{(-4.33--2.17*x)/6.83}
\psline[linewidth=1.6pt,linecolor=qqqqzz](6,5)(4.93,0.93)
\psplot{-3.76}{16.54}{(-2.79-4.07*x)/-1.07}
\psline[linewidth=1.6pt,linecolor=qqqqzz](0,2.6)(2,0)
\psline[linewidth=1.6pt,linecolor=qqqqzz](0.5,4.5)(5.23,6)
\psline[linewidth=1.6pt,linecolor=qqqqzz](5.23,6)(6,5)
\psline[linewidth=1.6pt,linecolor=qqqqzz](6,5)(4.93,0.93)
\psline[linewidth=1.6pt,linecolor=qqqqzz](4.93,0.93)(2,0)
\psline[linewidth=1.6pt,linecolor=qqqqzz](2,0)(0,2.6)
\psline[linewidth=1.6pt,linecolor=qqqqzz](0,2.6)(0.5,4.5)
\begin{scriptsize}
\psdots[dotsize=2pt 0,dotstyle=*](0,0)
\rput[bl](-0.28,-0.16){$A$}
\psdots[dotsize=2pt 0,dotstyle=*](4,0)
\rput[bl](4.18,-0.16){$B$}
\psdots[dotsize=2pt 0,dotstyle=*](6,2)
\rput[bl](6.08,2.08){$C$}
\psdots[dotsize=2pt 0,dotstyle=*](2,2)
\rput[bl](2.08,2.08){$D$}
\psdots[dotsize=2pt 0,dotstyle=*](0,4)
\rput[bl](-0.28,3.94){$E$}
\psdots[dotsize=2pt 0,dotstyle=*](4,4)
\rput[bl](4.14,3.8){$F$}
\psdots[dotsize=2pt 0,dotstyle=*](6,6)
\rput[bl](6.08,6.08){$G$}
\psdots[dotsize=2pt 0,dotstyle=*](2,6)
\rput[bl](2.08,6.08){$H$}
\psdots[dotsize=2pt 0,dotstyle=*](2,0)
\rput[bl](1.98,-0.38){$I$}
\psdots[dotsize=2pt 0,dotstyle=*](6,5)
\rput[bl](6.18,4.86){$J$}
\psdots[dotsize=2pt 0,dotstyle=*](0.5,4.5)
\rput[bl](0.24,4.42){$K$}
\psdots[dotsize=2pt 0,dotstyle=*](5.23,6)
\rput[bl](5.32,6.08){$P$}
\psdots[dotsize=2pt 0,dotstyle=*](14.69,16.85)
\rput[bl](-3.76,9.34){$L_1$}
\psdots[dotsize=2pt 0,dotstyle=*](27.36,31.38)
\rput[bl](-3.76,9.34){$M$}
\psdots[dotsize=2pt 0,dotstyle=*](7.33,6.67)
\rput[bl](7.42,6.74){$L$}
\psdots[dotsize=2pt 0,dotstyle=*](4.93,0.93)
\rput[bl](5.06,0.7){$Q$}
\psdots[dotsize=2pt 0,dotstyle=*](0,2.6)
\rput[bl](-0.42,2.38){$N$}
\end{scriptsize}
\end{pspicture*}
\end{enumerate}
\end{exoi}
\pagebreak

\begin{exoi}\hfill \textbf{(10 points)}

\partieBac{}

\medskip

\begin{footnotesize}
On considère l'algorithme suivant :

Les variables sont le réel $U$ et les entiers naturels $k$ et $N$.\\

\begin{center}
\fbox{\begin{minipage}{7cm}
\textbf{Entrée}

Saisir le nombre entier naturel non nul $N$.\\

\textbf{Traitement}\\
Affecter à $U$ la valeur 0\\
Pour $k$ allant de 0 à $N -1$\\

Affecter à $U$ la valeur $3U - 2k + 3$\\
Fin pour\\

\textbf{Sortie}\\
Afficher $U$
\end{minipage}}
\end{center}
\medskip

\end{footnotesize}
{\footnotesize Quel est l'affichage en sortie lorsque $N = 3$ ?}

Remplissons un tableau donnant l'évolution des variables :

\begin{center}
\begin{tabular}{|c|c|c|c|c|}
\hline 
$N$ & $3$ &  &  & \tabularnewline
\hline 
\hline 
$u$ & $0$ & $3\times0-2\times0+3=3$ & $3\times3-2\times1+3=10$ & $3\times10-2\times2+3=29$\tabularnewline
\hline 
$k$ & $0$ & $1$ & $2$ & $3$\tabularnewline
\hline 
\end{tabular}
\end{center}
\bigskip

\partieBac{}

\medskip

{\footnotesize On considère la suite $\left(u_n\right)$ définie par $u_0=0$ et, pour tout entier naturel $n$, $u_{n+1}= 3u_n - 2n + 3$.}

\medskip

\begin{enumerate}
\item \begin{footnotesize}
Calculer $u_1$ et $u_2$.
\end{footnotesize}

$$ u_1=3u_0-2\times 0+3=3\times 0-0+3=3$$

$$ u_2=3u_1-2\times 1+3=3\times 3-2+3=10$$
\item 
	\begin{enumerate}
		\item {\footnotesize Démontrer par récurrence que, pour tout entier naturel $n$, $u_n\geqslant n$.}
		
		Notons $\mathscr P(n): u_n\geqslant n$.
		
		\textbf{\textit{Initialisation}} : pour $n=0$ :
		
		$u_0=0$ et on a bien $u_0\geq 0$
		
		$\mathscr P$ est vraie pour $n=0$.
		
		\textbf{\textit{Hérédité}} : Montrons que si $u_n \geqslant n$ alors $u_{n+1}\geqslant n+1$.
		
		$$ u_n\geq n \Longleftrightarrow 3u_n\geq 3n \Longleftrightarrow 3u_n-2n\geq 3n-2n \Longleftrightarrow 3u_n-2n+3\geq n+3$$
		
		De plus puisque $n+3>n+1$ on obtient :
		$$ 3u_n-2n+3\geq n+1 \Longleftrightarrow u_{n+1}\geq n+1$$
		
		Nous venons de démontrer que $\mathscr P$ est héréditaire.
		
		\textbf{\textit{Conclusion}} : $\mathscr P$ est héréditaire et vraie à partir de $n=0$ il suit que pour tout entier naturel $n$ on a :
		$$ u_n\geq n$$
		
		
		\item {\footnotesize En déduire la limite de la suite $\left(u_n\right)$.}
		
		$\lim\limits_{n\to +\infty} n=+\infty$, alors puisque $u_n\geq n$ il suit par comparaison que :
		$$ \lim\limits_{n\to +\infty} u_n=+\infty$$
	\end{enumerate}
\item \begin{enumerate}
\item \begin{footnotesize}
Démontrer que pour tout entier naturel $n$ on a :
$$ u_{n+1}-u_n=2(u_n-n)+3$$
\end{footnotesize}

Pour tout entier naturel $n$ on a :
$$ u_{n+1}-u_n=3u_n-2n+3-u_n=2u_n-2n+3=2(u_n-n)+3$$
\item {\footnotesize En déduire le sens de variation de la suite $(u_n)$.}

D'après une question précédente $u_n\geq n$ donc $u_n-n\geq 0$ donc $2(u_n-n)\geq 0$ et donc $2(u_n-n)+3\geq 0$, par conséquent $u_{n+1}-u_n\geq 0\Longleftrightarrow u_{n+1}\geq u_n$ donc la suite $(u_n)$ est croissante.
\end{enumerate}

\item {\footnotesize Soit la suite $\left(v_n\right)$ définie, pour tout entier naturel $n$, par $v_n = u_n - n +1$.}
	\begin{enumerate}
		\item {\footnotesize Démontrer que la suite $\left(v_n\right)$ est une suite géométrique.}
		
		Pour tout entier naturel $n$ on a :
		$$ v_{n_+1}=u_{n+1}-(n+1)+1=u_{n+1}-n-1+1=u_{n+1}-n=3u_n-2n+3-n=3u_n-3n+3=3(u_n-n+1)=3v_n$$
		
		Puisque $v_{n+1}=2v_n$, $(v_n)$ est une suite géométrique de raison $3$ et de premier terme $v_0=u_0-0+1=1$.

		\item {\footnotesize En déduire que, pour tout entier naturel $n$, $u_n = 3^n + n -1$.}
		
		Puisque $v_n = u_n - n +1$ il suit que $v_n+n-1=u_n$.
		
		Puisque $(v_n)$ est géométrique de raison $3$ il suit que pour tout entier naturel $n$ : $v_n=v_0\times q^n=3^n$ et donc :
		$$ 3^n+n-1=u_n$$
	\end{enumerate}
\item {\footnotesize Soit $p$ un entier naturel non nul.}
	\begin{enumerate}
		\item \begin{footnotesize}
		Pourquoi est-on sûr qu'il existe un entier $n_0$ tel que :
		$$\forall n\geqslant n_0 \quad \text{on ait} \qquad u_n\geqslant 10^p \quad \text{?}$$ 
		\end{footnotesize}
		
		Puisque d'après une question de début d'exercice $\lim\limits_{n\to +\infty}u_n=+\infty$ alors quelque soit le réel $A$ (en particulier pour $A=10^p$ il existe un rang $n_0$ tel que pour tout entier naturel $n\geq n_0$ on ait $u_n\geq A=10^p$.
		\item {\footnotesize Déterminer à l'aide de la calculatrice le plus petit entier $n_0$ tel que, pour tout $n\geqslant n_0$ on ait $u_n\geqslant 10^3$.}
		
		$u_6=3^6+6-1=3^6+5=9\times 9\times 9+5=81\times 9+5=810-81+5=810-100+19+5=710+24=734<1000$.
		
		puis $u_7=3^7+7-1=729\times 3+6=2190-3+6=2193>1000$
		
		De plus puisque $(u_n)$ est croissante alors pour tout entier naturel $n\geq 7$ on a $u_n\geq u_7\geq 1000$. Et puisque $u_6<1000$, il suit que $n_0=7$ est le plus petit entier $n_0$ tel que, pour tout $n\geq n_0$ on ait $u_n\geq 1000$.
		%\item Justifier que $n_0\leqslant 3p$.
		\item {\footnotesize Compléter l'algorithme, donnée en annexe, qui, pour une valeur de $p$ donnée en entrée, affiche en sortie la valeur du plus petit entier $n_0$ tel que, pour tout $n\geqslant n_0$, on ait $u_n\geqslant 10^p$.}
%		\item On note $n_0$ le plus petit entier naturel $n_0$ tel que $\forall n\geq n_0$ on ait $u_n\geqslant 10$. 
%		
%		Vérifier que $u_{3p}\geqslant 10^p$ puis justifier que $n_0\leqslant 3p$.
		
		
\begin{center}
\fbox{\begin{minipage}{7cm}
\textbf{Variables}

$U$ est un réel.
\\
$n$ et $p$ sont des entiers naturels.

\textbf{Entrée}

Saisir le nombre entier naturel $p$.\\

\textbf{Traitement}\\
Affecter à $U$ la valeur 0 \\
Affecter à $n$ la valeur $0$\\
Tant que $U<10^p$\\

Affecter à $U$ la valeur $3^n+n-1$\\
Affecter à $n$ la valeur $n+1$\\

Fin tantque\\

\textbf{Sortie}\\
Afficher $n $
\end{minipage}}
\end{center}
	\end{enumerate}
\end{enumerate}
\end{exoi}



\end{document}