% !TeX document-id = {ab53220a-8993-46e4-8e64-114ff7ce0027}
% !TeX TXS-program:compile = txs:///dvi-ps-pdf-chain
\documentclass[11pt,a4paper,french]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{fourier}
\usepackage[scaled=0.875]{helvet}
\renewcommand{\ttdefault}{lmtt}
\usepackage{makeidx}
\usepackage{amsmath,amssymb}
\usepackage{fancybox}
\usepackage[normalem]{ulem}
\usepackage{pifont}
\usepackage{lscape}
\usepackage{multicol}
\usepackage{mathrsfs}
\usepackage{tabularx}
\usepackage{multirow}
\usepackage{enumitem}
\usepackage{textcomp} 
\newcommand{\euro}{\eurologo{}}
%Tapuscrit : René ROUX
\usepackage{pst-plot,pst-tree,pstricks,pst-node,pst-text}
\usepackage{pst-eucl,pst-3dplot,pstricks-add}
\usepackage{esvect}
%\usepackage{tikz,tkz-tab}
\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\D}{\mathbb{D}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\C}{\mathbb{C}}
\usepackage[left=2.5cm, right=2.5cm, top=2cm, bottom=3cm]{geometry}
\headheight15 mm
\newcommand{\vect}[1]{\overrightarrow{\,\mathstrut#1\,}}
\renewcommand{\theenumi}{\textbf{\arabic{enumi}}}
\renewcommand{\labelenumi}{\textbf{\theenumi.}}
\renewcommand{\theenumii}{\textbf{\alph{enumii}}}
\renewcommand{\labelenumii}{\textbf{\theenumii.}}
\def\Oij{$\left(\text{O}~;~\vect{\imath},~\vect{\jmath}\right)$}
\def\Oijk{$\left(\text{O}~;~\vect{\imath},~\vect{\jmath},~\vect{k}\right)$}
\def\Ouv{$\left(\text{O}~;~\vect{u},~\vect{v}\right)$}
\newcommand{\e}{\text{e}}
\usepackage{fancyhdr}
\usepackage[dvips]{hyperref}
\hypersetup{%
pdfauthor = {APMEP},
pdfsubject = {Baccalauréat Spécialité},
pdftitle = {Centres étrangers groupe 1 Sujet 2 19 mai 2022},
allbordercolors = white,
pdfstartview=FitH} 
\usepackage{babel}
\usepackage[np]{numprint}
\renewcommand\arraystretch{1.3}
\frenchsetup{StandardLists=true}

\begin{document}
\setlength\parindent{0mm}
\rhead{\textbf{A. P{}. M. E. P{}.}}
\lhead{\small Corrigé du baccalauréat spécialité sujet 2}
\lfoot{\small{Centres étrangers groupe 1}}
\rfoot{\small{19 mai 2022}}
\pagestyle{fancy}
\thispagestyle{empty}

\begin{center}{\Large\textbf{\decofourleft~Corrigé du baccalauréat Centres étrangers gr. I Sujet 2 19 mai 2022~\decofourright\\[6pt] ÉPREUVE D'ENSEIGNEMENT DE SPÉCIALITÉ}}
\end{center}

\vspace{0,25cm}

Le sujet propose 4 exercices

Le candidat choisit 3 exercices parmi les 4 et \textbf{ne doit traiter que ces 3 exercices}

\bigskip

\textbf{\textsc{Exercice 1} \quad (7 points)\hfill Thèmes : probabilités}

\medskip

\begin{enumerate}
	\item  L'arbre complété avec les valeurs disponibles :
			\begin{center}
				\pstree[treemode=R,nodesepA=0pt,nodesepB=2.5pt,treesep=1cm,levelsep=2.5cm]{\TR{}}
				{\pstree{\TR{$F$~}\taput{0,48}}
						{\TR{$C$}\taput{0,165}
							\TR{$\overline{C}$}\tbput{0,835}
							}
					\pstree{\TR{$H$~}\tbput{0,52}}
						{\TR{$C$}\taput{0,215}
							\TR{$\overline{C}$}\tbput{0,785}
							}
					}
				\end{center}
	\item Calculons $p(C\cap F)$ : $p(C\cap F)=p_F(C)\times p(F)=0,165\times 0,48=0,0792$
	\item
		\begin{enumerate}
			\item Utilisons la formule des probabilités totales pour calculer $p(C)$ :
			
			$p(C)=p(C\cap F)+p\left(C\cap \overline{F}\right) = p_F(C)\times p(F) + p_{\overline{F}}(C)\times p\left(\overline{F}\right) = 0,165\times 0,48 + 0,215 \times 0,52 = 0,191$.
			\item Si les évènements $F$ et $C$ sont indépendants, alors $p(F\cap C) = p(F)\times  p(C)$.
			
			$p(F\cap C)=0,0792$ \quad et \quad $p(F)\times p(C) = 0,48 \times 0,191=0,09168$.
			
Ces deux résultats sont différents. Les évènements $F$ et $C$ ne sont pas indépendants.
		\end{enumerate}
	\item D'après la formule de Bayes : $p_C(F)=\dfrac{p(F\cap C)}{p(C)}=\dfrac{0,0792}{0,191}\approx 0,4147$.
	
La probabilité de choisir une femme sachant qu'elle est cadre est égale à 0,4147.
	\item 
	\begin{enumerate}
		\item Il s'agit là d'un schéma de Bernoulli : la répétition de 15 expériences aléatoires n'ayant que deux issues, identiques et indépendantes entre elles. Si on note par $X$ la variable aléatoire donnant le nombre de cadres dans l'échantillon, alors $X$ suit donc une loi binomiale de paramètres $n=15$ et $p=0,191$ : $X \sim \mathcal{B}\left(15~;~0,191\right)$
		\item $p(X\leqslant 1)=p(X=0)+p(X=1)=\dbinom{15}{0}\times 0,191^0\times (1-0,191)^{15}+\dbinom{15}{1}\times 0,191^1\times (1-0,191)^{15-1}\\ \approx 0,1890$.
		\item $E(X)=n\times p= 15\times 0,191= 2,865$.
	\end{enumerate}
	\item Soit $n \in \N$.. Cherchons la plus petite valeur de $n$ telle que $p(X\geqslant 1)\geqslant 0,99$.

	$p(X\geqslant 1)\geqslant 0,99 \iff  \iff 1-p(X<1)\geqslant 0,99 \iff 1-p(X=0)\geqslant 0,99 \iff -p(X=0)\geqslant -0,01 \\ \iff  p(X=0)\leqslant 0,01 \iff (1-0,191)^n\leqslant 0,01 \iff 0,809^n\leqslant 0,01$. 
	
La fonction $x\mapsto\ln(x)$ est strictement croissante sur $\R_+^*$ donc
	
	$0,809^n\leqslant 0,01 \iff \ln\left(0,809^n \right) \leqslant \ln(0,01) \iff n \times \ln(0,809) \leqslant \ln(0,01) \\ \iff n\geqslant \dfrac{\ln(0,01)}{\ln(0,809)}$ car $\ln(0,809)<0$. 

À la calculatrice : $\dfrac{\ln(0,01)}{\ln(0,809)}\approx 21,73$ donc $n\geqslant 22$.

Il faudra donc que la taille de l'échantillon choisi soit supérieure ou égale à 22.
\end{enumerate}

\bigskip

\textbf{\textsc{Exercice 2} \quad 6 points\hfill Thème: Géométrie dans l'espace}

\medskip

On munit l'espace du repère orthonormé $\left(\text{A}~;~\vect{\text{AB}},\, \vect{\text{AD}},\, \vect{\text{AE}}\right)$. Dans ce repère, les points notés ont pour coordonnées :

A$\left(0~;~0~;~0\right)$, B$\left(1~;~0~;~0\right)$, C$\left(1~;~1~;~0\right)$, D$\left(0~;~1~;~0\right)$, E$\left(0~;~0~;~1\right)$, F$\left(1~;~0~;~1\right)$, G$\left(1~;~1~;~1\right)$ et H$\left(0~;~1~;~1\right)$


\begin{enumerate}
	\item 
	\begin{enumerate}
		\item Les droites (AH) et (ED) sont les deux diagonales du carré ADHE. Ces diagonales  sont perpendiculaires. Donc (AH)$\perp$(ED).
		\item CDHG est un carré donc (GH) est perpendiculaire à (DH) ;
		
EFGH est un carré donc (GH) est perpendiculaire à (EH).

La droite (GH) perpendiculaire à deux droites sécantes du plan (EDH) est orthogonale à ce plan (EDH).
		\item Nous savons d'une part, que les droites (ED) et (AH) sont perpendiculaires, et d'autre part que les droites (ED) et (HG) le sont aussi. De plus les droites (HG) et (AH) sont sécantes et non confondues, donc elles définissent deux direction distinctes du plan (AGH). Donc comme la droite (ED) est perpendiculaire à ces deux dernières droites, alors (ED) est perpendiculaire au plan (AGH) 
	\end{enumerate}
		\item $\vect{\text{ED}}\begin{pmatrix}0\\1\\-1\end{pmatrix}$. $\vect{\text{ED}}$ est normal au plan (AGH).
		
		Le plan (AGH) a pour équation cartésienne : $ax+by+cz+d=0$, où $(a~;~b~;~c)$ sont les cordonnées d'un vecteur normal au plan. En prenant comme vecteur normal le vecteur $\vect{n}$, on obtient : (ART) : $0x + y - z + d = 0$ soit $y - z + d = 0$. 

		Or $\text{A}\in \text{(ART)}$ donc $0-0+d=0$ donc $d=0$. Donc (AGH) a pour équation $y - z = 0$.
		\item \begin{enumerate}
			\item $\vect{\text{EL}}\begin{pmatrix}\dfrac23\\1\\-1\end{pmatrix}$. La droite (EL) passant par E et de vecteur directeur $\vect{\text{EL}}$ a pour représentation cartésienne :
			$\left\{\begin{array}{l c l}x&=&0+\dfrac23\times k\\y&=&0 +1\times k\\z &=&1+(-1)\times k \end{array}\right.,\: \text{avec }\:k$ soit $\left\{\begin{array}{l c r}x&=&\dfrac23 k\\y&=&k\\z &=&1- k \end{array}\right.,\: \text{avec }\:k \in \R.$
			\item Les coordonnées du point d'intersection de (EL) et (AGH) sont les solutions du système : $\left\{\begin{array}{l}x=\dfrac23 k\\y=k\\z =1- k \\ y-z=0 \end{array}\right.$.En remplaçant $y$ et $z$ dans la troisième équation, nous obtenons :

$y-z=0  \iff  k-(1-k)=0  \iff  2k-1=0 \iff k=\dfrac12$. 

Donc $x=\dfrac23 \times \dfrac12=\dfrac13$, $y=\dfrac12$ et $z=1-\dfrac12=\dfrac12$.
			
Les coordonnées du point d'intersection de (EL) et (AGH) sont : $\left(\dfrac13~;~\dfrac12~;~\dfrac12\right)$.
			\item K appartient au plan (AGH) : en effet $y - z=0$.
			
De plus  le vecteur $\vect{\text{LK}}$ a pour coordonnées $\begin{pmatrix}0\\-\dfrac12\\\dfrac12\end{pmatrix}$.
			
On remarque alors que $\vect{\text{LK}}=-\dfrac12\vect{\text{ED}}$ donc les vecteurs $\vect{\text{LK}}$ et $\vect{\text{ED}}$ sont colinéaires, donc le vecteur $\vect{\text{LK}}$ est normal au plan (AGH). K est donc le projeté orthogonal du point L sur le plan (AGH).
			\item La distance du point L au plan AGH est égale à la distance LK :
			
$\text{LK} = \left\|\vect{\text{LK}}\right\| = \sqrt{0^2+\left(-\dfrac12\right)^2+\left(\dfrac12\right)^2}=\sqrt{\dfrac12}=\dfrac{\sqrt2}{2}$  unité de longueur.
			\item Une hauteur de LAGH est [LK]. La base correspondante est AGH, triangle rectangle en H.  $\mathcal{V}_{\text{LAGH}}=\dfrac13\times \mathcal{A}_{\text{AGH}}\times \text{LK}$ avec $\mathcal{A}_{\text{AGH}}=\dfrac{\text{AH}\times \text{HG}}{2}$.

De plus $\text{AH} =\sqrt{2}$ (diagonale d'un carré de côté 1) et $\text{HG} =1$. Donc $\mathcal{A}_{\text{AGH}}=\dfrac{1 \times \sqrt{2}}{2}=\dfrac{\sqrt2}{2}$ unité d'aire.

Donc $\mathcal{V}_{\text{LAGH}}=\dfrac13\times \dfrac{\sqrt2}{2}\times \dfrac{\sqrt2}{2}=\dfrac{1}{6}$ unité de volume.
		\end{enumerate}
\end{enumerate}

\bigskip

\textbf{\textsc{Exercice 3} \quad 6 points\hfill Thème: Fonctions; Suites}

\medskip

\begin{enumerate}
	\item La fonction $g$ est continue et dérivable. $\forall x \in \R$, $f'(x)=\np{1000}x^{999}+1$.
	
La fonction $g'$ est continue et dérivable. $\forall x \in \R$, $g''(x)=999\times \np{1000}x^{998}=\np{999000}x^{998}$.
	
	$\forall x \in \R$, $\np{999000}x^{998}\geqslant 0$ et $g''$ s'annule sans changer de signe sur $\R$.
	
La fonction $g$ est donc convexe sur $\R$. \hfill \fbox{\textbf{Réponse b}}
	\item D'après la représentation graphique de $f'$, on peut affirmer que $f'(0)=1$. La pente de la tangente à $\mathcal{C}$ au point d'abscisse 0 est égale à 1. Toute droite ayant la même pente est donc parallèle à cette tangente. C'est le cas de la droite d'équation $y=x$. 
	
\hfill \fbox{\textbf{Réponse a}}
	\item On considère la suite $\left(u_n\right)$ définie pour tout entier naturel $n$ par $u_n = \dfrac{(-1)^n}{n+1}$.
	
$\forall n \in \N$, $ -1\leqslant (-1)^n \leqslant 1$ donc $-\dfrac{1}{n+1} \leqslant u_n \leqslant \dfrac{1}{n+1}$.
	
Or $\forall n \in \N$, $n+1\geqslant 1$ donc $\dfrac{1}{n+1} \leqslant 1$ et $-\dfrac{1}{n+1} \geqslant -1$.
	
Donc  $\forall n \in \N$, $-1\leqslant u_n \leqslant 1$. La suite $(u_n)$ est donc bornée.
	
\hfill \fbox{\textbf{Réponse c}}
	\item Soit $\left(v_n\right)$ une suite telle que $v_0 = k$ et $\forall n \in \N$, $v_n\times v_{n+1}<0$. Cette inégalité nous permet d'affirmer que $\forall n \in \N$,  deux termes consécutifs $v_n$ et $v_{n+1}$ sont de signes opposés. Donc les termes  $v_{n+1}$ et  $v_{n+2}$ le sont aussi. Donc on peut en déduire que $\forall n \in \N$, $v_n$ et $v_{n+2}$  sont de même signe.
	
Donc $v_0$, $v_2$, ..., $v_{2k}$, \: avec $k\in \N$ (tous les termes de rangs pairs), sont de même signe, donc du signe de $k$.
	
\hfill \fbox{\textbf{Réponse c}}
	\item On considère la suite $\left(w_n\right)$ définie pour tout entier naturel $n$ par $w_{n+1} = 2w_n - 4\quad \text{et}\quad  w_2 = 8$.
	
Donc $\forall n \in \N$,  $w_n=\dfrac{w_{n+1}+4}{2}$.
	
$w_1=\dfrac{w_{2}+4}{2}=\dfrac{8+4}{2}=6$ et $w_0=\dfrac{w_{1}+4}{2}=\dfrac{6+4}{2}=5$ \hfill \fbox{\textbf{Réponse b}}
	\item Il est facile de démontrer par récurrence que $\forall n \in \N$, $a_n > 0$ car $\dfrac{\e^n}{\e^n+1}> 0 $ et $a_0 > 0$.
	
$\forall n \in \N$, $\e^n <  \e^n+1$ donc $\dfrac{\e^n}{\e^n+1}< 1$ donc $\dfrac{\e^n}{\e^n+1} a_n< a_n$ donc $a_{n+1} < a_n$. La suite $(a_n)$ est donc strictement décroissante. \hfill \fbox{\textbf{Réponse b}}
	
	\item D'après l'énoncé, nous savons que le nombre de cellules double à chaque intervalle de temps écoulé. Cherchons le premier entier $n$ tel que $2^n\geqslant \np{4000}$. La fonction $x\mapsto \ln(x)$ est strictement croissante sur $\R_+^*$ donc 
	
$2^n\geqslant \np{4000}\iff \ln\left(2^n\right) \geqslant \ln(\np{4000})\iff n \times \ln(2) \geqslant \ln(\np{4000}) \iff n \geqslant \dfrac{\ln(\np{4000}) }{\ln(2)}$.
	
À la calculatrice : $\dfrac{\ln(\np{4000}) }{\ln(2)}\approx 11,97$ donc $n\geqslant 12.$
	
Il s'est donc écoulé 12 intervalles de temps pour que le nombre de cellules atteigne $\np{4000}$ en 4 heures. Chaque intervalle de temps est donc : $\dfrac{4\times 60}{12}= 20$ (min.).\hfill \fbox{\textbf{Réponse c}}
	
\end{enumerate}

\bigskip

\textbf{\textsc{Exercice 4} \quad 6 points\hfill Thème: Fonctions, Fonction exponentielle, Fonction logarithme; Suites}

\medskip

\textbf{Partie A}

\medskip

\begin{enumerate}
	\item La fonction $x\mapsto \e^{-x}$ est continue en 0 et $\e^{-0}=1$. $\displaystyle\lim\limits_{\substack{x \rightarrow 0 \\ x>0}}\ln(x)=-\infty$ donc $\displaystyle\lim\limits_{\substack{x \rightarrow 0\\ x>0}} f(x)=-\infty$ 
	\item La fonction $f$ est continue et dérivable sur $]0~;~1]$. 
	
$\forall x \in ]0~;~1]$, $f'(x)=-\e^{-x}+\dfrac1x=\dfrac{-x\e^{-x}+1}{x}=\dfrac{1-x\e^{-x}}{x}$
	\item La fonction $x\mapsto \e^{-x}$ est continue, dérivable de dérivée $x\mapsto -\e^{-x}$. Or $\forall x \in ]0~;~1]$, $-\e^{-x}<0$. donc la fonction  $x\mapsto \e^{-x}$ est strictement décroissante sur $]0~;~1]$.
	
