Update double_angle_formula.md