Programme de mathématiques BCPST, première année · semestre 1
Outils 1 – Logique, ensembles et raisonnemment
Rechercher dans cette partie du programmeTexte officiel du programme
Les notions présentées ci-dessous, introduites dès la classe de Seconde, sont reprises comme outils pour l’algorithmique et les probabilités et doivent faire l’objet d’un développement très modeste sans abstraction excessive. Les exemples illustrant ces notions seront une première occasion d’introduire des situations probabilistes.
Ces notions ne pourront constituer le thème principal d’aucune question d’écrit ou d’oral.
exo7 2971
Soit \(E\) un ensemble fini muni d’une opération interne \(*\) assoc ...
exo7 2974
Soit \(E\) un ensemble et \(G = {\cal P}(E)\).
exo7 2986
Soit \(G\) un groupe n’ayant pas de sous-groupe non trivial. Montrer que \(G\) es ...
exo7 2994
Soit \(G\) un groupe fini et \(H\) un sous-groupe de ...
exo7 2995
Soient \(H,K\) deux sous-groupes d’un groupe \(G\). Pour ...
exo7 3005
Soit \(E\) un ensemble fini et \(A = {\cal P}(E)\).
exo7 3055
Soit \(n \in \N^*\). Montrer qu’il existe \(p \in \N\) et ...
exo7 3060
Soit \(f : {\N} \to {\N}\) telle que : ...
exo7 3147
Soit \(x\in\Q\), \(0<x<1\). On définit une suite ...
exo7 451
Démontrer que si \(r \in \Q\) et \(x \notin \Q\) alors ...
exo7 461
Montrer que \(\frac{\ln 3}{\ln 2}\) est irrationnel.
exo7 470
Étant donné un ensemble \(A \subset\mathbb{R}\), écrire avec des quantificateurs les propriétés suivantes :
exo7 487
Démontrer par récurrence sur \(n\) que pour tout \(n\geq 2\) l’implication ...
exo7 5103
Exprimer à l’aide de quantificateurs les phrases suivantes puis donner leur négation.
exo7 5104
Donner la négation des phrases suivantes
exo7 5105
Les phrases suivantes sont-elles équivalentes ?
exo7 5108
Montrer par récurrence que, pour tout \(n\in\Nn^*\), ...
exo7 5109
Montrer par récurrence que, pour tout naturel non nul \(n\), ...
exo7 5113
Soient \((A_i)_{i\in I}\) une famille de parties d’un ensemble \(E\) indéxée par ...
exo7 5117
Montrer qu’il existe une injection de \(E\) dans \(\mathcal{P}(E)\).
exo7 5209
Montrer que les nombres suivants sont irrationnels.
exo7 5241
Montrer que, pour \(n\geq2\),
...
exo7 5289
On donne \(n\) droites du plan. On suppose qu’il n’en existe pas deux qui soient parallèles, ni trois qui soient c ...
exo7 5302
Soit \((u_n)_{n\in\Nn}\) la suite définie par \(u_0=0\), ...
exo7 560
On considère la suite réelle définie par : \[x_0=1 \quad\mbox{et} \quad x_{n+1}= \sqrt{2x_n+1}.\]
exo7 5985
Si \(30\) personnes sont présentes à un réveillon et si, à minuit, chaque personne fait ...
exo7 7011
Montrer \(\forall n \in \N,\: \sum_{k=0}^n k^3=\frac{n^2(n+1)^2}{4}\).
exo7 7012
Montrer que pour tout entier \(n\) positif, l’entier \(10^n - (-1)^n\) est divisi ...
exo7 7013
Soit \((u_n)_{n\in\N}\) la suite de nombres réels définie par \(u_0=0\) et pour t ...
exo7 7016
Soit \((u_n)_{n\in\N}\) la suite de nombres réels définie par \(u_0=1\), ...
exo7 7017
Montrer que pour tout \(n\in \N\), la somme des \(n\) premiers entiers positifs i ...
exo7 7018
Montrer : \(\forall u\in \R, \forall n\in \N, |\sin(nu)|\leq n|\sin(u)|\).
exo7 7019
Soit \(a \in \R_+\). Montrer ...
exo7 7020
Soit \(a\in]0,\pi/2[\), et définissons une suite réelle par \(u_0=2\cos(a)\) et p ...
exo7 7021
Définissons une suite par \(u_0=1\) et pour tout \(n \in\N\), ...
exo7 7023
Soit \(A\) une partie de \(\N^*\) contenant ...
exo7 7024
Démontrer que tout entier \(n\geq 1\) peut s’écrire comme somme de puissances de deux distinctes.
exo7 7025
Démontrer que tout entier \(n\geq 1\) peut s’écrire de façon unique sous la forme ...
exo7 7035
Montrer que pour tout \(n>1\) on a l’inégalité ...
exo7 7036
Montrer que pour tout entier \(N\geq 2\), ...
exo7 7037
Montrer que pour tous \(a,b > 0\) distincts et tout \(n >1\), on a l’inégal ...
exo7 7038
Parmi les énoncés suivants, lesquels permettent d’en déduire que \(P_n\) est vraie pour tout ...
exo7 7040
On définit une suite \((C_n)_{n\in\N}\) par \(C_0=1\) et pour tout naturel ...
exo7 7041
Soit \(x\) un réel tel que \(x+\frac{1}{x}\) soit entier. Montrer que pour tout ...
exo7 7043
Soit \((u_n)_{n\in\N}\) la suite réelle définie par \(u_0=1\) et pour tout ...
exo7 7044
Soit \(n\in \N^*\). On trace \(n\) cercles dans le plan. Montrer que l’on peut co ...
exo7 7046
Déterminer les valeurs de \(n\) pour lesquelles le nombre ...
exo7 7186
Soit \(E\) un ensemble et \(\mathcal O\) une partie de ...
exo7 7187
Dans l’ensemble \(\R\), il existe une notion de partie bornée : c’est une partie qui est incluse dans un ...
exo7 7188
Soit \(E\) un ensemble et \(\mathcal A\) une partie de ...