Mathc initiation/Fichiers c : c77cc
Installer et compiler ces fichiers dans votre répertoire de travail.
c01c.c |
---|
/* --------------------------------- */
/* save as c1c.c */
/* --------------------------------- */
#include "x_hfile.h"
#include "fc.h"
/* --------------------------------- */
int main(void)
{
double x = 1.8;
clrscrn();
printf(" x = %0.1f \n\n\n",x);
printf(" %s \t\t= %0.8f \n", f1eq, f1(x));
printf(" %s \t= %0.8f\n\n\n", f2eq, f2(x));
printf(" %s \t\t= %0.8f \n", g1eq, g1(x));
printf(" %s \t= %0.8f\n\n\n", g2eq, g2(x));
stop();
return 0;
}
/* ---------------------------------- */
/* ---------------------------------- */
Vérifions par le calcul :
x = 1.8
cos(2*x) = -0.89675842
1-2*sin(x)**2 = -0.89675842
cos(2*x) = -0.89675842
2*cos(x)**2-1 = -0.89675842
Press return to continue.
Vérifions les égalités :
Nous avons vu que :
cos(x+y) = cos(x)cos(y)-sin(x)sin(y)
posons x = y
cos(x+x) = cos(x)cos(x)-sin(x)sin(x)
1) cos(2x) = cos(x)**2-sin(x)**2 cos(x)**2 + sin(x)**2 = 1
cos(x)**2 = 1-sin(x)**2
cos(2x) = (1-sin(x)**2)-sin(x)**2
cos(2x) = 1-2*sin(x)**2
2) cos(2x) = cos(x)**2-sin(x)**2 cos(x)**2 + sin(x)**2 = 1
sin(x)**2 = 1-cos(x)**2
cos(2x) = cos(x)**2-(1-cos(x)**2)
cos(2x) = 2*cos(x)**2-1