ROSECODE 431
Triangles ratio
ABC is an equilateral triangle. DEF is another equilateral triangle with its two vertices (E, F) on the circumcircle of ABC and its third vertex (D) on the AB segment.
O is the circumcenter of ABC.
What is the ratio area(ABC)/area(DEF)?
Answer format: number rounded to 5 digits after the decimal point.