[论文解读] Taxicab Angles and Trigonometry

Kevin P. Thompson, Tevian Dray|arXiv (Cornell University)|Jan 14, 2011

Mathematics and ApplicationsMathematics参考文献 3被引用 22

一句话总结

本文利用曼哈顿度量，提出了一种在出租车几何中自然定义角度与三角函数的方法，将t-弧度定义为单位出租车圆上对应弧长为1的圆心角。推导了出租车几何中的角度度量公式，确立了全等三角形所需的严格条件（三边及两角全等），并展示了利用出租车几何进行精确视差法计算欧氏距离的方法，为标准欧氏近似提供了一种精确的替代方案。

ABSTRACT

A natural analogue to angles and trigonometry is developed in taxicab geometry. This structure is then analyzed to see which, if any, congruent triangle relations hold. A nice application involving the use of parallax to determine the exact (taxicab) distance to an object is also discussed.

研究动机与目标

• 在出租车几何中建立与欧氏三角学相一致的角度与三角函数的定义。
• 分析在非欧几里得几何的出租车度量下，哪些三角形全等关系仍然成立。
• 展示在出租车几何中如何实现视差法测量距离的精确方法，并与标准的欧氏近似方法进行对比。
• 建立出租车几何与欧氏几何视差公式之间的联系，表明欧氏公式仅为小角度下的近似。

提出的方法

• 将t-弧度定义为单位出租车圆上对应弧长为1的圆心角，该单位圆的总周长为8个t-弧度。
• 推导出标准位置下欧氏角的出租车度量公式：$ \theta = \frac{2\sin_e\phi_e}{\sin_e\phi_e + \cos_e\phi_e} $。
• 通过参考角与三角恒等式，将公式推广至非标准位置的角度。
• 利用几何变换（平移与反射）建立视差测量中角度与距离的关系。
• 应用出租车弧长公式 $ \ell = r \cdot \theta $，推导出精确的距离公式 $ d = \frac{s}{\beta - \alpha} $，其中 $ s $ 为基线，$ \beta - \alpha $ 为出租车视差角。
• 通过代入欧氏距离与角度，将出租车与欧氏视差公式关联，表明欧氏公式仅为小角度下有效的近似。

实验结果

研究问题

• RQ1 如何在出租车几何中建立与欧氏三角学相类比的一致角度与三角函数定义？
• RQ2 在出租车几何中，哪些三角形全等关系仍然有效？需要满足何种严格条件？
• RQ3 能否在出租车几何中实现视差法测量距离的精确化？其与标准欧氏方法相比有何差异？
• RQ4 精确的出租车视差公式与常用的欧氏近似公式之间存在何种关系？

主要发现

• 出租车单位圆的周长为8个t-弧度，因此一个完整圆周为8个t-弧度，直角恰好为2个t-弧度。
• 出租车几何中欧氏角的度量取决于其方向，而不仅取决于其大小，这意味着在该几何中角度不具有旋转不变性。
• 出租车几何中的全等三角形要求三边及两角全部全等，表明标准全等定理（如边角边SAS或角边角ASA）不成立。
• 推导出利用视差测量距离的精确公式：$ d = \frac{s}{\beta - \alpha} $，其中 $ s $ 为基线，$ \beta - \alpha $ 为出租车视差角，该公式提供精确结果而非近似值。
• 标准欧氏视差公式 $ d_e \approx \frac{s_e}{\beta_e - \alpha_e} $ 被证明仅为小角度下有效的近似，而出租车版本在相同几何设定下为精确公式。
• 推导结果证实，沿直线 $ y = x $ 或 $ y = -x $ 移动时，到目标点的距离保持不变，从而在出租车几何中可实现精确的视差测量。