查看原题
设 $\int f^{\prime}(\cos x) d x=\ln (\sin x)+c$ ，求 $f(x)$ ．
                        
不再提醒