Connectez-vous pour filtrer par séance de cours Connectez-vous pour filtrer par séance de cours Réinitialiser
Explore le théorème du cosinus en triangles, en analysant les relations latérales et les angles.
Explore les opérations élémentaires en géométrie, y compris l'addition, la soustraction, la multiplication et la division des segments et des angles.
Introduit l'orthogonalité entre les vecteurs, les angles et les propriétés du complément orthogonal dans les espaces vectoriels.
Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.
Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Introduit le théorème de Pythagore, expliquant sa signification géométrique et ses applications dans le calcul des zones.
