\documentclass[11pt]{article} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc}%ATTENTION codage en utf8 ! \usepackage{fourier} \usepackage[scaled=0.875]{helvet} \renewcommand{\ttdefault}{lmtt} \usepackage{amsmath,amssymb,makeidx,stmaryrd} \usepackage[normalem]{ulem} \usepackage{fancybox} \usepackage{tabularx} \usepackage{graphicx} \usepackage{accents} \usepackage{ulem} \usepackage{dcolumn} \usepackage{textcomp} \usepackage{enumitem} \usepackage{stmaryrd} \usepackage{lscape} \usepackage[mathscr]{eucal} \usepackage{braket} \newcommand{\euro}{\eurologo{}} \usepackage[dvips]{color} \usepackage{pstricks,pst-plot,pst-text,pst-tree,pst-node,pstricks-add} \usepackage[left=3.5cm, right=3.5cm, top=2cm, bottom=3cm]{geometry} \newcommand{\vect}[1]{\mathchoice% {\overrightarrow{\displaystyle\mathstrut#1\,\,}}% {\overrightarrow{\textstyle\mathstrut#1\,\,}}% {\overrightarrow{\scriptstyle\mathstrut#1\,\,}}% {\overrightarrow{\scriptscriptstyle\mathstrut#1\,\,}}} \newcommand{\R}{\mathbb{R}} \newcommand{\N}{\mathbb{N}} \newcommand{\D}{\mathbb{D}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\C}{\mathbb{C}} \renewcommand{\theenumi}{\textbf{\arabic{enumi}}} \renewcommand{\labelenumi}{\textbf{\theenumi.}} \renewcommand{\theenumii}{\textbf{\alph{enumii}}} \renewcommand{\labelenumii}{\textbf{\theenumii.}} %\newcommand{\P}{\mathbb{P}} %\renewcommand{\theenumi}{\textbf{\Roman{enumi}}} %\renewcommand{\labelenumi}{\textbf{\theenumi.}} %\renewcommand{\theenumii}{\textbf{\arabic{enumii}}} %\renewcommand{\labelenumii}{\textbf{\theenumii.}} %\renewcommand{\theenumiii}{\textbf{\alph{enumiii}}} %\renewcommand{\labelenumiii}{\textbf{\theenumiii.}} \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[french]{babel} \usepackage{hyperref} \hypersetup{% pdfauthor = {APMEP}, pdfsubject = {CAPES avec affectation à Mayotte 2021}, pdftitle = {épreuve juin 2021}, allbordercolors = white, pdfstartview=FitH} \usepackage[np]{numprint} \begin{document} \setlength\parindent{0mm} \rhead{\textbf{A. P{}. M. E. P{}.}} \lhead{\small épreuve 2} \lfoot{\small{CAPES avec affectation à Mayotte juin 2021}} \rfoot{\small{}} \pagestyle{fancy} \thispagestyle{empty} \marginpar{\rotatebox{90}{\textbf{A. P{}. M. E. P{}.}}} \begin{center} {\Large \textbf{\decofourleft~CAPES avec affectation à Mayotte Option mathématiques ~\decofourright\\[5pt]juin 2021 épreuve 2}} \vspace{1cm} \hrulefill \textbf{\large Problème 1 : Vrai-Faux} \hrulefill \end{center} \emph{Préciser si chacune des propositions suivantes est vraie ou fausse, puis justifier la réponse.\\ Une réponse non justifiée ne rapporte aucun point.} \medskip \begin{enumerate} \item On considère un entier naturel $n$. \textbf{Proposition :} si $n^2$ est pair, alors $n$ est pair. \item \textbf{Proposition :} toute suite strictement croissante tend vers $+ \infty$. \item Soit la suite $\left(u_n\right)_{n\in \N}$ définie par :$\left\{\begin{array}{l c l} u_0 &=& -1\\ u_1 &=& 1\\ u_{n+2}&=& 4u_{n+1} - 3u_n,\: \text{pour tout entier naturel }\:n \geqslant 0 \end{array}\right.$ \textbf{Proposition :} pour tout entier naturel $n$, on a : $u_n = 3^n - 2$. \item \textbf{Proposition :} pour tout entier naturel $n$,\: $\displaystyle\sum_{k = 0}^n k^3 = \left(\displaystyle\sum_{k = 0}^n k\right)^2$. \item Soient $a$ et $b$ deux réels et $f$ une fonction dérivable de $\R$ dans $\R$. \item \textbf{Proposition :} si $a \leqslant b$ et si $f(a) \leqslant f(b)$, alors $f$ est croissante sur l’intervalle $[a~;~b]$. \item \textbf{Proposition :} toute fonction définie et continue sur un intervalle $I \subset \R$ est dérivable sur l’intervalle $I$. \item Soit $f$ une fonction dérivable sur un intervalle $]a~;~b[$ et soit $x_0 \in ]a~;~b[$ tel que $f'\left(x_0\right) = 0$. \textbf{Proposition :} la fonction $f$ admet un extremum en $x_0$. \item Soit $f$ une fonction dérivable de $\R$ dans $\R$. \textbf{Proposition :} si $f$ est impaire, alors $f'$ est paire. \item Soit la fonction $f$ définie sur $R\{2\}$ par $f(x) = \dfrac{x + 2}{x - 2}$ et $\mathcal{C}_f$ sa courbe représentative dans le plan muni d’un repère. \textbf{Proposition :} $\mathcal{C}_f$ est symétrique par rapport au point A(2~;~1). \item Soit la fonction $f$ définie sur $[0~;~+ \infty[$ par $f(x)= x\ln \left(\dfrac{x + 5}{x}\right)$ pour $x > 0$ et $f(0) = 0$. \textbf{Proposition :} la fonction $f$ est dérivable en $0$. \item Soit une fonction $f$ définie et continue sur l’intervalle $[-2~;~5]$ telle que $f(-2) = -2$ et $f(5) = 3$. \textbf{Proposition :} l’équation $f(x) = 0$ admet exactement une solution dans l’intervalle $[-2~;~5]$. \item Soit $f$ une fonction continue sur l’intervalle [1~;~2]. \textbf{Proposition :} si $\displaystyle\int_1^2 f(t)\:\text{d}t \geqslant 1$, alors $f(x) \geqslant 1$ pour tout nombre réel $x \in [1~;~2]$. \item Dans l’espace rapporté à un repère orthonormé \Oijk, on note $(P)$ le plan d’équation $3x + 2y - z - 1 = 0$ et $(D)$ la droite de vecteur directeur $\vect{u} = \vect{\imath} + \vect{\jmath} - \vect{k}$ passant par le point A(2~;~1~;~7). \textbf{Proposition :} le plan $(P)$ et la droite $(D)$ ont un unique point commun. \item Dans le plan muni d’un repère orthonormé \Oij, on considère la droite $(D)$ d’équation $x + y + 3 = 0$ et le cercle $(C)$ d’équation $x^2 + y^2 - 2y - 7 = 0$. \textbf{Proposition :}la droite $(D)$ est tangente au cercle $(C)$. \item Dans le plan complexe, on considère les points M, N, P d’affixes respectives $1 + 3\text{i},\: 5 + 4\text{i},\: 2 - \text{i}$. \textbf{Proposition :} le triangle MNP est isocèle rectangle en M. \item Une entreprise fabrique des boîtes en bois qui ne peuvent présenter que deux défauts : un défaut d’aspect et un défaut de dimensions. À la suite d’un contrôle qualité de la fabrication, on constate que : \begin{itemize} \item 91\,\% des boîtes fabriquées n’ont pas de défaut d’aspect ; \item parmi les boîtes n’ayant pas de défaut d’aspect, 96\,\% n’ont pas de défaut de dimensions ; \item 3\,\% des boîtes fabriquées présentent les deux défauts. \end{itemize} On prélève au hasard une boîte dans la production. On définit l’évènement $A$ : \og la boîte ne présente pas de défaut de dimensions \fg. \textbf{Proposition :} la probabilité de l’évènement $A$ est égale à $0,97$. \item On lance un dé cubique dont les faces sont numérotées de 1 à 6. On note $X$ la variable aléatoire donnant le numéro inscrit sur la face supérieure du dé. On suppose que le dé est truqué de telle sorte que la probabilité d’obtenir une face est proportionnelle au carré du numéro inscrit sur cette face. \textbf{Proposition :} l’espérance de la variable aléatoire $X$ est égale à $\dfrac{63}{13}$. \item On considère l’algorithme ci-dessous. \begin{center} \begin{tabular}{|l|}\hline $k \gets 0$\\ $u \gets 100$\\ $S \gets 100$\\ Tant que $S < \np{2000}$\\ \qquad $k \gets k + 1$\\ \qquad $u \gets u + 5$\\ \qquad $S = S + u$\\ Fin Tant que\\ Afficher $S$\\ \hline \end{tabular} \end{center} \textbf{Proposition :} cet algorithme retourne la valeur $15$. \end{enumerate} \newpage \hrulefill \textbf{Problème 2 : nombres entiers, décimaux, rationnels, irrationnels} \hrulefill \medskip \emph{Ce problème est constitué de $6$ parties indépendantes.} \medskip \textbf{I - Nombres décimaux} \medskip \textbf{Fractions et nombres décimaux au cycle 3} \medskip \emph{Ressources MEN/DGESCO-IGEN, Eduscol, novembre $2016$} \begin{center} \begin{tabularx}{\linewidth}{|X|}\hline Lorsqu’on coupe une unité en un nombre entier de parts égales et qu’on prend un nombre entier de ces parts, éventuellement supérieur au nombre de parts contenues dans cette unité, on obtient une fraction.\\ (...)\\ Lorsque le partage de l’unité se fait en un nombre de parts égal à une puissance de 10 (comme 10, 100, \np{1000}, \ldots), la fraction obtenue est appelée fraction décimale : $\dfrac{3}{10},\:\dfrac{547}{100}, \: \dfrac{3}{\np{1000}}$, etc.\\ (...)\\ Un \textbf{nombre décimal} est un nombre qui peut s’écrire sous la forme d’une fraction décimale.\\ \hline \end{tabularx} \end{center} Justifier, en utilisant les définitions du document ressource, les affirmations suivantes : \medskip \begin{enumerate} \item Les nombres entiers sont des nombres décimaux. \item $\dfrac{1}{\np{65536}}$ est un nombre décimal. \item $\dfrac13$ n’est pas un nombre décimal. \end{enumerate} \medskip \textbf{II - Division euclidienne} \medskip Soit $(a~;~b) \in \N \times \N^{*}$. \medskip \begin{enumerate} \item Démontrer qu’il existe un entier naturel $n$ tel que nb > a. \item Soit $S = \{s \in \N, bs > a\}$. Comme $S$ est non vide, on admet qu’il possède un plus petit élément $t$. En déduire l’existence d’un couple d’entiers naturels $(q~;~r)$ vérifiant $bq \leqslant a < b(q + 1)$. \item Démontrer l’unicité du couple d’entiers naturels $(q~;~r)$ vérifiant $a = bq + r$ et $0 \leqslant r < b$. \end{enumerate} L’opération qui associe au couple $(a~;~b)$ le couple $(q~;~r)$ est la division euclidienne de $a$ par $b$. $a$ est appelé le dividende, $b$ le diviseur, $q$ le quotient et $r$ le reste de la division euclidienne. \begin{enumerate}[resume] \item On effectue une division euclidienne où le dividende est égal à $53$ et le reste à $5$. Quels peuvent être le diviseur et le quotient ? \item On suppose $a > b$ et on divise $a$ et $b$ par leur différence $a - b$. Comparer les quotients et les restes obtenus. \end{enumerate} \medskip \textbf{III - Division euclidienne et nombres décimaux} \medskip Soit $(a~;~b) \in \N \times \N^{*}$. Pour tout $n \in N$,\: $q_n$ est le quotient et $r_n$ le reste de la division euclidienne de $a \times 10^n$ par $b$. \medskip \begin{enumerate} \item \begin{enumerate} \item Déterminer $\left(q_0,\:r_0\right),\: \left(q_1,\: r_1\right),\: \left(q_2,\:r_2\right)$ et $\left(q_3,\:r_3\right)$ pour $a = 22,\: b = 7$. \item Repérer les restes $r_1$ et $r_2$ dans la division posée \og en potence \fg{} de 22 par 7 pour établir une relation entre $r_1,\: r_2,\: q_1,\: q_2$ et $b$. \end{enumerate} \begin{center} \begin{tabular}{cccccc|l} &2 &2 & & & &7\\ \hline $-$ &2 &1 & & & & 3,142\\ \cline{2-3} & &1 &0 & & &\\ &$-$& &7 & & &\\ \cline{3-4} & & &3 &0 & &\\ & &$-$&2 &8 & &\\ \cline{4-5} & & & &2 &0 &\\ & & &$-$&1&4&\\ \cline{5-6} & & & & &6 &\\ \end{tabular} \end{center} \item Démontrer que, pour tout $n \in \N$. \[\dfrac{q_n}{10^n} \leqslant \dfrac ab < \dfrac{q_n + 1}{10^n}.\] \item Démontrer que, pour tout $n \in \N^*, \: r_n - 10 \times r_{n-1} = \left(10 \times q_{n -1} - q_n\right)\times b$. \item Démontrer qu’il existe un entier $k$ tel que $r_k = 0$ si et seulement si $\dfrac ab$ est un nombre décimal. \item Pour $n \in \N^*$, \:$Q(n)$ est le quotient et $R(n)$ le reste de la division euclidienne de $10r_{n-1}$ par $b$. \begin{enumerate} \item Montrer que $0 \leqslant Q(n)\leqslant 9$. \item Exprimer $q_n$ et $r_n$ en fonction de $q_{n-1}$,\: $Q(n)$ et $R(n)$. \item Démontrer que, pour tout $n \in \N^*$, \[\dfrac{q_{n-1}}{10^{n-1}} \leqslant \dfrac{q_n}{10^n}\quad \text{et}\quad \dfrac{q_{n}+ 1}{10^n} \leqslant \dfrac{q_{n-1} + 1}{ 10^{n-1}}.\] \end{enumerate} \end{enumerate} On a montré que, pour tout $n \in \N^*$, \[q_0\leqslant \dfrac{q_1}{10} \leqslant \ldots \leqslant \dfrac{q_{n-1}}{10^{n-1}} \leqslant \dfrac{q_n}{10^n} \leqslant \dfrac ab < \dfrac{q_n+ 1}{10^n} \leqslant \dfrac{q_{n-1}+ 1}{10^{n-1}} \leqslant \ldots \leqslant \dfrac{q_1 + 1}{10} \leqslant q_0 + 1.\] \begin{enumerate}[resume] \item Démontrer que s’il existe $r_n \ne 0$ et $k \in \N^*$ tel que $r_{n+k} = r_n$, alors $r_{n+k+1} = r_{n+1}$. $r_0,\: r_1,\: r_2$ \ldots sont les restes partiels de la division posée \og en potence \fg. \item Lorsque l’on poursuit la division \og en potence \fg{} de 22 par 7, on obtient $r_6 = 1$. On a alors $r_6 = r_0$. Est-ce que l’existence d’un reste partiel non nul répété permet de conclure à la périodicité des décimales ? \end{enumerate} \textbf{IV - Approximation de }\boldmath $\sqrt 2$\unboldmath \medskip Soit la suite $\left(a_n\right)_{n \in \N}$ définie par : \[\left\{\begin{array}{l c l} a_0&=&\dfrac32\\ a_{n+1}&=&\dfrac12\left(a_n + \dfrac{2}{a_n}\right) \quad \text{pour tout } n \in \N \end{array}\right.\] \begin{enumerate} \item Étudier les variations de la fonction $f$ définie sur l’intervalle [1~;~2] par $f(x) = \dfrac 12 \left(x + \dfrac 2x\right)$. \item Démontrer, par récurrence, que pour tout entier $n \in \N$,\: $\sqrt 2 \leqslant a_{n+1} < a_n\leqslant \dfrac 32$. \item Démontrer que, pour tout entier $n \in \N$,\: $ a_{n+1}- \sqrt 2 \leqslant \dfrac12 \left(a_n - \sqrt 2\right)$. \item En déduire que, pour tout entier $n \in \N$,\: $ 0