Le plan complexe est muni d’un repère orthonormé direct , l’unité étant le centimètre. Un graphiste place les points d’affixes définies par et, pour tout entier naturel , avec . Il relie , , … dans cet ordre. Écris π au clavier (ou pi) et une fraction avec « / » (exemple : 5π/7).
- 1. avec et et : l’angle de cosinus et de sinus est . Donc .
- 2. Démontrer par récurrence que, pour tout entier naturel , . Contrôle : Rédaction attendue. Notons : « ». Initialisation : , donc est vraie. Hérédité : supposons vraie pour un entier . Alors , car un produit multiplie les modules et ajoute les arguments : est vraie. Conclusion : est vraie pour tout . Pour : .
- 3. Exprimer en fonction de et donner la limite de la suite . Contrôle : cm, car . La suite est géométrique de raison ; comme , elle tend vers : les points s’enroulent vers . .
- 4. Le plus petit entier tel que est . Or et , et la suite est croissante : le plus petit entier est . Avec Python :
def seuil(eps): n = 0 m = 16 while m >= eps: m = m / 2 n = n + 1 return nL’appel seuil(0.01) renvoie ; la boucle s’arrête car les modules tendent vers . - 5. Démontrer que, pour tout , , puis que le triangle est rectangle en . Contrôle : Rédaction attendue. . Or , donc et : . De plus . Alors : d’après la réciproque du théorème de Pythagore, le triangle est rectangle en , le sommet opposé au côté . Pour : , donc .
- 6. Le plus petit entier tel que soit un réel strictement négatif est est un réel strictement négatif si et seulement si ( entier), soit : Après vient , et .