\documentclass[10pt]{article}


 \usepackage{ifthen}

  \usepackage[utf8]{inputenc}
% \usepackage{fourier}
\usepackage[T1]{fontenc}
  \usepackage[svgnames]{xcolor}

  \usepackage{geometry}
  \geometry{a4paper,hmargin=2cm,vmargin=2cm}

  \setlength{\parindent}{0pt}

  \usepackage{graphicx}
  \usepackage{ifpdf}
   \ifpdf
     \DeclareGraphicsRule{*}{mps}{*}{}
   \fi

 \usepackage{emp} % Le package pour mettre du metapost dans le fichier tex

  \usepackage{multicol}
  \setlength{\multicolsep}{12pt}
  \setlength{\columnsep}{40pt}
  \setlength{\columnseprule}{0.5pt}

  \usepackage{enumitem}
 % \setenumerate{align=left,leftmargin=*,noitemsep}
\setenumerate{align=left,leftmargin=*}
  \setenumerate[2]{label=\alph*),widest=a,ref=\theenumi.\alph*}
  \setitemize{nolistsep}

  \usepackage{amsmath,mathrsfs}
  \usepackage[np]{numprint}

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

  \usepackage[official,right]{eurosym}
  \usepackage[frenchb]{babel}
  \frenchbsetup{CompactItemize=false}
  \DecimalMathComma

\newcounter{exercice}
\newcounter{refex}
\renewcommand{\therefex}{\arabic{exercice}}
\newcounter{partie}[exercice]
\newcounter{refpart}
\renewcommand{\thepartie}{\Alph{partie}}
\renewcommand{\therefpart}{\Alph{partie}}

