MathDB
Trig Equation

Source:

December 21, 2005
trigonometryARMLAMCAIMEmodular arithmeticalgorithmfunction

Problem Statement

Find the smallest positive integer solution to tan19x=cos96+sin96cos96sin96.\tan 19x^\circ=\frac{\cos 96^\circ+\sin 96^\circ}{\cos 96^\circ-\sin 96^\circ}.