]> AND Private Git Repository - cours-maths-dis.git/blobdiff - partiels/131105S1/controle.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
t
[cours-maths-dis.git] / partiels / 131105S1 / controle.tex
index 057bddb1c091a14bf0486e0a5ec3c596d9bb9dd7..1f6ac44cb0c3a259ecc944b88fded60aefb7cafd 100644 (file)
@@ -63,7 +63,7 @@ suivants:
 \item s'il a moins de 50 ans et mesure plus de 20 m de hauteur;
 \item s'il est tordu. 
 \end{itemize}
 \item s'il a moins de 50 ans et mesure plus de 20 m de hauteur;
 \item s'il est tordu. 
 \end{itemize}
-Pour un arbre quelconque, on définit les variables booléennes suivantes par:
+Pour un arbre quelconque, on définit les variables booléennes suivantes:
 \begin{itemize}
 \item $a=1$ si l'arbre est un résineux;
 \item $b=1$ si l'arbre a moins de 50 ans;
 \begin{itemize}
 \item $a=1$ si l'arbre est un résineux;
 \item $b=1$ si l'arbre a moins de 50 ans;
@@ -114,7 +114,9 @@ $P(A_0) \cup P(B_0)$.
 
 
 Sur $\N^*$ on définit la relation
 
 
 Sur $\N^*$ on définit la relation
-$a \mathcal{R} b$ si   $a^b \leq b ^a$.
+$a \mathcal{R} b$   si et seulement si
+$a^b \leq b ^a$.
+
 \begin{enumerate}
 \item A-t-on $2 \mathcal{R} 3$? $2 \mathcal{R} 7$? $2 \mathcal{R} 4$? $4 \mathcal{R} 2$? Justifier à chaque fois.
 
 \begin{enumerate}
 \item A-t-on $2 \mathcal{R} 3$? $2 \mathcal{R} 7$? $2 \mathcal{R} 4$? $4 \mathcal{R} 2$? Justifier à chaque fois.
 
@@ -122,9 +124,12 @@ $a \mathcal{R} b$ si   $a^b \leq b ^a$.
 
 \item La fonction logarithme népérien $\ln: \R^{+*} \rightarrow \R$ étant 
   croissante, montrer que sur $\N^*$
 
 \item La fonction logarithme népérien $\ln: \R^{+*} \rightarrow \R$ étant 
   croissante, montrer que sur $\N^*$
-  $a \mathcal{R} b$ si   $\dfrac{\ln(a)}{a} \leq \dfrac{\ln(b)}{b}$.
+  $$
+  a \mathcal{R} b \textrm{ si et seulement si }
+  \dfrac{\ln(a)}{a} \leq \dfrac{\ln(b)}{b}.
+  $$
 \item La relation est-elle transitive? Pour justifier votre réponse, on 
 \item La relation est-elle transitive? Pour justifier votre réponse, on 
-  pourra utiliser  la question précédente.
+  pourra utiliser la question précédente.
 \item La relation est-elle antisymétrique? Le justifier.
 \end{enumerate}
 
 \item La relation est-elle antisymétrique? Le justifier.
 \end{enumerate}