三角函数与天文学