The green and yellow equilateral triangles share a midpoint. Prove the red and blue lines are perpendicular and $a:b = \sqrt{3}:1$