Bonsoir
En l'absence confirmée de liste officielle des démonstrations qui pourraient être demandées au bac S de maths (dans le cadre des ROCs), je propose que soit créée une liste "officieuse" par des élèves ou des profs de TS.
Me concernant, j'ai :
définitions :
lim L en plus l'infini
lim plus inf en plus inf
f dérivable en a
f continue en a
suite majorée, non majorée
théorèmes :
TVI
f dérivable => f continue
théorèmes de convergence monotone (suite croissante non majorée, suite croissante majorée)
TFA
démonstrations :
unicité de la sol de y'=y et f(0)=1
résolution de y'=ay, unicité
résolution de y'=ay+b
suite croissante non majorée tend vers plus inf
théorème des gendarmes pour lim f(x) = L en plus inf
corollaire du TVI : unicité de la sol
TFA avec f croissante et continue)
démonstrations de formule :
exp(a+b)=exp(a).exp(b)
formules sur les (n p)
distance point droite
distance point plan
Arg ((p-n)/(m-n))=(NM;NP)
exp(i(a+b)=exp(ia).exp(ib)
Arg (Z/Z') = arg(Z) - arg(Z')
On pourrait procéder à un allongement éventuel de cette liste.
On pourrait également réaliser sur ce forum les démonstrations délicates (s'il en existe).
Ce post pourrait être justement déplacé dans la rubrique révisions
Amicalement, dans l'intérêt des TS,
Romain
-----