Problem 287: Regular Octagon, Diagonals.

In the figure below, given a regular octagon ABDEFGH, diagonals BF and DG intersect at M. If GH = a,
Prove that .