tan30°等于多少?这个值是怎么样算出来的?就算是公式,也应该有推导过程呀.