삼각법 예제

참인지 판단하기 tan(pi/12)=(tan(pi/4)-tan(pi/6))/(1+tan(pi/4)tan(pi/6))
단계 1
좌변 가 우변 와 같으므로, 주어진 명제는 항상 참입니다.
True