坐标系变换背后的数学推导