\documentclass[10pt,a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}

\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{multicol} 
\usepackage{fourier}
\usepackage[scaled=0.875]{helvet}
\renewcommand{\ttdefault}{lmtt}
\usepackage[normalem]{ulem}
\usepackage{fancybox}
\usepackage{tabularx}
\usepackage{dcolumn}
\usepackage{textcomp}
\usepackage{diagbox}
\usepackage{lscape}
%\usepackage{mathtools}
%\usepackage{ntheorem,thmtools}
\usepackage{graphicx}
\newcommand{\euro}{\eurologo{}}

%\theorembodyfont{\normalfont}
%\declaretheorem[title=Exercice]{exo}
%\declaretheorem[title=Théorème]{thm}
%\declaretheorem[title=Définition]{dfn}
%\declaretheorem[title=Propriété]{prop}

\renewcommand{\theenumi}{\textbf{\arabic{enumi}}}
%\renewcommand{\labelenumi}{\textbf{\theenumi.}}
\renewcommand{\theenumii}{\textbf{\alph{enumii}}}
%\renewcommand{\labelenumii}{\textbf{\theenumii.}}
\newcommand{\vect}[1]{\mathchoice%
{\overrightarrow{\displaystyle\mathstrut#1\,\,}}%
{\overrightarrow{\textstyle\mathstrut#1\,\,}}%
{\overrightarrow{\scriptstyle\mathstrut#1\,\,}}%
{\overrightarrow{\scriptscriptstyle\mathstrut#1\,\,}}}
\def\Oij{$\left(\text{O},~\vect{i},~\vect{j}\right)$}
\def\Oijk{$\left(\text{O},~\vect{\imath},~ \vect{\jmath},~ \vect{k}\right)$}
\def\Ouv{$\left(\text{O},~\vect{u},~\vect{v}\right)$}
%\usepackage{mathtools}

%\usepackage{pstricks,pst-plot,pst-text,pst-tree,pst-eps,pst-fill,pst-node,pst-math}
\usepackage{pst-all}

\usepackage{geometry}
\geometry{lmargin=2cm,rmargin=2cm,textheight=25.5cm}

\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\D}{\mathbb{D}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\C}{\mathbb{C}}

%\newcommand{\defin}{\textbf{Définition:\\}}
%\newcommand{\defs}{\textbf{Définitions:\\}}
%\newcommand{\props}{\textbf{Propriétés:\\}}
%
%\newcommand{\rems}{\textbf{Remarques:\\}}
%\newcommand{\rem}{\textbf{Remarque:\\}}
%\newcommand{\expl}{\textbf{Exemple:\\}}
%\newcommand{\demo}{\textbf{Démonstration:\\}}

%\newcommand{\prttx}{pour tout réel $ x \in \mathbb{R} $}

\renewcommand{\theenumi}{\textbf{\arabic{enumi}}}
\renewcommand{\labelenumi}{\textbf{\theenumi.}}
\renewcommand{\theenumii}{\textbf{\alph{enumii}}}
\renewcommand{\labelenumii}{\textbf{\theenumii.}}
\renewcommand{\labelitemi}{\cdot}

\setlength{\voffset}{0cm}
\usepackage{fancyhdr} 
\usepackage{hyperref}
\hypersetup{%
pdfauthor = {APMEP},
pdfsubject = {TS Corrigé Liban},
pdftitle = {31 mai  2016},
allbordercolors = white,
pdfstartview=FitH}

%\usepackage{pstricks-add}

%\date{TS}

\usepackage{tabularx}

%\renewcommand{\theenumi}{\textbf{\arabic{enumi}}}
%%\renewcommand{\labelenumi}{\textbf{\theenumi.}}
%\renewcommand{\theenumii}{\textbf{\alph{enumii}}}
%%\renewcommand{\labelenumii}{\textbf{\theenumii.}}
\usepackage[frenchb]{babel}
\usepackage[np]{numprint}
\begin{document}
%%% Corrigé : Sylvie Thiault (François Hache pour la spécialité)

\setlength\parindent{0mm}
\rhead{\textbf{31 mai 2016}}

\lhead{\textbf{}}
\lfoot{}
\rfoot{}
\renewcommand \footrulewidth{.2pt}%
\pagestyle{fancy}
\thispagestyle{empty}

\begin{center}\textbf{Durée : 4 heures }

\vspace{0,5cm}

{\Large \textbf{\decofourleft~Corrigé du baccalauréat S Liban
~\decofourright\\31 mai 2016}}
\end{center}


\vspace{0,25cm}

\section*{{Exercice 1} \hfill 4 points}

\textbf{Commun à tous les candidats}

\medskip

On considère un solide ADECBF constitué de deux pyramides identiques ayant pour base commune le carré ABCD de centre J. Une représentation en perspective de ce solide est donnée \textbf{en annexe (à rendre avec la copie)}. Toutes les arêtes sont de longueur $1$.

L'espace est rapporté au repère orthonormé $\left(\text{A}~;~\vect{\text{AB}},~\vect{\text{AD}},~ \vect{\text{AK}}\right)$.

\begin{enumerate}
\item 
	\begin{enumerate}
		\item Montrons que IE $= \dfrac{\sqrt{2}}{2}$. 

On sait  que les deux pyramides ABCDE et ABCDF sont identiques, et que toutes les arêtes ont la même longueur 1. Ce sont donc des pyramides régulières à base carrée et E comme F ont pour projeté orthogonal sur ABCD le point I, centre du carré ABCD. 

I est le centre du carré ABCD de côté 1, c'est donc le milieu de [AC] et on a:

 $\text{AC}=\sqrt{2}$ et $\text{AI}=\dfrac{\sqrt{2}}{2}.$

Comme I est le projeté orthogonal de E sur ABCD, le triangle AEI est rectangle en I et on a: 	

$\text{IE}^2=\text{AE}^2-\text{AI}^2	=1-\left(\dfrac{\sqrt{2}}{2}\right)^2=\dfrac{1}{2}$.
Et finalement \fbox{$\text{IE}=\dfrac{\sqrt{2}}{2}$}.

I est le milieu de [BD] et $\vect{\text{AI}}=\dfrac{1}{2}\vect{\text{AB}}+\dfrac{1}{2}\vect{\text{AD}}$, d'où: \fbox{$\text{I} \left(\dfrac{1}{2}~;~\dfrac{1}{2}~;~0\right)$}.

On a: $\vect{\text{AE}} = \vect{\text{AI}}+\vect{\text{IE}}$, d'où:
\fbox{$\text{E}\left(\dfrac{1}{2}~;~\dfrac{1}{2}~;~\dfrac{\sqrt{2}}{2}\right)$}

Par raison de symétrie par rapport à ABCD :  \fbox{$\text{F}\left(\dfrac{1}{2}~;~\dfrac{1}{2}~;~- \dfrac{\sqrt{2}}{2}\right)$}

		\item Montrons que le vecteur $\vect{n}\left(0~;~- 2~;~\sqrt{2}\right)$ est normal au plan (ABE).
		
On a : 	$\vect{\text{AB}}
		 \begin{pmatrix}
		 1 \\
		 0 \\
		 0 
		 \end{pmatrix}$, 
		 ~~$\vect{\text{AE}}
		 		 \begin{pmatrix}
		 		 \frac{1}{2} \\[5pt]
		 		 \frac{1}{2} \\[5pt]
		 		 \frac{\sqrt{2}}{2} 
		 		 \end{pmatrix}$
		 		 
	$\vect{\text{AB}}$ et $\vect{\text{AE}}$ ne sont pas colinéaires et on a:	
	$\vect{\text{AB}} \cdot \vect{n}=0$ et $\vect{\text{AE}} \cdot \vect{n}=0$.
	
	$\vec{n}$ est orthogonal à deux vecteurs non colinéaires  du plan ABE donc $\vect{n}(0~;~- 2~;~\sqrt{2})$ est normal au plan (ABE).
	
		\item Déterminons une équation cartésienne du plan (ABE).

(ABE) passe par le point $\text{A}\,(0\,;\,0\,;\,0)$ et a pour vecteur normal $\vect{n}(0~;~- 2~;~\sqrt{2})$. 

On en déduit une équation cartésienne de (ABE): \fbox{ $-2y+\sqrt{2}z=0$}.	
		
	\end{enumerate}
	
\item On nomme M le milieu du segment [DF] et N celui du segment [AB].
	\begin{enumerate}
		\item Démontrons que les plans (FDC) et (ABE) sont parallèles.
		
		Dans le plan (FDC) considérons les vecteurs $\vect{\text{DC}}$ et $\vect{\text{DF}}$ qui ne sont pas colinéaires.
		
		Comme ABCD est un carré on : $\vect{\text{DC}}=\vect{\text{AB}}$ et on a:
				$\vect{\text{DC}}
				 \begin{pmatrix}
				 1 \\
				 0 \\
				 0 
				 \end{pmatrix}$
		
D'autre part sachant que $\text{D}(0~;~1~;~0)$, on a: $\vect{\text{DF}}
		 		 \begin{pmatrix}
		 		 \frac{1}{2} \\[5pt]
		 		 -\frac{1}{2} \\[5pt]
		 		 -\frac{\sqrt{2}}{2} 
		 		 \end{pmatrix}$.
On a :	
$\vect{\text{DC}} \cdot \vect{n}=0$ et $\vect{\text{FD}} \cdot \vect{n}=0$.
	
$\vect{n}$ est orthogonal à deux vecteurs non colinéaires  du plan (FDC): $\vect{n}\left(0~;~- 2~;~\sqrt{2}\right)$ est normal au plan (FDC)	
	
Les plans (FDC) et (ABE) admettent un même vecteur normal donc ils sont parallèles.	 		 		 
		 		 
		\item Déterminons l'intersection des plans (EMN) et (FDC).
		
Comme M appartient à [EM] et que M est le milieu de [FD], M appartient à l'intersection de (EMN) et (FDC).

Comme 	(FDC) et (ABE) sont parallèles, le plan (EMN) les coupe suivant deux droites parallèles.

Or l'intersection de (EMN) et (ABE)	est la droite (EN).

On en déduit que l'intersection de (EMN) avec (FDC) est la droite parallèle à (EN) passant par M.
		
		\item Construisons (voir annexe) la section du solide ADECBF par le plan (EMN).
		
Soit G l'intersection de la parallèle à (EN) passant par M avec le plan (BCF): c'est l'intersection de (EM) avec (CD).
		
Le segment [GM] est la section de la face FCD par le plan (EMN).
		
Par raison de symétrie, les plan (CDE) et (ABF) sont parallèles. 
		
En tenant le même raisonnement que précédemment, on montre que le plan (EMN) les coupe suivant deux droites parallèles.
		
Or l'intersection de (EMN) avec le plan (CDE) est la droite (EG). Alors le plan(EMN) coupe le plan(ABF) suivant la parallèle à (ERG) passant par N. 
		
Cette droite coupe (AF) en H.
		
Le segment [NH] est la section de la face ABF par le plan (EMN).
		
On en déduit que le polygone ENHMG est la section du solide par le plan (EMN).		
	\end{enumerate}
\end{enumerate}

\vspace{0,5cm}

\section*{{Exercice 2} \hfill 4 points}

\textbf{Commun à tous les candidats}

\medskip

Sur un court de tennis, un lance-balle permet à un joueur de s'entraîner seul. Cet appareil envoie des balles une par une à une cadence régulière. Le joueur frappe alors la balle puis la balle suivante arrive.

Suivant le manuel du constructeur, le lance-balle envoie au hasard la balle à droite ou à gauche avec la même probabilité.

\medskip

\emph{Dans tout l'exercice, on arrondira les résultats à $10^{-3}$ près.}

\medskip

\textbf{Partie A}

\medskip

Le joueur s'apprête à recevoir une série de 20 balles.

Soit $X$ le nombre de balles envoyées à droite.
Comme le lance-balle envoie au hasard la balle à droite ou à gauche avec la même probabilité p, on a $p=\dfrac{1}{2}$. Comme d'autre part les lancers sont indépendants, $X$ suit une loi binomiale de paramètres $n=20$ et $p=\dfrac{1}{2}$. 

\medskip

\begin{enumerate}
\item Calculons la probabilité que le lance-balle envoie 10 balles à droite.

C'est: $p(X=10)=\begin{pmatrix}
				 20 \\
				 10 
				 \end{pmatrix} \left(\dfrac{1}{2}\right)^{10}\times \left(1-\dfrac{1}{2}\right)^{10}=0,176.$ \hspace{0,5cm} \fbox{$p(X=10) \approx 0,176$}

\item Calculons la probabilité que le lance-balle envoie entre 5 et 10 balles à droite.

C'est: $p(5\leqslant X\leqslant 10)=p( X\leqslant 10)-p( X\leqslant 4)$.

\`A la calculatrice, on obtient: \fbox{$p(5\leqslant X\leqslant 10)=0,582$}.

\end{enumerate}

\medskip
 
\textbf{Partie B}

\medskip

Le lance-balle est équipé d'un réservoir pouvant contenir 100 balles. Sur une séquence de 100 lancers, 42 balles ont été lancées à droite. 
Le joueur doute alors du bon fonctionnement de l'appareil. 

Comme $n=100$ et $p=0,5$, on a: $n>30$, $np=50>5$ et $n(1-p)=50>5$.

On appelle $X_{100}$ la variable aléatoire donnant le nombre de balles lancées à droite.
Avec les mêmes hypothèses qu'au A, $X_{100}$ suit une loi binomiale de paramètres $n=100$ et $p=0,5$.

On peut alors calculer l'intervalle de fluctuation asymptotique au seuil de 95\%.

\[I_n=\left[p-1,96\dfrac{\sqrt{p(1-p)}}{\sqrt{n}};p+1,96\dfrac{\sqrt{p(1-p)}}{\sqrt{n}}\right] \text{ donc } I_{100}\approx \left[0,40\,;\,0,60 \rule{0pt}{10pt}\right]\]

$0,42\in I_{100}$ donc l'hypothèse que l'appareil fonctionne correctement est acceptée, au risque de 5\,\%.

\medskip

\textbf{Partie C}

\medskip

Pour augmenter la difficulté le joueur paramètre le lance-balle de façon à donner un effet aux balles lancées. Elles peuvent être soit \og liftées \fg{} $(L)$ soit \og coupées $(C)$ \fg. La probabilité que le lance-balle envoie une balle à droite est toujours égale à la probabilité que le lance-balle envoie
une balle à gauche.

Les réglages de l'appareil permettent d'affirmer que :

\begin{itemize}
\item[$\bullet~~$] la probabilité que le lance-balle envoie une balle liftée à droite est $0,24$ donc $p(L\cap D)=0,24$
\item[$\bullet~~$] la probabilité que le lance-balle envoie une balle coupée à gauche est $0,235$donc $p(C\cap G)=0,235$.
\end{itemize}
\medskip

On peut construire deux arbres pondérés pour aider au raisonnement:

\vspace{0.5cm} 

\hfill
\begin{minipage}{0.5\textwidth}
\psset{nodesep=0mm,levelsep=20mm,treesep=10mm,nrot=:U}
\pstree[treemode=R]{\Tdot}
{
\pstree
{\Tdot~[tnpos=a]{$G$}\naput{\small $0,5$}}
{
\Tdot~[tnpos=r]{$C$}\naput{\small $p_G(D)$}
\Tdot~[tnpos=r]{$L$}\nbput{\small $p_G(L)$}
}
\pstree
{\Tdot~[tnpos=a]{$D$}\nbput{\small $0,5$}}
{
\Tdot~[tnpos=r]{$C$}\naput{\small $p_D(C)$}
\Tdot~[tnpos=r]{$L$}\nbput{\small $p_D(L)$}
}
}

\end{minipage}
\begin{minipage}{0.4\textwidth}
\psset{nodesep=0mm,levelsep=20mm,treesep=10mm,nrot=:U}
\pstree[treemode=R]{\Tdot}
{
\pstree
{\Tdot~[tnpos=a]{$C$}\naput{\small $p(C)$}}
{
\Tdot~[tnpos=r]{$D$}\naput{\small $p_C(D)$}
\Tdot~[tnpos=r]{$G$}\nbput{\small $p_C(G)$}
}
\pstree
{\Tdot~[tnpos=a]{$L$}\nbput{\small $p(L)$}}
{
\Tdot~[tnpos=r]{$D$}\naput{\small $p_L(D)$}
\Tdot~[tnpos=r]{$G$}\nbput{\small $p_L(G)$}
}
}
\end{minipage}

\vspace{0.5cm}

Si le lance-balle envoie une balle coupée, calculons la probabilité qu'elle soit envoyée à
droite , c'est à dire $p_C(D)$.

On a: $p_D(C)= 1-p_D(L)=1-\dfrac{p(D\cap L)}{p(D)}=1-\dfrac{0,24}{0,5}=1-0,48 =0,52$.

On en déduit : ${p(C\cap D)}=p(D)\times p_D(C)=0,26$

Et: $p(C)=p(C\cap D)+p(C\cap G)=0,26+0,235=0,495$.

Finalement: $p_C(D)=\dfrac{p(C\cap D)}{p(C)}= \dfrac{0,26}{0,495}=0,525$ à $10^{-3}$ près. \hspace{0,5cm} \fbox{$p_C(D)=0,525$}

\section*{{Exercice 3} \hfill 4 points}

\textbf{Commun à tous les candidats}

\medskip

On considère la fonction $f$ définie sur l'intervalle [0~;~1] par:
$f(x) = \dfrac{1}{1 + \text{e}^{1 - x}}$.

\textbf{Partie A}

\medskip

\begin{enumerate}
\item Étudions le sens de variation de la fonction $f$ sur l'intervalle [0~;~1].

$f$ est dérivable sur $[0~;~1]$ avec pour tout $x\in [0~;~1]$: $f'(x)= \dfrac{-(-1)\text{e}^{1-x}}{(1+\text{e}^{1-x})^2} = \dfrac{\text{e}^{1-x}}{(1+\text{e}^{1-x})^2}.$

Pour tout $x\in [0~;~1]$, $\text{e}^{1-x}>0$ et $(1+\text{e}^{1-x})^2>0$.

On en déduit que pour tout $x\in [0~;~1]$, $f'(x)>0$ et donc que $f$ est strictement croissante sur $[0~;~1]$.

\item En remarquant que $\text{e} = \text{e}^1$ , et que pour tout réel $x$, $\text{e}^{ - x}\times \text{e}^x=1$,  on peut écrire:

$f(x) = \dfrac{1}{1 + \text{e}\times\text{e}^{ - x}}=\dfrac{\text{e}^{ x}}{(1 + \text{e}\times \text{e}^{ - x})e^x}=\dfrac{\text{e}^x}{\text{e}^x + \text{e}}$.

\item $f$ est dérivable sur $[0~;~1]$ donc continue et est de la forme $\dfrac{u'}{u}$; elle admet donc comme primitive pour  tout $x\in [0~;~1]$ la fonction $F$ définie par: 
$F(x)= \ln(\text{e}^x+\text{e})$.

On en déduit que:
 $\displaystyle\int_0^1 f(x)\:\text{d}x =\left [\ln(e^x+e)\rule{0pt}{10pt}\right ]_0^1=\ln (2\text{e})  - \ln (1 + \text{e})= \ln (2) +  \ln(\text{e})- \ln (1 + \text{e})=\ln (2) +  1 - \ln (1 + \text{e})$.

\end{enumerate}

\medskip

\textbf{Partie B}

\medskip

Soit $n$ un entier naturel. On considère les fonctions $f_n$ définies sur [0~;~1] par:
$f_n(x) = \dfrac{1}{1 + n\text{e}^{1 - x}}$.

On note $\mathcal{C}_n$ la courbe représentative de la fonction $f_n$ dans le plan muni d'un repère orthonormé.

On considère la suite de terme général
$u_n = \displaystyle\int_0^1 f_n(x)\:\text{d}x$.

\begin{enumerate}
\item On a tracé en annexe les courbes représentatives des fonctions $f_n$ pour $n$ variant de 1
à 5. 

Pour tout $x\in [0;1]$, on a: $f_0(x) = \dfrac{1}{1 + 0\times \text{e}^{1 - x}}=1.$

La courbe $\mathcal{C}_0$ représentative de la fonction $f_0$ est le segment d'équation $y=1$ avec $x\in [0;1]$ .
\item Soit $n$ un entier naturel.

Pour tout $x\in [0;1]$, on a: $f_n(x) = \dfrac{1}{1 + n \text{e}^{1 - x}}>0.$
On en déduit que $u_n$ représente l'aire sous la courbe $\mathcal{C}_n$ délimitée par l'axe des abscisses, et les droites d'équations $x=0$ et $x=1$.

On a en particulier $u_0 = \displaystyle\int_0^1 1\:\text{d}x= [x]_0^1=1$


\item Il semble que la suite $\left(u_n\right)$ soit décroissante car les aires sont de plus en plus petites. 
Démontrons-le.

Soit $n$ un entier naturel.

Pour tout réel $x\in[0;1]$, on a:
$f_{n+1}(x)-f_n(x) =\dfrac{1}{1 + (n+1)\text{e}^{1 - x}}- \dfrac{1}{1 + n\text{e}^{1 - x}}=\dfrac{-e^{1-x}}{(1 + n\text{e}^{1 - x})(1 + (n+1)\text{e}^{1 - x})}<0.$

On en déduit que pour tout réel $x\in[0;1]$, on a: $f_{n+1}(x)<f_n(x)$ et comme par intégration sur un intervalle, l'ordre est conservé, on a pour tout entier naturel $n$, 
$\displaystyle\int_0^1 f_{n+1}(x)\:\text{d}x<\displaystyle\int_0^1 f_n(x)\:\text{d}x $ et $u_{n+1}<u_n$.

Ce qui prouve que la suite $(u_n)$ est strictement décroissante.

\item Soit $n$ un entier naturel.

Pour tout réel $x\in[0;1]$, on a:$f_n(x) = \dfrac{1}{1 + n\text{e}^{1 - x}}>0$ et donc $\displaystyle\int_0^1 f_n(x)\:\text{d}x>0$

Ce qui prouve que la suite $(u_n)$ est minorée par 0.

La suite $(u_n)$ est décroissante et minorée par 0 donc elle converge et par conséquent elle admet une limite finie.

\end{enumerate}

\vspace{0,5cm}

\section*{{Exercice 4} \hfill 5 points}

\textbf{Candidats n'ayant pas suivi l'enseignement de spécialité}

\medskip

\emph{Pour chacune des affirmations suivantes, dire si elle est vraie ou fausse en justifiant la réponse.\\
Un point est attribué par réponse exacte justifiée. Une réponse non justifiée ne sera pas prise
en compte et l'absence de réponse n'est pas pénalisée.}

\medskip

\begin{itemize}
\item[$\bullet~~$] Sur le schéma ci-dessous on a représenté la courbe de densité d'une variable aléatoire $X$ qui suit une loi normale d'espérance $\mu = 20$. La probabilité que la variable aléatoire $X$ soit
comprise entre $20$ et $21,6$ est égale à $0,34$.

\begin{center}
\psset{xunit=0.8cm,yunit=8cm,algebraic=true}
\def\xmin {13.8}   \def\xmax {26}
\def\ymin {-0.1} \def\ymax {0.31}
\begin{pspicture*}(\xmin,\ymin)(\xmax,\ymax)
\psaxes[labelFontSize=\small, ticksize=-0pt 0pt, Dx=2, Dy=0.1]%
(0,0)(\xmin,-0.1)(\xmax,0)
\def\m{20}% moyenne 
\def\s{1.5}% écart type
\def\f{1/(\s*sqrt(2*PI))*EXP((-((x-\m)/\s)^2)/2)}
\psplot{13.8}{26}{\f}
\pscustom[fillstyle=solid,fillcolor=lightgray]
{\psplot{20}{21.6}{\f}
\psline(21.6,0)(20,0)
}
\psline(20,0)(20,0.268)
\rput(20.75,0.125){0,34}
\end{pspicture*}
\end{center}

\textbf{Affirmation 1 :} La probabilité que la variable aléatoire $X$ appartienne à l'intervalle $[23,2~;~ + \infty[$ vaut environ 0,046.

Réponse: \textbf{FAUX} 

Comme $p[20~;~21,6]=0,34$, $p[20-1,6~;~21,6] = 2\times 0,34$, c'est à dire $p[18,4~;~21,6] = 0,68$.

On en déduit qu'il s'agit d'un intervalle à un-$\sigma$. Donc $\sigma \approx 1,6$.

On sait alors que pour l'intervalle deux-$\sigma$, on a:

$p[20-2\times 1,6\,;\,20+2\times 1,6]\approx0,95$ et par conséquent $p[23,2\,;\,+\infty[ = 0,5 \times 0,05 \approx 0,025$.

\medskip

\item[$\bullet~~$] Soit $z$ un nombre complexe différent de 2. On pose :
$Z = \dfrac{\text{i} z}{z - 2}$.

\bigskip

\textbf{Affirmation 2 :} L'ensemble des points du plan complexe d'affixe $z$ tels que $|Z| = 1$ est une droite passant par le point $A(1~;~0)$.

Réponse: \textbf{VRAI}

Pour tout nombre complexe $z$, $z \neq2$, on a:
$|Z| = 1 \iff \dfrac{|\text{i}z|}{|z - 2|}=1 \iff \dfrac{|z|}{|z - 2|}=1 \iff |z|=|z-2|$.

Le point $O$ a pour affixe 0; soit $I$ le point d'affixe 2, et $M$ le point d'affixe $z$:
$|z|=|z-2|\iff OM=IM $.

Autrement dit $|Z| = 1$ si seulement si $M$ appartient à la médiatrice de $[OI]$ dont $A$ est le milieu.

\bigskip

\textbf{Affirmation 3 :} $Z$ est un imaginaire pur si et seulement si $z$ est réel.

Réponse: \textbf{VRAI}

Pour tout nombre complexe $z$, $z \neq2$, on a:

$Z$ est un imaginaire pur $\iff Z+\overline{Z}=0 \iff \dfrac{\text{i}z}{z - 2}+\overline{\left(\dfrac{\text{i}z}{z - 2}\right)}=0 $

Pour tout nombre complexe $z$, $z \neq 2$, d'après les propriétés des conjugués, on a:

$\overline{\left(\dfrac{\text{i}z}{z - 2}\right)}=\dfrac{\overline{\text{i}z}}{\overline{z - 2}}= \dfrac{-\text{i}\overline{z}}{\overline{z} - 2}$.

Pour tout nombre complexe $z$, $z \neq 2$,

$Z$ est un imaginaire pur $\iff \dfrac{\text{i}z}{z - 2}+\dfrac{-\text{i}\overline{z}}{\overline{z} - 2}=0 \iff \dfrac{\text{i}z(\overline{z} - 2)-\text{i}\overline{z}({z} - 2)}{|z-2|^2}=0  \iff -2\text{i}z+2\text{i}\overline{z}=0 \iff$

$ -2 \text{i} (z - \overline z)=0$

Et finalement, pour tout nombre complexe $z$, $z \neq 2$, on a:
$Z$ est un imaginaire pur $\iff z-\overline{z}=0 \iff z \text{réel}$.

\medskip

\item[$\bullet~~$] Soit $f$ la fonction définie sur $\mathbb{R}$ par :
$f(x) = \dfrac{3}{4 + 6\text{e}^{- 2x}}$.

\bigskip

\textbf{Affirmation 4 :} L'équation $f(x) = 0,5$ admet une unique solution sur $\mathbb{R}$.

Réponse: \textbf{VRAI}

La fonction $f$ définie sur $\mathbb{R}$ par $f(x) = \dfrac{3}{4 + 6\text{e}^{- 2x}}$ est dérivable sur $\mathbb{R}$ et $f'(x)=\dfrac{36e^{-2x}}{\left(4 + 6\text{e}^{- 2x}\right)^2}.$

On a pour tout réel $x$, $f'(x)>0$ donc $f$ est strictement croissante sur $\R$. 

Comme $\displaystyle\lim_{x\to +\infty}{-2x}=-\infty$, et que 
$\displaystyle\lim_{t\to -\infty}{\text{e}^t}=0$, par composition, 
$\displaystyle\lim_{x\to +\infty}{\text{e}^{-2x}}=0$ donc $\displaystyle\lim_{x\to +\infty}{f(x)}=\dfrac{3}{4}$.

Comme $\displaystyle\lim_{x\to -\infty}{-2x}=+\infty$, et que 
$\displaystyle\lim_{t\to +\infty}{\text{e}^t}=+\infty$, par composition, 
$\displaystyle\lim_{x\to -\infty}{\text{e}^{-2x}}=+\infty$ et $\displaystyle\lim_{x\to -\infty}{f(x)}=0$.

Sur $\mathbb{R}$ , $f$ est continue strictement croissante et $f(x)$ décrit $\left[0~;~\dfrac{3}{4}\right]$. De plus  $0,5\in \left[0~;~\dfrac{3}{4}\right]$.

En appliquant le théorème des valeurs intermédiaires pour les fonctions continues strictement monotones sur un intervalle, on peut affirmer que l'équation $f(x) = 0,5$ n'a qu'une seule solution réelle.

\medskip

On peut aussi résoudre dans $[0\,;\,1]$ l'équation $f(x) = 0$ et on trouve une solution unique $x=\dfrac{\ln 3}{2}$. 

\bigskip

\textbf{Affirmation 5 :} L'algorithme suivant affiche en sortie la valeur $0,54$.

\medskip

\begin{center}
\begin{tabularx}{0.7\linewidth}{|>{\bf{}}l|X|} \hline
Variables :		&$X$ et $Y$ sont des réels\\
Initialisation :&$X$ prend la valeur 0\\
				&$Y$ prend la valeur $\dfrac{3}{10}$\\
Traitement :	& Tant que $Y < 0,5$\\
				&\hspace{0.4cm}$X$ prend la valeur $X + 0,01$\\
				&\hspace{0.4cm}$Y$ prend la valeur $\dfrac{3}{4 + 6\text{e}^{- 2X}}$\\
				&Fin Tant que\\
Sortie :		& Afficher $X$\\ \hline
\end{tabularx}
\end{center}

\medskip

Réponse: \textbf{FAUX}

Si on demande à la calculatrice de donner les valeurs de $f(x)$ avec $x$ qui varie à partir de 0 et avec un pas de 0,01, on constate que $f(0,54)\approx \np{0,4969}<0,5$ mais $f(0,55)\approx \np{0,5002}>0,5$.

On sort de la boucle dès que $Y$ donc $f(x)$ est strictement plus grand que $0,5$.

Alors la valeur de sortie est $0,55$.

\end{itemize}

\vspace{0,5cm}

\section*{{Exercice 4} \hfill 5 points}

\textbf{Candidats ayant  suivi l'enseignement de spécialité}

\medskip

\emph{Pour chacune des affirmations suivantes, dire si elle est vraie ou fausse en justifiant la réponse.
Un point est attribué par réponse exacte justifiée. Une réponse non justifiée ne sera pas prise en compte et l'absence de réponse n'est pas pénalisée.}

\medskip

\begin{itemize}
\item[$\bullet~~$] On considère le système $\left\{\begin{array}{l c l}
n &\equiv & 1 \quad [5]\\
n &\equiv & 3 \quad[4]
\end{array}\right.$ d'inconnue $n$ entier relatif.

\textbf{Affirmation 1 :} Si $n$ est solution de ce système alors $n - 11$ est divisible par 4 et par 5.

\begin{list}{\textbullet}{}

\item Si $n$ est solution du système, alors $n \equiv 1 \quad [5]$; donc $n - 11 \equiv -10 \quad [5]$. Or $-10 = 5\times (-2) \equiv 0 \quad [5]$, donc $n-11 \equiv 0 \quad [5]$, donc $n-11$ est divisible par 5.

\item Si $n$ est solution du système, alors $n \equiv 3 \quad [4]$; donc $n - 11 \equiv -8 \quad [4]$. Or $-8 = 4\times (-2) \equiv 0 \quad [4]$, donc $n-11 \equiv 0 \quad [4]$, donc $n-11$ est divisible par 4.

\end{list}
On a donc démontré que si $n$ est solution du système, alors $n-11$ est divisible par 4 et par 5.
 
\smallskip 
 
\hfill{}\fbox{\textbf{Affirmation 1} vraie}\hfill{}

\medskip

\textbf{Affirmation 2 :} Pour tout entier relatif $k$, l'entier $11 + 20k$ est solution du système.

\begin{list}{\textbullet}{}

\item $11=2\times 5+1$ donc $11 \equiv 1 \quad [5]$;
$20k = 5(4k) \equiv 0 \quad [5]$.
Par somme, on peut dire que $11+20k \equiv 1 \quad [5]$.

\item $11=2\times 4+3$ donc $11 \equiv 3 \quad [4]$;
$20k = 4(5k) \equiv 0 \quad [4]$.
Par somme, on peut dire que $11+20k \equiv 3 \quad [4]$.
 
\end{list}

$11+20k \equiv 1 \quad[5]$ et $11+20k \equiv 3 \quad[4]$ donc $11+20k$ est solution du système.

\smallskip 
 
\hfill{}\fbox{\textbf{Affirmation 2} vraie}\hfill{}

\medskip

\textbf{Affirmation 3 :} Si un entier relatif $n$ est solution du système alors il existe un entier relatif $k$ tel que $n = 11 + 20k$.

\smallskip

On a vu que si $n$ est solution du système, alors $n-11$ était divisible à la fois par 4 et par 5. Or 4 et 5 sont premiers entre eux donc, d'après le théorème de Gauss, le nombre $n-11$ est divisible par $4\times 5 = 20$; donc il existe un entier relatif $k$ tel que $n-11=20k$.

\smallskip 
 
\hfill{}\fbox{\textbf{Affirmation 3} vraie}\hfill{}

\medskip

\emph{On a démontré que l'ensemble solution du système est $\left\lbrace 11+20k \rule{0pt}{10pt} \right\rbrace_{k \in \Z}$.}

\medskip

\item[$\bullet~~$] Un automate peut se trouver dans deux états A ou B. À chaque seconde il peut soit rester dans l'état où il se trouve, soit en changer, avec des probabilités données par le graphe probabiliste ci-dessous. 

Pour tout entier naturel $n$, on note $a_n$ la probabilité que l'automate se trouve dans l'état A après $n$ secondes et $b_n$ la probabilité que l'automate se trouve dans l'état B après $n$ secondes. Au départ, l'automate est dans l'état B.

\begin{center}
\psset{unit=1cm}
\begin{pspicture}(7,3.1)
\cnodeput(1,2){A}{A}
\cnodeput(6,2){B}{B}
\nccircle[angleA=90]{->}{A}{0.4cm}\Bput{0,3}
\nccircle[angleA=-90]{->}{B}{0.4cm}\Bput{0,2}
\ncarc[arcangle=20]{->}{A}{B}\Aput{0,7}
\ncarc[arcangle=20]{->}{B}{A}\Aput{0,8}
\end{pspicture}
\end{center}

On considère l'algorithme suivant:

\medskip

\begin{center}
\begin{tabularx}{0.7\linewidth}{|>{\bf{}}l|X|} \hline
Variables:		&$a$ et $b$ sont des réels\\
Initialisation:	& $a$ prend la valeur 0\\
				&$b$ prend la valeur 1\\
Traitement:		&Pour $k$ allant de 1 à 10\\
				&\hspace{0.4cm}$a$ prend la valeur $0,8a + 0,3b$\\
				&\hspace{0.4cm}$b$ prend la valeur $1 - a$\\
				&Fin Pour\\
Sortie:			&Afficher $a$\\
				&Afficher $b$\\ \hline
\end{tabularx}
\end{center}

\medskip

\textbf{Affirmation 4:} En sortie, cet algorithme affiche les valeurs de $a_{10}$ et $b_{10}$.

\smallskip

D'après le graphe, on peut dire que
$\left\lbrace 
\begin{array}{l !{=} l}
a_{n+1} & 0,3 a + 0,8 b\\
b_{n+1} & 0,7 a + 0,2 b
\end{array}
\right. $
avec
$\left\lbrace 
\begin{array}{l !{=} l}
a_{0} & 0\\
b_{1} & 1
\end{array}
\right. $

Dans l'algorithme, on a \og $a$ prend la valeur $0,8 a + 0,3 b$\fg{} et il faudrait avoir \og $a$ prend la valeur $0,3 a + 0,8 b$\fg{}.

\smallskip 
 
\hfill{}\fbox{\textbf{Affirmation 4} fausse}\hfill{}

\medskip

\textbf{Affirmation 5:} Après 4 secondes, l'automate a autant de chances d'être dans l'état A que d'être dans l'état B.

\smallskip

On cherche $a_4$:

$\left\lbrace 
\begin{array}{l !{=} l !{=} l !{=} r}
a_{1} & 0,3 a_0 + 0,8 b_0 & 0,3 \times 0 + 0,8 \times 1 & 0,8 \\
b_{1} & 1-a_1 & \multicolumn{2}{r}{0,2}\\
\end{array}
\right. $
\hfill
$\left\lbrace 
\begin{array}{l !{=} l !{=} l !{=} r}
a_{2} & 0,3 a_1 + 0,8 b_1 & 0,3 \times 0,8 + 0,8 \times 0,2 & 0,4 \\
b_{2} & 1-a_2 & \multicolumn{2}{r}{0,6}\\
\end{array}
\right. $

\smallskip

$\left\lbrace 
\begin{array}{l !{=} l !{=} l !{=} r}
a_{3} & 0,3 a_2 + 0,8 b_2 & 0,3 \times 0,4 + 0,8 \times 0,6 & 0,6 \\
b_{3} & 1-a_3 & \multicolumn{2}{r}{0,4}\\
\end{array}
\right. $
\hfill
$\left\lbrace 
\begin{array}{l !{=} l !{=} l !{=} r}
a_{4} & 0,3 a_3 + 0,8 b_3 & 0,3 \times 0,6 + 0,8 \times 0,4 & 0,5 \\
b_{4} & 1-a_4 & \multicolumn{2}{r}{0,5}\\
\end{array}
\right. $

\smallskip

$a_4=0,5$ donc après 4 secondes, l'automate a autant de chances d'être dans l'état A que dans l'état B.

\smallskip 
 
\hfill{}\fbox{\textbf{Affirmation 5} vraie}\hfill{}

\end{itemize}

\section*{{Exercice 5} \hfill 5 points}

\textbf{Commun à tous les candidats}

\medskip

On considère la suite $\left(z_n\right)$ de nombres complexes définie pour tout entier naturel $n$ par :
$\left\{\begin{array}{l c l}
z_0		& =& 0\\
z_{n+ 1}& =& \dfrac{1}{2} \text{i} \times z_n + 5
\end{array}\right.$

Dans le plan rapporté à un repère orthonormé, on note $M_n$ le point d'affixe $z_n$.

On considère le nombre complexe $z_{\text{A}} = 4 + 2\text{i}$ et A le point du plan d'affixe $z_{\text{A}}$.

\medskip

\begin{enumerate}

\item Soit $\left(u_n\right)$ la suite définie pour tout entier naturel $n$ par $u_n = z_n - z_{\text{A}}$
.
	\begin{enumerate}
		\item Montrons que, pour tout entier naturel $n,\: u_{n+1} = \dfrac{1}{2} \text{i} \times u_n$.
		
Pour tout entier naturel $n$, $u_{n+1}=z_{n+1} - z_{\text{A}}=\dfrac{1}{2} \text{i} \times z_n + 5-(4 + 2\text{i})=\dfrac{1}{2} \text{i} \times z_n+1-2\text{i}$.

Pour tout entier naturel $n$,	$\dfrac{1}{2} \text{i} \times u_n=\dfrac{1}{2} \text{i}\left(z_n - z_{\text{A}}\right)=\dfrac{1}{2} \text{i}\left(z_n - 4-2\text{i}\right)= \dfrac{1}{2} \text{i} \times z_n+1-2\text{i}$.

Et pour tout entier naturel $n$, $u_{n+1} = \dfrac{1}{2} \text{i} \times u_n$.
		
		\item 
		
%		De ce qui précède, on déduit que la suite $(u_n)$ est une suite géométrique de premier terme $u_0=-z_A$ et de raison $q=\dfrac{1}{2} \text{i}$.
%		
%		Ce qui prouve que, pour tout entier naturel $n$:
%		$u_n = q^n \times u_0= \left(\dfrac{1}{2} \text{i}\right)^n (- 4 - 2\text{i})$.
		
On va démontrer par récurrence que, pour tout $n$, la propriété $\mathcal P_n$: $\left(\dfrac{1}{2} \text{i}\right)^n (- 4 - 2\text{i})$ est vraie.		
	
\begin{list}{\textbullet}{}

\item $u_0= z_0-z_A = -z_A = -4 -2\text{i}$; 
pour $n=0$, $\left(\dfrac{1}{2} \text{i}\right)^n (- 4 - 2\text{i}) = \left(\dfrac{1}{2} \text{i}\right)^0 (- 4 - 2\text{i})=-4 - 2\text{i}$

Donc la propriété est vraie pour $n=0$.

\item On suppose la propriété vraie au rang $p\leqslant 0$, c'est-à-dire $\left(\dfrac{1}{2} \text{i}\right)^p (- 4 - 2\text{i})$; on va la démontrer au rang $p+1$.

$u_{p+1} = \dfrac{1}{2}\text{i} u_n= \dfrac{1}{2}\text{i} \times \left(\dfrac{1}{2} \text{i}\right)^p (- 4 - 2\text{i}) = \left(\dfrac{1}{2} \text{i}\right)^{p+1} (- 4 - 2\text{i})$

Donc la propriété est vraie au rang $p+1$.

\item La propriété est vraie au rang 0, elle est héréditaire, donc elle est vraie pour tout entier naturel $n$.

\end{list}	

Pour tout entier naturel $n$, 
$u_n = \left(\dfrac{1}{2} \text{i}\right)^n (- 4 - 2\text{i})$
		
		
		
		
	\end{enumerate}
	
\item Démontrons que, pour tout entier naturel $n$, les points A, $M_n$ et $M_{n+4}$ sont alignés.

Le vecteur $\vect{\text AM_n}$ a pour affixe $u_n=z_n-z_{\text A}$,
et le vecteur $\vect{\text AM_{n+4}}$ a pour affixe $u_{n+4}=z_{n+4}-z_{\text A}$.

Mais d'après la question précédente, pour tout entier naturel $n$, 
$u_{n+4} = \left(\dfrac{1}{2} \text{i}\right)^{n+4} (- 4 - 2\text{i})$ et $u_{n} = \left(\dfrac{1}{2} \text{i}\right)^{n} (- 4 - 2\text{i})$. 

On en déduit que pour tout entier naturel $n$, $u_{n+4} = \left(\dfrac{1}{2} \text{i}\right)^{4} u_n$.

Mais $\left(\dfrac{1}{2} \text{i}\right)^{4}=\dfrac{1}{16}$

On en déduit que pour tout entier naturel $n$, $u_{n+4} =\dfrac{1}{16}u_n$ et $\vect{\text AM_{n+4}}=\dfrac{1}{16}\vect{\text AM_n}$ 

Ce qui prouve que, pour tout entier naturel $n$, les vecteurs sont colinéaires et par conséquent les points A, $M_n$ et $M_{n+4}$ sont alignés.
\end{enumerate}

\newpage

\begin{center}
\textbf{\large Annexe}

\medskip

\textbf{À rendre avec la copie}

\textbf{\large Exercice 1}

%\begin{figure}[hbtp]
%\includegraphics[width=0.5\linewidth]{LIBAN_Ex1_CRRG.eps}
%\end{figure}

\bigskip

\psset{unit=0.75cm}
%%% figure : D. Vergès puis P.A. Fournié puis F. Hache
\begin{pspicture}(-4,-5)(12,7)
\pspolygon[fillstyle=solid,fillcolor=lightgray,linewidth=0pt](3.35,0)(5,5.35)(4.96728972,1.3)(4.15,-1.35)(3.32849364,-2.662795)% section
\psline[linestyle=dotted](-4,0)(12,0)%              axe
\psline[linestyle=dotted](0,-5)(0,7)%               axe
\psline[linestyle=dotted](-4,-1.6)(12,4.8)%         axe
\pspolygon(0,0)(6.7,0)(10,1.3)(5,-4)%               ABCFA
\psline(6.7,0)(5,-4)%                               BF
\psline[linestyle=dashed](0,0)(3.3,1.3)(10,1.3)%    ADC
\psline[linestyle=dashed](5,-4)(3.3,1.3)(5,5.35)%   FDE
\psline(0,0)(5,5.35)(6.7,0)%                        AEB
\psline(5,5.35)(10,1.3)%                            EC
\psdots(5,0.65)(0,6.7)         \uput[r](5,0.65){I} 
\psdots(3.35,0)                \uput[ul](3.35,0){N}
\psdots(4.15,-1.35)            \uput[r](4.15,-1.35){M}
\psdots(4.96728972,1.3)        \uput[ur](4.96728972,1.3){G}
\psdots(3.32849364,-2.662795)  \uput[dl](3.32849364,-2.662795){H}
\psline(5,5.35)(3.35,0)(3.32849364,-2.662795)%      ENH
\psline[linestyle=dashed](3.32849364,-2.662795)(4.15,-1.35)(4.96728972,1.3)(5,5.35)%                                              HMGE
\psline(5,5.35)(3.35,0)(3.32849364,-2.662795)
\uput[ul](0,0){A}         \uput[60](6.7,0){B} 
\uput[r](10,1.3){C}       \uput[ul](3.3,1.3){D} 
\uput[u](5,5.35){E}       \uput[d](5,-4){F} 
\uput[l](0,6.7){K}
\end{pspicture}

\vfill

\textbf{\large Exercice 3}

\bigskip

\psset{unit=7cm,comma=true}
%\newrgbcolor{ffqqtt}{1. 0. 0.2}
\begin{pspicture*}(-0.2,-0.2)(1.25,1.2)
\psaxes[linewidth=1.25pt,Dx=0.2,Dy=0.2]{->}(0,0)(0,0)(1.25,1.2)
\psgrid[gridlabels=0,subgriddiv=5,griddots=8,subgriddots=8](0,0)(1.2,1)
\psplot[plotpoints=1000,linewidth=1.25pt]{0}{1}{1 }
\psplot[plotpoints=1000,linewidth=1.25pt]{0}{1}{1 1 2.71828 1 x sub exp add div}
\psplot[plotpoints=1000,linewidth=1.25pt]{0}{1}{1 1 2.71828 1 x sub exp 2 mul add div}
\psplot[plotpoints=1000,linewidth=1.25pt]{0}{1}{1 1 2.71828 1 x sub exp 3 mul add div}
\psplot[plotpoints=1000,linewidth=1.25pt]{0}{1}{1 1 2.71828 1 x sub exp 4 mul add div}
\psplot[plotpoints=1000,linewidth=1.25pt]{0}{1}{1 1 2.71828 1 x sub exp 5 mul add div}
\uput[r](1,0.96){$\mathcal{C}_0$}
\uput[r](1,0.5){$\mathcal{C}_1$}
\uput[r](1,0.35){$\mathcal{C}_2$}
\uput[r](1,0.28){$\mathcal{C}_3$}
\uput[r](1,0.22){$\mathcal{C}_4$}
\uput[r](1,0.13){$\mathcal{C}_5$}
\end{pspicture*}

\end{center}

\end{document}
