MathDB
computational geo with regular octagon 2013-14 Dürer Round1 D3

Source:

December 4, 2022
geometryoctagonregular octagonDurer

Problem Statement

ABCDEFGHABCDEF GH is a regular octagon with 1010 units side . The circle with center AA and radius ACAC intersects the circle with center DD and radius CDCD at point I I, different from CC. What is the length of the segment IFIF?