Démonstration BCPST / Ensembles, applications - Dénombrement / Théorème 3 (Cardinal d'un sous-ensemble) Jonathan 6mn23s BCPST / Ensembles, applications - Dénombrement / Théorème 5 (Cardinal d'un complémentaire) Jonathan 2mn15s BCPST / Ensembles, applications - Dénombrement / Théorème 6 (Card(A u B) ) Jonathan 8mn3s BCPST / Ensembles, applications - Dénombrement / Théorème 7 (Card(A u B u C)) Jonathan 5mn15s BCPST / Ensembles, applications - Dénombrement / Théorème 9 (Card(A x B) = Card(A) x Card(B)) Jonathan 10mn18s BCPST / Nombres complexes / Corollaire 2 (Inégalité triangulaire renversée) Jonathan 5mn50s BCPST / Nombres complexes / Proposition 1 (Somme et produit de deux nombres complexes) Jonathan 4mn9s BCPST / Nombres complexes / Proposition 11 (Formules trigonométriques) Jonathan 6mn11s BCPST / Nombres complexes / Proposition 13 (Formules trigonométriques) Jonathan 5mn36s BCPST / Nombres complexes / Proposition 14 (Formules trigonométriques) Jonathan 7mn0s BCPST / Nombres complexes / Proposition 17 (Propriétés remarquables de Sn) Jonathan 5mn16s BCPST / Nombres complexes / Proposition 18 (Somme des racines n-ièmes de l'unité) Jonathan 7mn17s BCPST / Nombres complexes / Proposition 2 (Egalité de deux nombres complexes) Jonathan 5mn17s BCPST / Nombres complexes / Proposition 3 - Partie 1 (Structure de groupe commutatif ) Jonathan 7mn45s BCPST / Nombres complexes / Proposition 3 - Partie 2 (Structure de corps commutatif ) Jonathan 12mn41s BCPST / Nombres complexes / Proposition 5 (Produit nul de deux nombres complexes) Jonathan 2mn46s BCPST / Nombres complexes / Théorème 1 (Conjugué de la somme et du produit ) Jonathan 10mn55s BCPST / Nombres complexes / Théorème 2 (Inégalité triangulaire) Jonathan 9mn22s BCPST / Nombres complexes / Théorème 6 (Egalité de deux nombres complexes) Jonathan 3mn16s BCPST / Nombres complexes / Théorème 8 (Ensemble des racines n-ièmes de l'unité) Jonathan 7mn31s BCPST / Sommes et produits - Polynômes / Théorème 1 (deg(P+Q)) (BCPST) Jonathan 7mn13s BCPST / Sommes et produits - Polynômes / Théorème 5 (P factorisable par X - a) (BCPST) Jonathan 6mn13s Cinquième / Triangles / Les trois médiatrices d'un triangle sont concourantes Jonathan 10mn56s ECS / Ensembles et applications / Proposition 10 (Lois de Morgan) Jonathan 8mn53s ECS / Ensembles et applications / Proposition 11 (Lois de Morgan appliquée à la logique) Jonathan 4mn7s ECS / Ensembles et applications / Proposition 13 (Inclusion d'image directe) Jonathan 4mn36s ECS / Ensembles et applications / Proposition 18 (Propriétés des fonctions indicatrices) Jonathan 12mn10s ECS / Ensembles et applications / Proposition 2 (Propriété du complémentaire) Jonathan 6mn47s ECS / Ensembles et applications / Proposition 6 (Distributivité de l'union et de l'intersection) Jonathan 6mn21s ECS / Ensembles et applications / Proposition 7 (Lois d'absorption) Jonathan 5mn15s ECS / Nombres réels / Proposition 1 (a x 0 = 0) Jonathan 3mn44s ECS / Nombres réels / Proposition 15 (Propriétés de la valeur absolue) Jonathan 7mn3s ECS / Nombres réels / Proposition 16 (Propriétés de la valeur absolue (2)) Jonathan 2mn42s ECS / Nombres réels / Proposition 2 (Intégrité de R) Jonathan 2mn49s ECS / Nombres réels / Proposition 7 (Forme canonique de ax² + bx + c) Jonathan 4mn27s ECS / Nombres réels / Propriété 19 (Somme des carrés des n+1 premiers entiers) Jonathan 8mn9s ECS / Nombres réels / Théorème 5 (Unicité du Max et du Min) Jonathan 3mn14s ECS / Nombres réels / Théorème 7 (Division euclidienne dans N) Jonathan 9mn14s ECS / Suites réelles - Nombres réels / Proposition 3 (Les suites u, u2n et u2n+1) Jonathan 8mn31s ECS / Suites réelles - Nombres réels / Proposition 7 (Limite de suites géométriques) Jonathan 7mn3s MPSI / Ensembles et applications / Proposition 1 (Composition d'applications) Jonathan 6mn19s MPSI / Ensembles et applications / Proposition 1 (composition de fonctions) Jonathan 4mn43s MPSI / Ensembles et applications / Proposition 1 (couples) Jonathan 8mn58s MPSI / Ensembles et applications / Proposition 2 (composition d'applications) Jonathan 5mn26s MPSI / Ensembles et applications / Proposition 2 (g o f injective et g o f surjective) Jonathan 4mn33s MPSI / Ensembles et applications / Proposition 3 (associativité de la composition de relations) Jonathan 10mn7s MPSI / Ensembles et applications / Proposition 3 (condition pour que f-1 soit une application) Jonathan 7mn14s MPSI / Ensembles et applications / Proposition 4 (Réciproque d'une composé de relations) Jonathan 6mn56s MPSI / Ensembles et applications / Proposition 5 (Bijection d'une application) Jonathan 7mn40s MPSI / Nombres complexes / Cardan Jonathan 10mn9s MPSI / Nombres complexes / Cardan (2) Jonathan 4mn21s MPSI / Nombres complexes / Cardan (3) Jonathan 10mn42s MPSI / Nombres réels / Cauchy-Shwarz Jonathan 16mn48s MPSI / Nombres réels / Cauchy-Shwarz (2) Jonathan 13mn47s MPSI / Structures algébriques / Proposition (Tout élément est régulier dans un groupe) Jonathan 2mn33s MPSI / Structures algébriques / Proposition 1 (Caractérisation d'un sous-anneau) Jonathan 5mn35s MPSI / Structures algébriques / Proposition 1 (Conditions pour que H soit un sous-groupe de G) Jonathan 6mn56s MPSI / Structures algébriques / Proposition 1 (Propriétés des morphismes de groupes) Jonathan 4mn17s MPSI / Structures algébriques / Proposition 2 (Intersection de sous-groupes) Jonathan 4mn8s MPSI / Structures algébriques / Proposition 2 (Ker f et Im f sous-groupes) Jonathan 13mn27s MPSI / Structures algébriques / Proposition 2 (Unicité de l'élément neutre) Jonathan 4mn49s MPSI / Structures algébriques / Proposition 3 (Sous-groupe engendré) Jonathan 3mn21s MPSI / Structures algébriques / Proposition 3 (Transfert de la structure de groupe) Jonathan 9mn53s MPSI / Structures algébriques / Proposition 3 (Unicité du symétrique dans un monoïde) Jonathan 5mn33s
