기초 미적분 예제

$\cos (45) \cos (30) = \frac{1}{2} \cdot (\cos (\frac{π}{12}) + \cos (\frac{5 π}{12}))$

단계 1

좌변 $0.61237243$ 가 우변 $0.61237243$ 와 같으므로, 주어진 명제는 항상 참입니다.

True