삼각함수의 성질로 등장하는 주기, 음각, 보각, 여각 공식들을 정의에 따른 직관이나 기하학적 방법 외에 대수적인 방법으로 증명하는 방법이 있다면 알려주세요.