How do you use half angle formula to find #sin 112.5#?