Question Number 213084 by MATHEMATICSAM last updated on 30/Oct/24

Answered by issac last updated on 30/Oct/24
![x=acos(z) , z∈[0,1] sin(cos(cos^(−1) (z)))<cos(cos^(−1) (z))<cos(sin(cos^(−1) (z))) sin(z)<z<cos((√(1−z^2 ))) sin(z)<z<cos((√(1−z^2 ))) , z∈(0,1] sin(z)≤z ((sin(z))/z)≤1 → ((d )/dz)sin(z)≤1 cos(z)≤1 , for all z∈[0,1] sin(z)≤z≤cos((√(1−z^2 ))) z≤cos((√(1−z^2 ))) e^z =1+z+(1/(2!))z^2 +(1/(3!))z^3 ..... (Tailer series) Couchy−Schwartz Inequality (a_1 z_1 +a_2 z_2 +.......a_n z_n )^2 ≤(a_1 ^2 +a_2 ^2 +...a_n ^2 )(z_1 ^2 +z_2 ^2 +...z_n ^2 ) (1+z+(1/(2!))z^2 +(1/(3!))z^3 .....)^2 ≤(1^2 +1^2 +((1/(2!)))^2 +((1/(3!)))^2 +...)(1^2 +z^2 +z^4 +....) e^(2z) ≤((I_0 (2))/(1−z^2 )) , I_0 (2)≈2.2796.... I_ν (x) is Modified 1st Bessel function e^z ≤((I_0 (2))/(1−(1/4)z^2 )) → e^z ≤((4∙I_0 (2))/(4−z^2 )) , z∈[0,1] e^(iz) +e^(−iz) ≤((2I_0 (2))/((1/4)z^2 +1)) → cos(z)≤((4∙I_0 (2))/(z^2 +4)) cos((√(1−z^2 )))≤((4I_0 (2))/(5−z^2 )) z≤((4I_0 (2))/(5−z^2 )) → 5z−z^3 ≤4I_0 (2) 0≤z^3 −5z+4I_0 (2) satisfy for all z∈[0,1] Q.E.D](https://www.tinkutara.com/question/Q213089.png)
Commented by issac last updated on 30/Oct/24

Answered by mr W last updated on 30/Oct/24

Commented by mr W last updated on 30/Oct/24

Commented by Frix last updated on 31/Oct/24

Commented by mr W last updated on 31/Oct/24

Answered by MrGaster last updated on 30/Oct/24
![sin(cos x)<cos x⇔sin(cos x)−cos x<0⇔2 cos(((cos x+(π/2)−x)/2))sin(((cos x−((π/2)−x))/2))<0⇔2 cos((π/4)+((x−cos x)/2))sin(((cos x+x−(π/2))/2))<0 cos x<cos(sin x)⇔cos x−cos(sin x)<0⇔−2 sin(((x+sin x)/2))sin(((x−sin x)/2))<0⇔2 sin(((x+sin x)/2))sin(((sin x−x)/2))>0 [Q.E.D]](https://www.tinkutara.com/question/Q213095.png)
Answered by Berbere last updated on 31/Oct/24
