两个坐标系的转换公式的求证