내가 하나 알려줄게 삼각함수 덧셈정리를 이용하면 삼각함수내에서 다른공식 필요없음 그리고 삼각함수 각변환공식이며 배갇공식이며 안외워도되고 삼각함수 덧셈정리를 잘 해두면 그런것들이 증명이됨