ABCDEFGH is a regular octagon. Find the ratio of the area of the red triangle to the area of the blue square.