Donc $\forall x \in ]0~;~1]$, $:e^{-1} \leqslant \e^{-x}<\e^{0}<1$ donc $0< \e^{-x}<\e^{0}<1$. De plus $0<x\leqslant 1$ donc $0<x\e^{-x}<1$.
	
Cela signifie que $\forall x \in ]0~;~1]$, $1-x\e^{-x}>0$ donc $f'(x)>0$ donc $f$ est strictement croissante sur $]0~;~1]$. $f(1)=\e^{-1}+\ln(1)=\e^{-1}$. 
	
Ci-dessous le tableau de variation de la fonction $f$ :
	\begin{center}
%		\begin{tikzpicture}
%			\tkzTabInit{$x$ / 1 , $f'(x)$ / 1, $f(x)$  /2}{$0$, $1$}
%			\tkzTabLine{d, +, }
%			\tkzTabVar{D-/ $-\infty$, +  / $\e^{-1}$}
%		\end{tikzpicture}
\psset{unit=1cm}
\begin{pspicture}(6,3)
\psframe(6,3)\psline(0,2)(6,2)\psline(0,2.5)(6,2.5)\psline(2,0)(2,3)
\psline(2.1,0)(2.1,2.5)\psline(2.15,0)(2.15,2.5)
\uput[u](1,2.4){$x$}\uput[u](2.125,2.4){$0$}\uput[u](5.8,2.4){$1$}
\rput(1,2.25){$f'(x)$}\rput(4,2.25){$+$}
\rput(1,1){$f$}\uput[u](2.5,0){$- \infty$}\uput[d](5.6,2){$\text{e}^{- 1}$}
\psline{->}(2.6,0.5)(5.5,1.45)
\end{pspicture}
	\end{center}
\item La fonction $f$ est continue et strictement croissante sur $]0~;~1]$ à valeurs dans $]-\infty~;~\e^{-1}]$. Or $0 \in ]-\infty~;~\e^{-1}]$ donc d'après le corollaire du théorème des valeurs intermédiaires, l'équation $f(x)=0$ admet une unique solution,  notée $\ell$, dans $]0~;~1]$.

