cos (30)=V2 /3
cos(2x)=2cos(x)^2-1
cos(2.15)=2cos(15)^2 -1
cos(15) est rationel ==> cos(30) est rationel ce qui n est pas vrai ==> cos (15) est irationel
cos(3.x)=4cos(x)^3-3cos(x)
cos(15)=4cos(5)^3-3cos(5)
cos(5) est rationnel ==> cos(15) est rationel ce qui n est pas vrai ==> cos(5) est irrationel
on a cos(5x)=16cos(x)^5-20cos(x)^3+5cos(x)
cos(5)=16cos(1)^5-20cos(1)^3+5cos(1)
cos(1) est rationel ==> cos(5) est rationel ce qui nest pas vrai ==>cos(1) est irrationel
sauf erreur