OFFSET
0,1
COMMENTS
This is the area of the regular hexagon of diameter 1.
From Bernard Schott, Apr 09 2022 and Oct 01 2022: (Start)
For any triangle ABC, where (A,B,C) are the angles:
sin(A) * sin(B) * sin(C) <= (3/8) * sqrt(3) [Bottema reference],
cos(A/2) * cos(B/2) * cos(C/2) <= (3/8) * sqrt(3) [Mitrinovic reference],
and if (ha,hb,hc) are the altitude lengths and (a,b,c) the side lengths of this triangle [Scott Brown link]:
(ha+hb) * (hb+hc) * (hc+ha) / (a+b) * (b+c) * (c+a) <= (3/8) * sqrt(3).
The equalities are obtained only when triangle ABC is equilateral. (End)
REFERENCES
O. Bottema et al., Geometric Inequalities, Groningen, 1969, item 2.7, page 19.
D. S. Mitrinovic, E. S. Barnes, D. C. B. Marsh, J. R. M. Radok, Elementary Inequalities, Tutorial Text 1 (1964), P. Noordhoff LTD, Groningen, problem 6.2.2, page 111.
LINKS
Scott Brown, Problem 3453, Crux Mathematicorum, Vol. 36, No. 5 (2010), pp. 342 and 343.
EXAMPLE
0.649519052838328985...
MATHEMATICA
RealDigits[(3/8) * Sqrt[3], 10, 120][[1]]
PROG
(PARI) sqrt(27)/8 \\ Charles R Greathouse IV, Apr 09 2022
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Kritsada Moomuang, Mar 15 2020
STATUS
approved