Lien entre les fonctions Arcsinus et Arccosinus

x[1,1]    arcsinx+arccosx=π2

Démonstration

Première méthode : utilisation des définitions

On veut montrer que, pour x[1,1]    arcsinx=π2arccosx.

Soit x[1,1], d'une part, sin(π2arccosx)=cos(arccosx)=x    (1).

D'autre part, comme arccosx[0,π], π2arccosx[π2,π2]    (2).

De (1) et (2) on peut conclure que π2arccosx=arcsinx.

Deuxième méthode : utilisation des dérivées

La fonction g:xarcsinx+arccosx est dérivable sur ]1,1[et sa dérivée est nulle. La fonction g est donc constante sur cet intervalle.

Or, g(0)=arcsin0+arccos0=0+π2=π2.

donc x]1,1[    g(x)=π2.

Or, on a g(1)=arcsin1+arccos1=π2+0=π2

et g(1)=arcsin(1)+arccos(1)=π2+π=π2.

D'où x[1,1]    arcsinx+arccosx=π2.