三角形三内角的正弦值的最小差的最大值

问题描述

设一个三角形的三个角为 $A$、$B$ 和 $C$，满足：
$$A+B+C=180^{\circ }.$$

求： M = min ⁡ { ∣ sin ⁡ A − sin ⁡ B ∣ ,    ∣ sin ⁡ B − sin ⁡ C ∣ ,    ∣ sin ⁡ A − sin ⁡ C ∣ } , M= \min \left\{ |\sin A - \sin B|, \; |\sin B - \sin C|, \; |\sin A - \sin C| \right\}, M=min{∣sinA−sinB∣,∣sinB−sinC∣,∣sinA−sinC∣},

求解过程

不失一般性，设： $$\sin A\le \sin B\le \sin C,$$ 有：
$$|\sin A-\sin C|=(\sin B-\sin A)+(\sin C-\sin B).$$
为了最大化上述最小差值，必须有：
$$\sin B-\sin A=\sin C-\sin B=d.$$ 此时$\sin A$、$\sin B$、$\sin C$ 构成等差数列，得：
$$2\sin B=\sin A+\sin C.$$ 由于 $\sin C=\sin (A+B)$，代入得：
$$2\sin B=\sin A+\sin (A+B).$$ 利用三角恒等式：
$$\sin A+\sin (A+B)=2\sin \left(A+\frac{B}{2}\right)\cos \frac{B}{2},$$
得到： $$\sin B=\sin \left(A+\frac{B}{2}\right)\cos \frac{B}{2}.$$
又因为： $$\sin B=2\sin \frac{B}{2}\cos \frac{B}{2},$$ 消去$\cos \frac{B}{2}$ 后得：
$$2\sin \frac{B}{2}=\sin \left(A+\frac{B}{2}\right).$$ 令$x=\frac{B}{2}$，得到： $$\sin (A+x)=2\sin x.\text{\hspace{1em}(1)}$$ 由$\sin (A+x)\le 1$，可得：
$$\sin x\le \frac{1}{2}\Rightarrow x\in [0,30^{\circ }].$$
由(1)式反推： $$A=\arcsin (2\sin x)-x.$$

接下来定义： $$d=\sin B-\sin A.$$ 由 $\sin B=2\sin x\cos x$，
$$\sin A=2\sin x\cos x-\sqrt{1-4{\sin }^{2}x}\sin x.$$ 因此：
$$d=\sqrt{1-4{\sin }^{2}x}\cdot \sin x.$$

令： $$f(x)=\sin x\sqrt{1-4{\sin }^{2}x},x\in [0,30^{\circ }],$$
平方得： $$f(x{)}^2={\sin }^{2}x(1-4{\sin }^{2}x).$$ 令 $u={\sin }^{2}x$，则：
$$f^2=u-4u^2.$$ 求导得：
$$g^{\prime }(u)=1-8u=0\Rightarrow u=\frac{1}{8}.$$ 此时：
$$f(x{)}^2=\frac{1}{16}\Rightarrow f(x)=\frac{1}{4}.$$ 即：
$$d_{\max }=\frac{1}{4}.$$

对 $u=\frac{1}{8}$，有：
$$\sin x=\frac{1}{2\sqrt{2}}\Rightarrow x\approx 20.7^{\circ }.$$
从而：
$$B\approx 41.4^{\circ },A\approx 24.3^{\circ },C\approx 114.3^{\circ }.$$

此时三角形的最小正弦差值达到最大

应用

考虑模糊数学中关于隶属度的一个问题：已知三角形的三个内角，如何定义其为等腰三角形的“程度”？对于等腰三角形，这个“程度”应该是1，对于某种“最不等腰”的三角形，这个程度应该是0。

我们首先从角度差值出发定义与等腰三角形的相似度：
min ⁡ { ∣ A − B ∣ ,    ∣ B − C ∣ ,    ∣ A − C ∣ } . \min \left\{ |A - B|, \; |B - C|, \; |A - C| \right\}. min{∣A−B∣,∣B−C∣,∣A−C∣}.
然后归一化为：
F = 1 − min ⁡ { ∣ A − B ∣ ,    ∣ B − C ∣ ,    ∣ A − C ∣ } 6 0 ∘ . F = 1 - \frac{\min \left\{ |A - B|, \; |B - C|, \; |A - C| \right\}}{60^\circ}. F=1−60∘min{∣A−B∣,∣B−C∣,∣A−C∣}​.
其中 $60^{\circ }$是三角形中角度最小差值的最大可能值。此定义满足：等腰三角形时$F=1$，最不等腰时 $F=0$。

然而，在极端情况下该定义存在问题。设一个角趋近于$\delta \to 0$，另两个角为 $60^{\circ }$ 和$120^{\circ }-\delta$，这时虽然两个角度的正弦值接近，对应的边长也接近，但该定义下的相似度为：
$$F=1-\frac{60^{\circ }-\delta }{60^{\circ }}\to 0,$$
这与直觉相悖。原因在于，角度极小会导致边长变化剧烈，从而角度差难以真实反映"等腰性"。

因此我们回归等腰三角形的本质定义------两边相等。根据正弦定理，边长与其对角正弦值成比例。我们改用角的正弦值定义相似度：
F = 1 − min ⁡ { ∣ sin ⁡ A − sin ⁡ B ∣ ,    ∣ sin ⁡ B − sin ⁡ C ∣ ,    ∣ sin ⁡ A − sin ⁡ C ∣ } M , F = 1 - \frac{\min \left\{ |\sin A - \sin B|, \; |\sin B - \sin C|, \; |\sin A - \sin C| \right\}}{M}, F=1−Mmin{∣sinA−sinB∣,∣sinB−sinC∣,∣sinA−sinC∣}​,

$M$即为上文求解的最大值$\frac{1}{4}$，最终的相似度函数为：
F = 1 − 4 × min ⁡ { ∣ sin ⁡ A − sin ⁡ B ∣ ,    ∣ sin ⁡ B − sin ⁡ C ∣ ,    ∣ sin ⁡ A − sin ⁡ C ∣ } . F = 1 - 4 \times \min \left\{ |\sin A - \sin B|, \; |\sin B - \sin C|, \; |\sin A - \sin C| \right\}. F=1−4×min{∣sinA−sinB∣,∣sinB−sinC∣,∣sinA−sinC∣}.
其中：

• 等腰三角形：$F=1$

• 最不等腰三角形（即$B\approx 41.4^{\circ },A\approx 24.3^{\circ },C\approx 114.3^{\circ }.$）：$F=0$

• 其余三角形：$0<F<1$