一道高中数学三角函数题:若sinX+cosX=tanX (0