\newcommand{\ang}{{\bf {\mathcal A }}}
\newcommand{\bb}{{\bf {\mathcal B }}}
\newcommand{\pp}{{\bf {\mathcal P }}}
\newcommand{\cc}{{\bf C}}
\newcommand{\et}{~\mathop{\rm et }~}
\newcommand{\etc}{\mathop{\rm etc }}
\newcommand{\ou}{~\mathop{\rm ou }~}
\newcommand{\Ima}{\mathop{\rm Im }}
\newcommand{\Ker}{\mathop{\rm Ker }}
\newcommand{\si}{\mathop{\rm si }}
\newcommand{\re}{\mathop{\rm r\'e\'ecrire }}
\newcommand{\reu}{\mathop{\rm r\'eu }}
\newcommand{\alors}{\mathop{\rm alors }}
\newcommand{\Arctg}{\mathop{\rm Arctg }}
\newcommand{\Arg}{\mathop{\rm Arg }}
\newcommand{\tg}{\mathop{\rm tg }}
\newcommand{\sinon}{\mathop{\rm sinon }}
\newcommand{\non}{\mathop{\rm non }}
\newcommand{\rr}{{\bf R}}
\newcommand{\rdeu}{{\bf R^2}}
\newcommand{\rrn}{{\bf R^n}}
\newcommand{\nn}{{\bf N}}
\newcommand{\kk}{{\bf K}}
\newcommand{\kx}{{\bf K}[X]}
\newcommand{\rX}{{\bf R}[X]}
\newcommand{\qq}{{\bf Q}}
\newcommand{\zz}{{\bf Z}}
\newcommand{\rar}{\rightarrow}
\newcommand{\imp}{\Longrightarrow}
\newcommand{\limp}{\longleftarrow}
\newcommand{\lrimp}{\longleftrightarrow}
\newcommand{\ssi}{\Longleftrightarrow}
\newcommand{\ove}{\overline}
\documentclass[12pt]{article} \usepackage{vmargin}
\usepackage{amsfonts}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{graphicx}
\usepackage{amsmath}
%TCIDATA{OutputFilter=LATEX.DLL}
%TCIDATA{Created=Wed Sep 29 09:21:02 1999}
%TCIDATA{LastRevised=Wed Sep 29 15:03:39 1999}
%TCIDATA{}
%TCIDATA{}
%TCIDATA{CSTFile=LaTeX article (bright).cst}
\newtheorem{theorem}{Theorem}
\newtheorem{acknowledgement}[theorem]{Acknowledgement}
\newtheorem{algorithm}[theorem]{Algorithm}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{case}[theorem]{Case}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{conclusion}[theorem]{Conclusion}
\newtheorem{condition}[theorem]{Condition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{criterion}[theorem]{Criterion}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{solution}[theorem]{Solution}
\newtheorem{summary}[theorem]{Summary}
\newenvironment{proof}[1][Proof]{\textbf{#1.} }{\ \rule{0.4em}{0.4em}}
%\input{tcilatex}
\usepackage{amsmath}
\usepackage{amssymb}
\pagestyle{empty} \setmarginsrb{1cm}{1cm}{1.5cm}{1cm}{1cm}{1cm}{1cm}{1cm}
%\documentstyle[12pt]{article} \pagestyle{empty} \setlength{\textwidth}{13cm}
%\setlength{\parindent}{0pt} \setlength{\parskip}{.2em}
\baselineskip 2cm
\begin{document}
M\'ethodo Exos6~~~~~~~~~~~~~~~~{\Huge {\bf
Raisonner}} \hfill 25/11/02 ~Deug MIASSM TC\\ %
\vspace{0.2cm}
\begin{enumerate}
\item
On consid\`ere la preuve suivante:
Pour $x \le -1$, on a $\frac{1}{\sqrt {x^2+1}}
\le \frac {\sqrt 2}{2}.$
\vspace{0.2cm}
Pour $x \le -1$, on a $x^2 \ge 1$, donc $x^2+1 \ge 2$, d'o\`u
$ \sqrt {x^2+1} \ge \sqrt 2$. Par cons\'equent, on a bien
$\frac{1}{\sqrt {x^2+1}}
\le \frac {\sqrt 2}{2}$.
a) Formaliser l'\'enonc\'e et expliciter l'objectif initial.
b) D\'ecrire l'objectif apr\`es les introductions naturelles.
c) Expliquer les tactiques utilis\'ees, avec les ressources et les arguments
correspondants.
\item
Dans chacun des textes suivants, formaliser l'\'enonc\'e, reconstituer
les objectifs successifs, identifier les tactiques qui permettent de passer de
l'un \`a l'autre, puis recenser les
ressources utilis\'ees et leurs arguments effectifs.
\vspace{0.1cm}
\begin{enumerate}
\item
Pour tout couple $(z,z')$ de nombres complexes,
$|zz'|=|z||z'|$.
Preuve (Guinin/Joppin). $|zz'|^2=zz' \overline {zz'}= zz' \overline {z}\overline {z'}=
(z \overline {z})(z'\overline {z'})=|z|^2|z'|^2.$
\vspace{0.2cm}
\item
Pour tout r\'eel $a$ strictement positif:
$\ln \sqrt a = \frac {1}{2} \ln a$.
Preuve (Guinin/Joppin). La relation $(\sqrt a)^2= a$ et la propri\'et\'e 6
donnent $2 \ln \sqrt a =\ln a$, d'o\`u la conclusion.
\vspace{0.2cm}
\item
Pour tout r\'eel $a$ strictement positif:
$\ln \frac {1}{a} =-\ln a$.
Preuve(d'apr\`es Guinin/Joppin). Il suffit de prouver
$\ln \frac {1}{a} +\ln a=0$, ou encore, d'apr\`es le th\'eor\`eme 1,
$\ln (\frac {1}{a}. a)=0$, ce qui r\'esulte de $\ln 1=0$.
\vspace{0.2cm}
\item
La fonction $x \mapsto \frac{1}{\sqrt {x^2+4}}$ est born\'ee.
Preuve. Cette fonction est positive donc minor\'ee. Pour montrer qu'elle est major\'ee
par $\frac{1}{2}$, il nous suffit de montrer, pour $x$ quelconque,
$ \sqrt {x^2+4} \ge 2$,
ce qui r\'esulte du fait que tout carr\'e est positif.
\vspace{0.2cm}
\item
Si deux fonctions ont m\^eme sens de variation sur $\rr$,
leur compos\'ee est croissante.
Preuve. Soient par exemple $f$ et $g$ deux fonctions d\'ecroissantes sur $\rr$,
et $x$ et $y$ deux r\'eels avec $x \le y$. Comme $f$ est d\'ecroissante, on
d\'eduit
$f(x) \ge f(y)$, puis $g(f(x))\le g(f(y))$ puisque $g$ est aussi d\'ecroissante,
ce qui prouve que $g\circ f$ est croissante.
\vspace{0.2cm}
\item
Pour $a$ et $b$ complexes, on a $a.b=0
\ssi (a=0 \ou
b=0).$
Preuve (Liret-Martinais). Si par exemple $a=0$, alors nous savons d\'ej\`a que
$a.b=0.b=0.$
Supposons $a.b=0$ et $a \neq 0$. Il vient $b =
1.b=((1/a).a).b=(1/a).(a.b)=(1/a).0=0.$
\vspace{0.2cm}
\item
Si $b$ est non nul,
$|a|
\leq |a+b|
~\et |a|\leq |a-b|$ implique $|a|\leq |b|/2$.
Preuve (Silici).
Par homog\'en\'eit\'e, on peut diviser par $b$. Il faut donc
d\'emontrer\\
$|a|
\leq |a+1| ~
\et ~|a|\leq |a-1| \imp |a|\leq 1/2$.\\
On observe que le signe de $a$ est
indiff\'erent, supposons-le positif. La premi\`ere in\'egalit\'e est inutile
mais la seconde donne le r\'esultat.
\end{enumerate}
\end{enumerate}
%%%%%%%%%%%%%%%%%%%%%
\end{document}
----
i) Enoncer correctement la r\'eponse.
ii) R\'ediger une preuve qui explicite tous les ingr\'edients.
\item{\bf R\'ecurrence:}
Dire (sans langue de bois) ce qu'est une fonction ind\'efiniment d\'erivable.
D\'emontrer que si $P$ est un polyn\^ome, la fonction $P(x)e^{-x^2}$ est
ind\'efiniment d\'erivable et tend vers z\'ero ainsi que toutes ses
d\'eriv\'ees lorsque $x$ tend vers l'infini; on formulera avec le plus grand
soin les \'eventuelles hypoth\`eses de r\'ecurrence.
Dans chacun des textes suivants:\\
\vspace{-0.1cm}
a) reconstituez
l'encha\^{\i}nement des buts (avec leurs contextes) par les
tactiques;\\
\vspace{-0.1cm}
b) recensez les
ressources utilis\'ees et leurs arguments effectifs;\\
\vspace{-0.1cm}
c) donnez une preuve deux fois plus d\'etaill\'ee.
\begin{enumerate}
\item {\Large {\bf Pour $x \le -1$, on a $\frac{1}{\sqrt {x^2+1}}
\le \frac {\sqrt 2}{2}.$}}
\vspace{0.2cm}
Pour $x \le -1$, on a $x^2 \ge 1$, donc $x^2+1 \ge 2$, d'o\`u
$ \sqrt {x^2+1} \ge \sqrt 2$. Par cons\'equent, on a bien
$\frac{1}{\sqrt {x^2+1}}
\le \frac {\sqrt 2}{2}$.