Câu hỏi 3
Cho $0\lt x\lt \pi/2$, $\sin x-\cos x=\pi/4$ và
$$\tan x+\frac1{\tan x}=\frac{a}{b-\pi^c},$$
trong đó $a,b,c$ là các số nguyên dương. Tìm $a+b+c$.
$$\tan x+\frac1{\tan x}=\frac{a}{b-\pi^c},$$
trong đó $a,b,c$ là các số nguyên dương. Tìm $a+b+c$.