绿宝石黄杨:三角函数的一条公式