تمارين - 1BACSEF

الأولى باكالوريا العلوم التجريبية – خيار فرنسي


درس : Notions en logique

Exercice 12 (Devoir)

  1. Ecrire les phrases suivantes à l’aide des quantificateurs
  • “il existe au moins un entier naturel mm tel que pour tout xx de R\R on a m2+1=xm^2+1 =x
  • “Pour tout réel xx, il existe un unique entier relatif pp tel que pxp+1p\le x\le p+1
  • f:RRf:\R\to\R ne s’annule pas dans R\R
  1. Montrer que la proposition

    "xR   :   x2x1""\forall x \in \R^* ~~~:~~~ x^2-x\ge 1"

    est fausse

  2. Résoudre dans R\R l’equation :

    x2x31=0x^2-|x-3|-1=0
    • Developper (x2)2(\sqrt{x}-2)^2
    • Montrer que : xR+ : x4    x1x2\forall x\in\R^+ ~:~x\ne4 \implies \sqrt{x}-1\ne \frac{x}{2}
  3. Soient xx et yy deux nombres réels, montrer que :

    x+yc    2xc ou 2ycx+y\ge c\implies 2x\ge c~ou~2y\ge c
  4. Soit xRx\in\R, Démontrer que

2<x<4    13<1x1<12<x<4 \iff \frac{1}{3}<\frac{1}{x-1}<1
  1. En utilisant le raisonnement par absurde. Montrer que
(nN) ; n+1n+21(\forall n\in\N) ~;~\frac{n+1}{n+2}\ne1
  1. Montrer que (nN) ; 4n1(\forall n\in\N^*)~;~4^n-1 est un multiple de 3
  2. Montrer que :
    (nN) :  1+3+32+33+...+3n=3n+112\left(\forall n\in\N\right)~:~~1+3+3^2+3^3+...+3^n=\frac{3^{n+1}-1}{2}
---
  • (mR) (xR) : m2+1=x(\exists m\in\R)~(\forall x\in\R)~:~m^2+1= x
  • (xR) (!pZ) : pxp+1(\forall x\in\R)~(\exists!p\in\Z)~:~p\le x\le p+1
  • (xR) : f(x)0(\forall x\in\R)~:~f(x)\ne0

Autre réponse :

  • (xR) : f(x)>0 ou f(x)<0(\forall x\in\R)~:~f(x)>0 \text{ ou } f(x)<0
  1. Par exemple pour x=1x=1 on a 1R1\in\R^* mais 121=01^2-1=0 n’est pas supérieur ou égal à 1
  2. Résoudre dans R\R l’equation : x2x31=0x^2-|x-3|-1=0
  • Si x3x\ge3, alors : x3=x3|x-3|=x-3

    Donc l’équation devient :

    x2(x3)1=0x^2-(x-3)-1=0
    x2x+2=0x^2-x+2=0
    Δ=b24ac=7<0\Delta=b^2-4ac=-7<0

    Donc l’équation n’a pas de solution dans R\R

  • Si x3x\le3, alors : x3=x+3|x-3|=-x+3

    Donc l’équation devient :

    x2+(x3)1=0x^2+(x-3)-1=0
    x2+x4=0x^2+x-4=0
    Δ=b24ac=17>0\Delta=b^2-4ac=17>0

    Donc l’équation admet deux solutions distincts :

    x1=b+Δ2a et x2=bΔ2ax_1=\dfrac{-b+\sqrt\Delta}{2a}\text{ et }x_2=\dfrac{-b-\sqrt\Delta}{2a}
    x1=1+172 et x2=1172x_1=\dfrac{-1+\sqrt{17}}{2}\text{ et }x_2=\dfrac{-1-\sqrt{17}}{2}

    et donc l’ensemble des solutions de l’équation est

    S={1172 ; 1+172}S=\left\{\dfrac{-1-\sqrt{17}}{2}\text{ ; }\dfrac{-1+\sqrt{17}}{2}\right\}
  • (x2)2=x4x+4(\sqrt{x}-2)^2=x-4\sqrt x+4
  • Soit xR+x\in\R^+
