trigonometric identity proof problems and solutions