OFFSET
-1,1
COMMENTS
The first Morley triangle, also called the Morley triangle, of any triangle is always equilateral (see Wikipedia link).
If an isosceles right triangle ABC has side lengths (a, a, a*sqrt(2)), then it has a circumradius R = a*sqrt(2)/2, and an area A = a^2/2, and its first Morley triangle has side a' = 8*R*sin(Pi/6)*sin(Pi/12)*sin(Pi/12) and an area A' = a'^2 * sqrt(3)/4 = a^2 * (7*sqrt(3) - 12)/8. This gives the ratio A'/A = (7*sqrt(3)-12)/4 (see Illustration).
This ratio is not equal to the square of the ratio of the perimeters = A360828^2 because the Morley triangle and the isosceles right triangle are not homothetic.
LINKS
Bernard Schott, Illustration of the Morley triangle of an isosceles right triangle.
Wikipedia, Morley's trisector theorem.
FORMULA
Equals (7*sqrt(3) - 12)/4.
EXAMPLE
0.03108891324553526367303109763527664214990919416...
MAPLE
evalf((7/4)*sqrt(3) - 3, 100);
MATHEMATICA
RealDigits[(7*Sqrt[3] - 12)/4, 10, 100][[1]] (* Amiram Eldar, Mar 09 2023 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Bernard Schott, Mar 09 2023
STATUS
approved