Question 3
If $0\lt x\lt \pi/2$, $\sin x-\cos x=\pi/4$ and
$$\tan x+\frac1{\tan x}=\frac{a}{b-\pi^c},$$
where $a,b,c$ are positive integers, find the value of $a+b+c$.
$$\tan x+\frac1{\tan x}=\frac{a}{b-\pi^c},$$
where $a,b,c$ are positive integers, find the value of $a+b+c$.