The red shape is a regular octagon. The blue circles are congruent. Prove the diameter of a blue circle equals the side length of the octagon.