Introduction Lorsque nous avons introduit l'exponentielle circulaire, les fonctions trigonométriques cosinus et sinus ont été définies comme sa partie réelle et sa partie imaginaire. Nous en avons alors tiré les expressions
Introduction Dans Angles de vecteurs : intuition géométrique et définition algébrique, nous avons défini et décrit le groupe des angles de vecteurs du plan euclidien de manière algébrique, en utilisant une relation
Les angles de vecteurs sont les angles orientés habituels de la géométrie euclidienne plane. Grâce aux ressources de la théorie naïve des ensembles, on les définit de manière purement algébrique
Les rotations vectorielle du plan (c'est-à-dire centrées en l'origine), se dérivent de manière analytique (par coordonnées) comme applications linéaires de déterminant \(1\), ce qui permet de les caractériser intégralement et
A partir de la fonction exponentielle complexe, on peut définir une fonction "exponentielle circulaire", qui "enroule" la droite réelle sur le cercle trigonométrique, et permet de définir rigoureusement les fonctions
Certaines fonctions indéfiniment dérivables peuvent être décrites "autour de chaque point" comme la somme d'une série dite "entière". Il s'agit des fonctions analytiques, réelles ou complexes, dont l'exemple typique est
Les nombres entiers naturels premiers sont sont ceux qui n'ont pas d'autres diviseurs que 1 et eux-mêmes. Ils existent en nombre infini par le théorème d'Euclide, qui n'est pas
Les relations entre les propriétés de monotonie, continuité et dérivation d'une fonction d'une variable réelle, permettent de dériver formellement la bijection inverse d'une fonction injective et dérivable. L'exemple le
https://www.youtube.com/watch?v=pHjrx2G9AoU&feature=youtu.be L'intuition des nombres rationnels Les nombres rationnels, c'est-à-dire "fractionnaires", comme \(-\frac 1 2, \frac{27}{4}, \frac{312}{-6783},\ldots\), forment un ensemble intuitif qu'on note \(\mathbb Q\). C'est une extension de l'ensemble \(\mathbb Z\)