Showing content from https://dlmf.nist.gov/4.18 below:
§4.18 Inequalities ⣠Trigonometric Functions ⣠Chapter 4 Elementary Functions
§4.18 Inequalities â
-
Keywords:
-
inequalities, trigonometric functions
-
Notes:
-
For (4.18.1) see Copson (1935, p. 136). (4.18.3) follows by the same method and (4.18.2) is a consequence. (4.18.5) to (4.18.9) are straightforward and (4.18.10) is obtained from the Maclaurin expansions of cos â¡ z and sin â¡ z . For the second inequality in (4.18.4), it is sufficient to show f â¡ ( x ) â¡ 4 ⢠x ⢠( 1 â x ) â sin â¡ ( Ï â¢ x ) ⥠0 for 0 ⤠x ⤠1 / 2 . The function f â¡ ( x ) is zero at x = 0 and x = 1 / 2 and it has no zeros in ( 0 , 1 / 2 ) , because fâ² â¡ ( x ) = 4 ⢠( 1 â 2 ⢠x ) â Ï â¢ cos â¡ ( Ï â¢ x ) can have only one zero in ( 0 , 1 / 2 ) where y = 4 ⢠( 1 â 2 ⢠x ) intersects y = Ï â¢ cos â¡ ( Ï â¢ x ) . The first inequality is proved similarly.
-
Referenced by:
-
Erratum (V1.0.19) for Notation
-
Permalink:
-
http://dlmf.nist.gov/4.18
-
See also:
-
Annotations for Ch.4
Jordanâs Inequality
For more inequalities see MitrinoviÄ (1964, pp. 101â111), MitrinoviÄ (1970, pp. 235â265), and Bullen (1998, pp. 250â254).
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.5