\makeatletter
\newenvironment{exercice}[1][]{%
		     \stepcounter{exercice}
		     \refstepcounter{refex}
		     \vspace{0.5em}
		     \par
                     \def\@svsechd{\large \color{white} \colorbox{purple}{\bfseries\arabic{exercice}}}%
                     \@xsect{-1em}%
                     \ifthenelse{\equal{#1}{}}{}{\textbf{#1}\par}%
                     }{\par\vspace{0.5em}}
\makeatother

\newenvironment{partie}[1][]{%
                     \stepcounter{partie}
                     \refstepcounter{refpart}
		      \par \vspace{0.5ex}\noindent
		     \textbf{Partie \thepartie \ifthenelse{\equal{#1}{}}{}{\quad -\quad#1}%
		     }\nopagebreak\par%
                     }{\par\vspace{1em}}



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

%%%%%%%%%%% Intervalles %%%%%%%%%%%%
\newcommand{\intervalleOO}[2]{\left]{#1}\,{;}\,{#2}\right[}
\newcommand{\intervalleOF}[2]{\left]{#1}\,{;}\,{#2}\right]}
\newcommand{\intervalleFO}[2]{\left[{#1}\,{;}\,{#2}\right[}
\newcommand{\intervalleFF}[2]{\left[{#1}\,{;}\,{#2}\right]}

\newcommand{\couple}[2]{\left(#1\,{;}\,{#2}\right)}


\newcommand{\calc}{\mathscr{C}}
\newcommand{\cald}{\mathscr{D}}
\newcommand{\calt}{\mathscr{T}}
%%%%%%%%%%%% Vecteurs %%%%%%%%%%%%%%%
\usepackage[e]{esvect}
\newcommand{\vect}[1]{\vv{#1}}
\newcommand{\repere}[3]{\left(#1\,{;}\,\vect{#2}{,}\,\vect{#3} \right)}
\newcommand{\oij}{\repere{O}{\imath}{\jmath}}
\newcommand{\ouv}{\repere{O}{u}{v}}
\newcommand{\barre}[1]{\overline{#1\rule{0.1em}{0ex}}}

%%%%%%%%%%%% Coordonnées %%%%%%%%%%%%%%%
\newcommand{\cp}[2]{%
        \begin{pmatrix}
        #1\\
        #2
        \end{pmatrix}%
        }

%%%%%%%%%%%% Systèmes %%%%%%%%%%%%%%%
\newcommand{\sysd}[2]{%
       \left\{
       \begin{aligned}
          #1\\
          #2\\
       \end{aligned}
       \right.%
       }

\newcommand{\syst}[3]{%
       \left\{
       \begin{aligned}
          #1\\
          #2\\
	  #3
       \end{aligned}
       \right.%
       }

\newcommand{\sysq}[4]{%
       \left\{
       \begin{aligned}
          #1\\
          #2\\
	  #3
       \end{aligned}
       \right.%
       }




%%%%%%%%%%%% Divers %%%%%%%%%%%%%%%
\DeclareMathOperator{\card}{Card}


% perso nico

\newcommand{\orth}{\bot} % Pour faire le symbole perpendiculaire
\newcommand{\cm}{\,\mathrm{cm}} 
\newcommand{\pI}{{\ensuremath{+\infty}}} 
\newcommand{\mI}{{\ensuremath{-\infty}}} 

\newcommand{\cala}{\mathscr{A}}
\newcommand{\calb}{\mathscr{B}}
\newcommand{\calp}{\mathscr{P}}
\newcommand{\cale}{\mathscr{E}}
\newcommand{\calf}{\mathscr{F}}
\newcommand{\cals}{\mathscr{S}}
\newcommand{\calh}{\mathscr{H}}


%%%%%%%%%%% Limites %%%%%%%%%%%%olivier
\newcommand{\limn}{\ds\lim_{n\rightarrow +\infty}}
\newcommand{\limo}[1][x]{\ds\lim_{#1\rightarrow 0}}
%\newcommand{\limite}[2][x]{\ds\lim_{#1\rightarrow #2}}  % voir avec olivier
\newcommand{\limpinf}[1][x]{\ds\lim_{#1\rightarrow +\infty}}
\newcommand{\limminf}[1][x]{\ds\lim_{#1\rightarrow -\infty}}
\newcommand{\limiteg}[2][x]{\ds\lim_{x\xrightarrow{<}#2}}
\newcommand{\limited}[2][x]{\ds\lim_{x\xrightarrow{>}#2}}


% pour écrire des limites
\newcommand{\limite}[2]{\displaystyle\lim_{#1\rightarrow #2}}

\newcommand{\ssi}{\Longleftrightarrow} % Pour faire le symbole equivalent
\newcommand{\implique}{\Longrightarrow} % Pour faire le symbole implique

\usepackage{enumitem}
%\usepackage{xypic}

  \usepackage{amsmath}
  \usepackage{amssymb}
  \usepackage{amsfonts}
  \usepackage{mathrsfs}
%  \usepackage{shortlst}


\usepackage{pstricks,pst-plot,pst-text,pst-tree,pst-eps,pst-fill,pst-node,pst-math}
\usepackage{pstricks,pst-plot,pst-3dplot,pstricks-add}
\newtheorem{remarque}{Remarque}
\newtheorem{remarque*}{Remarque}
\newtheorem{theorem*}{Théorème}
\newtheorem{definition*}{Définition}


% --------------------------------------------------------------------------------------------------

%devoir surveillé personalisé
% #1 titre principal, #2 titre milieu haut en petit, #3 titre haut
% gauche, #4 titre haut droit 
\newcommand{\devpers}[4]{
                         %\pagestyle{empty} 
                         \noindent 
                         \begin{minipage}[t]{\linewidth}
                         \textit{#3 } \hfill \textit{ #2} \hfill \textit{#4}
                         \end{minipage}
                         \begin{center}{{\Large\bf #1 }} \end{center} 
                         \vspace{-0.3cm}
                         \rule{\linewidth}{0.5mm} 
                         }




\newenvironment{exnormal}[1]{
                             \addtocounter{exercice}{1}
                             \vspace{1em} \par \noindent
                              {\bf Exercice \arabic{exercice}{\bf #1 } :}
                            }{\vspace{0.25em}}

\newcommand{\ds}{\displaystyle}

\newenvironment{exodev}[2]{
                             \addtocounter{exercice}{1}
                             \vspace{0.5em} \par \noindent
                              {\subsubsection*{Exercice \arabic{exercice}~:{~\bf #2 } }}
                            }{\vspace{0.05em}%\hrule
			    }
%\newcommand{\exo}[1]{\begin{exnormal}{}}
%\newcommand{\finexo}{\end{exnormal}}

%\newcommand{\exo}[1]{\begin{exodev}{}}
%\newcommand{\finexo}{\end{exodev}}
\newcommand{\E}{\text{e}}
\renewcommand{\i}{\text{i}}
% pour faire le conjugué
\newcommand{\conj}[1]{\overline{\rule{0em}{1.5ex}#1\rule{0em}{1.5ex}} }
\usepackage{tabularx}


\usepackage{manfnt}   % pour utiliser des symboles comme danger etc ...
%\reversemarginpar  % pour faire apparaitre le symbole danger à gauche
\newcommand{\danger}{\marginpar[\Large \hfill\dbend]{\LARGE \dbend\hfill}}
%%%%%%%%%%%%%%%%%%%%%%%ù
% pour faire un cours 

\usepackage{amsmath,mathrsfs}
  \usepackage[np]{numprint}

\newcommand{\titrecours}[3]{
                           {\bf
                           {\Large
                           {\noindent Math\'{e}matiques-#2
                            \hfill Ann\'ee scolaire  $\mathbf{#3}$  
                            \noindent\rule{\linewidth}{0.5mm} 
                            \vspace{-1cm}
                            \begin{center}
	                    {\LARGE{#1}}
                            \end{center}
                           }
                           }
                           }
                           \vspace{-.4cm}
                           \noindent \rule{\linewidth}{0.5mm}
                           }          

% les definitions, remarques, theoremes .....

\newtheorem{theoreme}{Th\'eor\`eme}
%\newtheorem*{theoreme*}{Th\'eor\`eme}
\newtheorem{axiome}{Axiome}
%\newtheorem*{axiome*}{Axiome}
\newtheorem{definitiontheoreme}[theoreme]{D\'efinition et Th\'eor\`eme}
\newtheorem{notation}[theoreme]{Notation}
%\newtheorem*{notation*}{Notation}
\newtheorem{proposition}[theoreme]{Proposition}
\newtheorem{corollaire}[theoreme]{Corollaire}
\newtheorem{lemme}[theoreme]{Lemme}
%\theoremstyle{definition}
\newtheorem{propriete}[theoreme]{Propri\'et\'e}
%\newtheorem*{propriete*}{Propri\'et\'e}
\newtheorem{exemple}[theoreme]{\underline {Exemple}} 
%\newtheorem*{exemple*}{\underline {Exemple}} 
\newtheorem{question}{\underline {Question}}
%\newtheorem*{question*}{\underline {Question}}
\newtheorem{definition}[theoreme]{D\'efinition} 
%\newtheorem*{definition*}{D\'efinition} 
\newtheorem{consequence}[theoreme]{Cons\'equence} 
%\newtheorem*{consequence*}{Cons\'equence} 
%\theoremstyle{remark}
%\newtheorem{remarque}[theoreme]{Remarque}
%\newtheorem*{remarque*}{Remarque}
%Pour remetre à jour les commentaire voir le livre de modalidades ou c'est fait comme il faut.



% pour faire des compositions de limites
\newcommand{\composition}[4]{\ensuremath{\renewcommand{\arraystretch}{2}
\left.\begin{array}{l} 
#1 \\
#2 \\
#3 
\end{array} \right\} \implique #4}
\renewcommand{\arraystretch}{1}
}

%demonstration, preuves...
\newenvironment{preuve}{\vskip 2mm\noindent {\it Preuve : }}{\flushright $\Box$ \vskip 2mm}
\newenvironment{dem}{\vskip 2mm\noindent {\it D\'emonstration :}}{\par}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%fin de pour faire un cours


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%% Algorithmes %%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{xcolor}
\colorlet{LFBcoultable1}{blue!25!black!20}

\usepackage[french,ruled,lined,linesnumbered,inoutnumbered]{algorithm2e}

\SetKwInput{Lire}{Lire}
\SetKwInput{Afficher}{Afficher}

\SetKwFor{VarAlgo}{Variables}{}{finVariables}
\newcommand{\Variables}[1]{\SetAlgoVlined%
                           \VarAlgo{}{#1}
                           \SetAlgoLined}

\SetKwFor{EntrAlgo}{Entrées}{}{fin}
\newcommand{\Entrees}[1]{\SetAlgoVlined%
                           \EntrAlgo{}{#1}
                           \SetAlgoLined}

\SetKwFor{TraitAlgo}{Traitement}{}{fin}
\newcommand{\Traitement}[1]{\SetAlgoVlined%
                           \TraitAlgo{}{#1}
                           \SetAlgoLined}

\SetKwFor{SortAlgo}{Sorties}{}{fin}
\newcommand{\Sorties}[1]{\SetAlgoVlined%
                           \SortAlgo{}{#1}
                           \SetAlgoLined}
\makeatletter
\newsavebox{\LFB@lgo}
\newenvironment{algoLFB}[2][0.5]% % 2 parametres : 1-facultatif largeur en proportion 2-titre de l'algo
               {\setlength{\fboxsep}{0pt}\begin{lrbox}{\LFB@lgo}
               \small\begin{minipage}{#1\linewidth}%
                \begin{algorithm}[H]%
                \caption{#2}}%
               {\end{algorithm}%
                \end{minipage}%
                \end{lrbox}%
                \begin{center}
                \fcolorbox{black}{LFBcoultable1}{\usebox{\LFB@lgo}}
%                \fcolorbox{LFBcoultable2}{LFBcoultable1}{\usebox{\LFB@lgo}}
                \end{center}}
\makeatother
\newcommand{\recoit}{\ensuremath{\leftarrow}}

%%%%%%%%%%%%%%%%%%%%%% pour inserer des bouts de code
%% voir http://www.latex-howto.be/files/LaTeX-HowTo-ch9.pdf
\usepackage{listings} 
\lstset{linewidth =12cm , xleftmargin =2cm ,aboveskip =5mm ,belowskip =1 cm , frame=tblr ,rulesep=1mm,framesep =5mm,framerule =2pt, xrightmargin =5mm ,xleftmargin =5mm ,
rulecolor ={\color[gray]{0.6}} , rulesepcolor ={\color[gray]{0.9}}, backgroundcolor={\color[gray]{0.9}},  basicstyle =\rm\footnotesize}
%%%%%%%%%%%%%%%%%



%inserer une figure à droite du texte 
  %\begin{textfig}{largeur en %}{echelle}figure}
\usepackage{calc}
\newsavebox{\maboite}
\newenvironment{textfig}[3]%
{\savebox{\maboite}{\begin{minipage}{\linewidth-#1\linewidth}
\begin{center}
\includegraphics[scale=#2]{#3}
\end{center}
\end{minipage}}
\begin{minipage}{#1\linewidth}}%
{\end{minipage} \usebox{\maboite}}




\newcommand{\exo}[1]{\begin{exercice}}
\newcommand{\finexo}{\end{exercice}}


\begin{document}
\pagestyle{empty}
% \begin{empfile} % Tout doit être inclus dans cet environnement
%                 % qui a un paramètre facultatif : le nom du fichier .mp
%                 % par défaut, c'est le nom du fichier .tex (plus simple)
% 
% \begin{empcmds} % le préambule du fichier .mp
% input latexmp;
% input repere;
% \end{empcmds}


\devpers{Devoir Mathématiques $N^o$ 5 (1h)}{}{Le 17 janvier 2013}{Spécialité}


\begin{exercice}

\begin{enumerate}
\item On considère l'équation (E): $11x-7y = 5$, où $x$ et $y$ sont des entiers relatifs.
\begin{enumerate}
\item Justifier, en énonçant un théorème, qu'il existe un couple d'entiers relatifs $(u~;~v)$ tels que $11u - 7v = 1$. Trouver un tel couple.
\item En déduire une solution particulière de l'équation (E).
\item Résoudre l'équation (E).
\item Dans le plan rapporté à un repère orthonormé $\oij$, on considère la droite $D$ d'équation cartésienne $11x -7y - 5 = 0$. On note $\mathcal{C}$ l'ensemble des points $M(x~;~y)$ du plan tels que $0\leqslant x\leqslant 50$ et $0\leqslant y\leqslant 50$.

Déterminer le nombre de points de la droite $D$ appartenant à l'ensemble $\mathcal{C}$ et dont les coordonnées sont des nombres entiers.
\end{enumerate}
\item On considère l'équation (F) : $11x^2-7y^2=5$, où $x$ et $y$ sont des entiers relatifs.
\begin{enumerate}
\item Démontrer que si le couple $(x~;~y)$ est solution de (F), alors $x^2\equiv 2y^2$~(mod~5).
\item Soient $x$ et $y$ des entiers relatifs. Recopier et compléter les deux tableaux suivants:

\begin{center}
\renewcommand\arraystretch{1.25}
\begin{tabular}{|c|c|c|c|c|c|}
\hline
Modulo 5, $x$ est congru à & 0&1&2&3&4\\
\hline
Modulo 5, $x^2$ est congru à &&&&&\\
\hline
\end{tabular}
\end{center}

\begin{center}
\renewcommand\arraystretch{1.25}
\begin{tabular}{|c|c|c|c|c|c|}
\hline
Modulo 5, $y$ est congru à & 0&1&2&3&4\\
\hline
Modulo 5, $2y^2$ est congru à &&&&&\\
\hline
\end{tabular}
\end{center}
Quelles sont les valeurs possibles du reste de la division euclidienne de $x^2$ et de $2y^2$ par 5~?
\item En déduire que si le couple $(x~;~y)$ est solution de (F), alors $x$ et $y$ sont des multiples de 5.
\end{enumerate}
\item Démontrer que si $x$ et $y$ sont des multiples de 5, alors le couple $(x~;~y)$ n'est pas solution de (F). Que peut-on en déduire pour l'équation (F)~?
\end{enumerate}
\end{exercice}


\begin{exercice}
\emph{Pour chacune des propositions suivantes, indiquer si elle est vraie ou fausse et donner une justification de la réponse choisie. Une réponse non justifiée ne rapporte aucun point. Toutefois, toute trace de recherche, même incomplète, ou d'initiative, même non fructueuse, sera prise en compte dans l'évaluation.}

\medskip

\begin{itemize}
\item[$\bullet~~$] \textbf{Proposition 1 :} \og Le reste de la division euclidienne de $\np{2011}^{\np{2011}}$ par 7 est 2 \fg.

\medskip
 
\item[$\bullet~~$] Soit $a$ et $b$ deux nombres entiers relatifs non nuls.
 
\textbf{Proposition 2 :} \og S'il existe un couple de nombres entiers relatifs $(u,~ v)$ tel que $ua + vb = 3$, alors PGCD$(a,~b) = 3$ \fg. 

\medskip

\item[$\bullet~~$] Soit $n$ un entier naturel supérieur ou égal à $5$.
 
\textbf{Proposition 3 :}  \og L'entier $n^2 - 3n - 10$ n'est jamais un nombre premier \fg.
 

\end{itemize}
\end{exercice}


%\end{empfile}
\end{document}


