印象中，反三角函数没有一般的相加公式。这种题要同时取左右两边的三角函数值求解。比如你这题，左右两边同取正切，得：tan30°=（x+x/10)/(1－x·x/10)，再解出来解出来是带根号的特复杂式子如果是证明题使用这样的方法要注意角度的范围
