OFFSET
0,1
COMMENTS
It is proved (see Witula et al.'s reference) that the function h(x) := sin(sin(x))/sin(x) - cos(cos(x))/cos(x) is decreasing in the interval (0,Pi/2) and has zero z in (0,Pi/4). We have sin(sin(z))/sin(z) = cos(cos(z))/cos(z) = 0.933396189408898411846964... . Moreover the following relation hold: F(z) = min{F(x): x \in R} = 0.10712694487..., where F(x) := cos(sin(x)) - sin(cos(x)) - see also A215670 and the Witula et al.'s reference for more information.
LINKS
Roman Wituła, Danuta Jama, Edyta Hetmaniok, and Damian Słota, On some inequality of the trygonometric type, Zeszyty Naukowe Politechniki Slaskiej - Matematyka-Fizyka (Science Fascicle of Silesian Technical University - Math.-Phys.), 92 (2010), 83-92.
EXAMPLE
z = 0.692728570186833888... rad (= 39.6904234198376057055880... deg).
MATHEMATICA
RealDigits[x /. FindRoot[Sin[Sin[x]]/Sin[x] - Cos[Cos[x]]/Cos[x], {x, 1}, WorkingPrecision -> 120]][[1]] (* Amiram Eldar, Mar 27 2026 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Roman Witula, Aug 20 2012
EXTENSIONS
Name and comment corrected by Amiram Eldar, Mar 27 2026
STATUS
approved