À la calculatrice : $\ell \approx 0,567$.
\end{enumerate}

\medskip

\textbf{Partie B}

\medskip

On définit deux suites $\left(a_n\right)$ et $\left(b_n\right)$ par:

\[\left\{\begin{array}{l c l}
	a_0& =& \dfrac{1}{10}\\
	b_0& =& 1
\end{array}\right.\: \text{et, pour tout entier naturel }\: n,\left\{\begin{array}{l c l}
	a_{n+1}&=&\text{e}^{-b_n}\\
	b_{n+1}&=&\text{e}^{-a_n}
\end{array}\right.\]

\begin{enumerate}
	\item 
	\begin{enumerate}
		\item $a_1=\e^{-b_0}=\e^{-1}\approx 0,37$ \quad et \quad $b_1=\e^{a_0}=\e^{-\frac{1}{10}}\approx 0,90$.
		\item Pour utiliser en Python la fonction exponentielle, il faut charger en premier la fonction \textit{exp()} de la librairie "math" : \textit{from math import exp}. 
		
		\begin{center}
			
			\begin{tabular}{|l|}\hline
				\texttt{from math import exp}\\
				\texttt{def termes(n) :}\\
				\quad \texttt{a = 1/10}\\
				\quad \texttt{b = 1}\\
				\quad \texttt{for k in range(0, n) :}\\
				\qquad \texttt{c =  exp(-b)}\\
				\qquad \texttt{b  = exp(-a)}\\
				\qquad \texttt{a  =  c}\\
				\quad \texttt{return(a, b)}\\ \hline
			\end{tabular}
		\end{center}
	\end{enumerate}
\item  

\begin{enumerate}
	\item Montrons par récurrence que $\forall n \in \N$, $0 < a_n \leqslant a_{n+1} \leqslant b_{n+1} \leqslant b_n \leqslant 1$.

\textit{Initialisation :} $a_0=\dfrac{1}{10}$ \quad $a_1=\e^{-1}=\dfrac{1}{\e}$ \quad $b_0=1=\e^0$  \quad $b_1=\e^{-\frac{1}{10}}$.

La fonction $x\mapsto\e^x$ est strictement croissante sur $\R$ et  $-1\leqslant -\dfrac{1}{10} \leqslant 0$ donc ,  $\e^{-1}\leqslant \e^{-\frac{1}{10}} \leqslant \e^0$ et $\dfrac{1}{\e}>\dfrac{1}{10}$ donc  on peut alors affirmer que $0<a_0 \leqslant a_1 \leqslant b_1 \leqslant b_0 \leqslant1$.

L'initialisation est vérifiée.

\textit{Hérédité :} Soit  $n \in \N^*$, et supposons que $0 < a_n \leqslant a_{n+1} \leqslant b_{n+1} \leqslant b_n \leqslant 1$.
		
Montrons que $0 < a_{n+1} \leqslant a_{n+2} \leqslant b_{n+2} \leqslant b_{n+1} \leqslant 1$.
					
La fonction $x \longmapsto \text{e}^{-x}$ est décroissante sur $\R$. Donc 
			
$0 < a_n \leqslant a_{n+1} \leqslant b_{n+1} \leqslant b_n \leqslant 1 \iff \e^{-0} >\e^{-a_n }\geqslant \e^{-a_{n+1}}\geqslant \e^{-b_{n+1}} \geqslant \e^{-b_n} \geqslant \e^{-1} $
			
soit $0< \e^{-1} \leqslant \e^{-b_n} \leqslant \e^{-b_{n+1}} \leqslant \e^{-a_{n+1}} \leqslant \e^{-a_n } < 1 \leqslant 1$ donc

$0 < a_{n+1} \leqslant a_{n+2} \leqslant b_{n+2} \leqslant b_{n+1} \leqslant 1$. On obtient ce qu'il fallait démontrer.
			
L'hérédité est démontrée.
					
\textit{Conclusion : } La proposition est vraie au rang $0$ et si elle est vraie au rang $n$, elle l'est aussi au rang $n + 1$.	D'après l'axiome de récurrence, $\forall n \in \N$, $0 < a_n \leqslant a_{n+1} \leqslant b_{n+1} \leqslant b_n \leqslant 1$.
			\item Nous venons de montrer que $\forall n \in \N$, $0<a_n\leqslant a_{n+1} \leqslant1$ et que $0 \leqslant b_{n+1} \leqslant b_n  \leqslant 1$.
			
			La suite $(a_n)$ est croissante et majorée par 1. D'après  le théorème de convergence monotone, la suite $(a_n)$ converge.
			
			De même, la suite $(b_n)$ est décroissante et minorée par 0. D'après  le théorème de convergence monotone, la suite $(b_n)$ converge.
\end{enumerate}
\item 
	\begin{enumerate}
		\item $A = \text{e}^{-B}$ et $B = \text{e}^{-A}$.

		$A = \text{e}^{-B} \iff \ln(A)=-B=-\e^{-A}$ donc $\ln(A)+\e^{-A}=0$ donc $f(A)=0$.

		\item De même $B = \e^{-A}\iff \ln(B)=-A=-\e^{B}$ donc $\ln(B)+\e^{-B}=0$ donc $f(B)=0$.

Donc A et B sont deux solutions de l'équation $f(x)=0$. Or d'après la question A.4, cette équation admet une unique solution, donc $A= B$ et $A - B = 0$.
	\end{enumerate}
\end{enumerate}
\end{document}