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