Answer
$2+\sqrt3$
Work Step by Step
Using the given formula and the known values: $\tan 17\pi/12=\frac{\tan 7\pi/6+\tan \pi/4}{1-\tan 7\pi/6\tan \pi/4}=\frac{\frac{1}{\sqrt3}+1}{1-\frac{1}{\sqrt3}\cdot1}=2+\sqrt3$
You can help us out by revising, improving and updating this answer.
Update this answerAfter you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.