x1=x4    4x4=x    x4x+4=0    (x2)2=0    x2=0    x=2    x=4\begin{align*} \sqrt{x}-1= \frac{x}{4} & \implies 4\sqrt{x}-4= x \\ & \implies x-4\sqrt{x}+4=0 \\ & \implies (\sqrt{x}-2)^2=0 \\ & \implies \sqrt{x}-2=0\\ & \implies \sqrt{x}=2\\ &\implies x=4 \end{align*}
Notons : p :"x+yc"et : q :"2xc ou 2yc"\begin{align*} \text{Notons : } & p~:"x+y\ge c" \\ \text{et : } & q~:"2x\ge c \text{ ou } 2y\ge c" \end{align*}

Raisonnement par contraposé

Pour montrer que p    qp\implies q

on montre que : qˉ    pˉ\bar{q}\implies \bar{p}

qˉ    2x<c et 2y<c    2x+2y<c+c    2(x+y)<2c    x+y<c    pˉ\begin{align*} \bar{q}&\implies 2x<c \text{ et } 2y<c \\ &\implies 2x+2y<c+c \\ &\implies 2(x+y)<2c \\ &\implies x+y<c \\ &\implies \bar{p} \end{align*}
2<x<4    1<x1<3    13<1x1<1\begin{align*} \color{myred} 2<x<4 &\color{myred}\iff 1<x-1<3 \\ &\color{myred}\iff \frac13<\frac1{x-1}<1 \end{align*}
  1. Suppposons que : nN : n+1n+2=1\exists n\in\N~:~\frac{n+1}{n+2}=1

    Donc n+1=n+2n+1=n+2

    alors 1=21=2 absurde

    D’où (nN) ; n+1n+21(\forall n\in\N) ~;~\frac{n+1}{n+2}\ne1

  2. L’initialisation : Pour n=1n=1 on a : 411=34^1-1=3 est un multiple de 3

    Donc la proposition est vraie pour n=1n=1

    L’hérédité : Soit nNn\in\N, supposons que : 4n14^n-1 est un multiple de 3

    et montrons que : 4n+114^{n+1}-1 est un multiple de 3

    On a : 4n14^n-1 est un multiple de 3 donc :

    kN : 4n1=3k\exists k\in\N~:~4^n-1=3k
    4n1=3k    4.4n4=4.3k    4n+1=4.3k+1    4n+11=4.3k+41    4n+11=3.(4k+1)\begin{align*} 4^n-1=3k &\implies 4.4^n-4=4.3k \\ &\implies 4^{n+1}=4.3k+1 \\ &\implies 4^{n+1}-1=4.3k+4-1 \\ &\implies 4^{n+1}-1=3.(4k+1) \end{align*}

    Donc 4n+114^{n+1}-1 est un multiple de 3

    Conclusion : D’aprés le principe de récurrence :

    (nN) ; 4n1est un multiple de 3(\forall n\in\N^*)~;~4^n-1 \text{est un multiple de 3}
  3. Initialisation : pour n=0n=0 on a :

    10=1 et 30+112=22=11^0=1\text{ et } \dfrac{3^{0+1}-1}{2}=\dfrac22=1

    Donc :

    10=30+1121^0=\dfrac{3^{0+1}-1}{2}

    Héridité : Soit nNn\in\N, supposons que :

    1+3+32+33+...+3n=3n+1121+3+3^2+3^3+...+3^n=\dfrac{3^{n+1}-1}{2}

    et montrons que

    1+3+32+33+...+3n+1=3n+2121+3+3^2+3^3+...+3^{n+1}=\dfrac{3^{n+2}-1}{2}

    on a

    1+3+32+...+3n+1=1+3+32+...+3n+3n+1=3n+112+3n+1=3n+11+2.3n+12=3n+1(1+2)12=3n+212\begin{align*} \hspace*{-1cm}1+3+3^2+...+3^{n+1}&=1+3+3^2+...+3^n+3^{n+1} \\ &=\dfrac{3^{n+1}-1}{2}+3^{n+1} \\ &=\dfrac{3^{n+1}-1+2.3^{n+1}}{2} \\ &=\dfrac{3^{n+1}(1+2)-1}{2} \\ &=\dfrac{3^{n+2}-1}{2} \end{align*}

    Conclusion : d’aprés le principe du récurrence :

    (nN) :  1+3+32+33+...+3n=3n+112\left(\forall n\in\N\right)~:~~1+3+3^2+3^3+...+3^n=\dfrac{3^{n+1}-1}{2}