王为民三角形三边长定理:在一个平面内,用任意三角形的三条边的一端绕同一固定点在一个平面内旋转恰当角度,那么,当这三条边长度全等时的另一端可以连接形成一个等边三角形,而当这三条边长度不全等时的另一端可以连接形成两个等边三角形。
证明:设这三条公端点线段的长度分别为a、b、c,它们两边之和大于第三边,相互间的夹角分别为α、β、γ,这三条线段的端点构成的等边三角形边长为L,则根据余弦定理有
L²=a²+b²-2abcosα
L²=a²+c²-2accosγ
L²=b²+c²-2bccosβ
α+β+γ=2π
显然有解,定理得证。
解这个方程可以得到左茂雄等边三角形边长公式:
![d790f6ec5be4ffc71706e9e607e8a36d.png](https://i-blog.csdnimg.cn/blog_migrate/8ae564e7020de0cbe4fa5726f01da7ea.jpeg)
图例(a=b=c和a=2,b=2√3,c=4)
![1e6399e742c471baaf3be65f03554203.png](https://i-blog.csdnimg.cn/blog_migrate/44c6769bb56312db9b63cab446eef777.jpeg)
![88315d25f9bdc4dc06ff5843a406cfd2.png](https://i-blog.csdnimg.cn/blog_migrate/8166af73499237916838962ddffc6f06.jpeg)