« Utilisateur:RM77/DMs » : différence entre les versions

Contenu supprimé Contenu ajouté
→‎Maths, → 11/11/07 : remplacé sottises (encore…) par liens
→‎DM3, Exo 1 : Style + supprimé encore des sottises (toujours du même...) + liens
 
Ligne 1 :
== Maths, → 5/10/7 ==
=== DM3, Exo 1 ===
# Montrer que, pour tous réels <math>(\forall (a,b)</math> tels que <math>ab<1)</math> : <math>\arctan{ a} + \arctan{ b} = \arctan{\left ( \frac{a+b}{1-ab}\right )}</math>.
 
# Montrer que, <math>(\forall (a,b)/ab<1) : \arctan{a} + \arctan{b} = \arctan{\left ( \frac{a+b}{1-ab}\right )}</math>
# Que dire si <math>ab\ge 1</math> ?
Pour cela, on pourra, (mais il y a d'autres méthodes,) s'intéresser, pour <math>a\in\R</math> fixé, à la fonction :
:<math>x\mapsto \arctan{\left (\frac{a+x}{1-ax}\right )} - \arctan{ x}</math>.
 
{{Solution|titre=Solution partielle, réécrite et complétée dans [[Fonctions circulaires réciproques/Exercices/Fonction arctan]]. Pour une méthode plus rapide, voir [[Fonctions circulaires réciproques/Fonction arctan#Somme de deux arctan|le cours correspondant]].|contenu=
==== Solution ====
 
# Soit ''b'' constante réelle.
Ligne 25 ⟶ 24 :
On a alors : <math>\arctan{a} + \arctan{b} - \arctan{\left ( \frac{a+b}{1-ab}\right )} = 0</math> donc <math>\arctan{a} + \arctan{b} = \arctan{\left ( \frac{a+b}{1-ab}\right )}</math>
 
QED
 
# Lorsque ''ab'' = 1, la formule précédente diverge et n'est donc plus vraie. On a en revanche la célèbre égalité :
 
#2. Lorsque ''ab'' = 1, la formule précédente diverge et<math>\frac{a+b}{1-ab}</math> n'est donc plus vraiedéfini. On a en revanche la célèbre égalité :
:<math>\arctan a+ \arctan{\frac1a} = \frac\pi2</math> si ''a'' > 0 et
:<math>\arctan a+ \arctan{\frac1a} = -\frac\pi2</math> si ''a'' < 0.
}}
 
La démonstration se fait par dérivation.
 
Lorsque ''ab'' > 1, la preuve précédente n'ayant pas fait usage de l'hypothèse ''ab'' < 1, elle reste valable.
 
== Maths, → 19/10/07 ==