How do you use a half angle formula to find the exact value of sin22.5 degrees?