关于有向角距离（弧度量）定义的一致性、修正及相关文献查询

嘿，很高兴看到你在几何问题里尝试定义有向弧度量——这确实是个实用但容易踩坑的点。咱们一步步拆解你的定义和问题：

一、现有定义的一致性问题 #

你的定义里存在两处关键矛盾，导致它无法完全自洽：

• 直径点的相反数性质冲突：你规定当$ab$是直径时$\overset{\huge \frown}{ab} = \pi$，但又限定$\overset{\huge \frown}{ab} = -\overset{\huge \frown}{ba}$仅在$ab$不是直径时成立。可$ba$同样是直径，按第一条规则$\overset{\huge \frown}{ba}$也等于$\pi$，这就出现了$\overset{\huge \frown}{ab} = \overset{\huge \frown}{ba}$，和有向度量“反向取反”的核心性质直接矛盾。
• 加法性的特殊情况矛盾：假设$ab$是直径，$bc$也是直径（此时$c$与$a$重合），按加法规则$\overset{\huge \frown}{ac} = \overset{\huge \frown}{ab} + \overset{\huge \frown}{bc} = \pi + \pi = 2\pi$，但$\overset{\huge \frown}{aa}$明确规定为0，这就产生了逻辑冲突。

二、修复方案：简化并统一规则 #

其实你只需要去掉多余的限制，把核心性质推广到所有情况，就能得到一个自洽的定义：

1. 先固定圆的定向（比如约定逆时针为正方向，顺时针为负）；
2. 对于圆上任意两点$a, b$，定义$\overset{\huge \frown}{ab}$为：从$a$出发沿定向方向到$b$的弧所对应的圆心角（可以是任意实数，模$2\pi$等价；如果需要限定范围，通常取$(-\pi, \pi]$或$[0, 2\pi)$）；
3. 这样所有规则都会自然满足：
   • $\overset{\huge \frown}{aa} = 0$（无弧长，角度为0）；
   • 加法性$\overset{\huge \frown}{ac} = \overset{\huge \frown}{ab} + \overset{\huge \frown}{bc}$对所有点成立（角度差天然具有可加性）；
   • 直径的情况：$\overset{\huge \frown}{ab} = \pi$（沿正方向），$\overset{\huge \frown}{ba} = -\pi$，完美符合$\overset{\huge \frown}{ab} = -\overset{\huge \frown}{ba}$；
   • 旋转不变性：旋转会给所有点的对应角度加上同一个常数，角度差保持不变。

如果想更严谨，你可以把圆映射到单位圆，每个点对应极角$\theta_a$，那么$\overset{\huge \frown}{ab} = \theta_b - \theta_a + 2k\pi$（$k$为整数，用于调整到你需要的角度范围），这样所有性质都能严格推导出来。

三、文献中的类似定义 #

有向弧度量本质上就是有向圆心角的几何对应，在很多领域都有标准定义：

• 初等几何里，有向角（包括圆上的有向弧）是常用工具，用来统一处理共圆、旋转等问题，教材中通常会定义为沿指定方向的旋转角，反向则取相反数，无特殊情况例外；
• 微分几何和拓扑里，圆的有向弧长（或对应的角度）可以和圆的基本群（整数群）联系起来，代表路径的同伦类，不过实用中还是会取$(-\pi, \pi]$这样的代表元；
• 复分析里，单位圆上的点对应复数的辐角，有向弧度量就是两点辐角的差（同样可以加上$2k\pi$），这和咱们的定义完全一致。

备注：内容来源于stack exchange，提问作者SRobertJames