439

Given a regular octagon. Prove the red area equals the green area.