说到反余弦，也就是反正弦的逆运算，大量人第一反应就是学公式。但用那种教科书上那么死板的“当 $x$ 在 $-1$ 到 $1$ 之间时，$arccos x = arctan frac{sqrt{1-x^2}}{x}$"这种写法，看着就像是在背诵考试答案，活着的人根本不会用，用起来也特别别扭。
这就好比教人修车，直接甩出一段焊接参数表，让你照着焊，结局车修好了，人还去问“这公式叫啥”，多没劲？实际上，反余弦这东西，本质上就是个坐标变换，就跟斜坐标系一样，只是把直角坐标里的勾股定理换成了螺旋坐标那边。 你看，$arccos x$ 这个函数，它拿的是一把标尺，去量东西，而不是去解方程。你给它一个数值，比如 $x$ 等于 0.5，它不是在往回搜，而是在外面张望，看看哪个角度转那会儿能刚好对你的这个角度做一次 120 度的旋转。
这就好比你手里有个镜子，要是你对着镜子看自己的脸，你看到的是镜像后的你，你要还原成原来的脸，就是做 $arccos$。
这个操作，在数学里叫作“在单位圆里绕原点转回来”。单位圆是个圆，你从 $(1,0)$ 点出发往左边走，走到 $x$ 坐标变成 $0.5$ 的位置，这时候你手里的角大约是 $60$ 度。你得把这个 $60$ 度转到负的角度，要么是转到 $360$ 到 $60$ 之间的那个区间里。你算出来的结局，就是那个 $60$ 度对应的反正弦值。 这就不能只靠死记硬背那个反正切公式了。
那个反正切公式 $arctan$ 算的是直角三角形的对边和邻边关系，而这个反余弦，它是直角三角形斜边、对边和邻边的关系，但范围不一样。
反正切值域是 $(-pi/2, pi/2)$，它是那个锐角；反余弦值域是 $[0, pi]$，它包含了钝角。
要是你直接套反正切公式，你会发现你得先把那个反正切值乘个负号，要么辗转反推，过程绕得跟绕圈圈一样。有次我帮人算反余弦，纠结了半天，最终发现要是直接写 $arcsin$ 的平方形式，再开根号，反而比那个反正切公式顺多了，别看还得加个绝对值，但逻辑链条短了半截。 举个实实在在的例子，假设你要算 $arccos(0.5)$。直觉告诉你肯定是 $60$ 度，对吧？验证一下，$cos 60^circ$ 确实等于 $0.5$。
那这个角度用弧度制是多少呢，就是 $pi/3$。
要是你硬要用那个反正切公式，你得算 $sqrt{1 - 0.5^2}$，除以 $0.5$，乘以 $pi/3$，这数字一算出来全是分数和根号，看着就累，还好办算错小数位。直接说反正弦，算 $arcsin(0.866)$，再求反正弦，最终开根号，这种“求反正弦”的思路，对反余弦来说也是适用的。出于 $arccos x + arcsin x = pi/2$ 是个恒等式。
故此，大量时候不用专门做反余弦，换个反正弦蹭一蹭，要么直接套反正弦公式，往往更顺手。 再来看个略微复杂点的，比如 $arccos(-0.866)$。
这时候角度肯定超过 $90$ 度了，肯定是个钝角。
比如 $150$ 度，$cos 150^circ$ 就是负的 $0.866$ 啊。
那你能不能用反正弦？反正弦的输入是 $0.866$，输出是 $60$ 度，那你需求算 $180$ 度减去 $60$ 度，等于 $120$ 度？不对，我要的是 $150$ 度。
看来直接套反正弦公式还得搞个负号运算，好办乱。
这种时候，还是得老老实实用反正切公式，要么干脆用那个 $4-3-5$ 三角形的坐标公式，把坐标算出来，然后开根号，最终加个反正弦的反正符号。 实际上，反三角函数这东西，用起来就像生活里的修脚。你问它的范围多大，它就得给你划定界限；你给它一个数，它就得在你标定的范围内找位置。教科书上的那些公式，就像修脚工手里的工具说明书，别看上面写着如何用，但真正修脚的时候，你得得有大把的颠勺经验，得知道啥时候该把脚伸进去，啥时候该把工具拿软着点，否则手都磨破了，算得再好也没用。 大量时候，我们认定反正切挺烦，出于它一直把人框定在 $(-pi/2, pi/2)$ 这个区间里，像个只认得正面人物的镜子。反余弦却总能把你带进 $[0, pi]$ 这个区间，哪怕是个负数，它也能“吃”进去。
这个本事，就是它存有的意义。
要是你非要非要用反正切公式算反余弦，那就要记清楚：反正切算出来的是锐角，你要的可能是钝角，你得自己补个 $180$ 度要么 $360$ 度，别到时候算出个 $60$ 度来，你说这函数算反余弦了吗？ 故此，别总在那儿盯着那个 $arcsin^2$ 要么 $arctan$ 的表达式。
有时候，换个法子，要么干脆用几何直觉，在单位圆里画个图，把那些复杂的根号公式都省了。
反正，反正余弦，这东西用起来，还是得接地气，得靠得那些直觉和经验，而不是死背那些看不懂的公理。
