MathDB
Nice collinearity in regular pentagon

Source: Kvant Magazine No.11 2019 M2583

March 14, 2023
geometrypantagonKvant

Problem Statement

On the side DEDE and on the diagonal BEBE of the regular pentagon ABCDEABCDE we consider the squares DEFGDEFG and BEHIBEHI.
[*] Prove that A,I,A,I, and GG are collinear. [*] Prove that on this line lies also the centre OO of the square BDJKBDJK.