mean value coordinates(均值重心坐标)定义及证明

欢迎关注更多精彩
关注我，学习常用算法与数据结构，一题多解，降维打击。

在图形学中对于物体的描述往往是离散，但是在具体展示过程中我们又希望是连续。线性插值是解决离散与连续的常用手段。

• 三角形中的插值点击前往
• 凸四边形中的插值点击前往

本文是针对多边形的插值

均值坐标定义

$v_0是多边形v_1{v}_2{v}_3...v_n内的一点$

$就会存在均值坐标{\varphi }_i(v_0)=\frac{{\omega }_i}{{\sum }_{j=1}^n{\omega }_j}$

$其中{\omega }_i=\frac{tan\left(\frac{{\alpha }_{i-1}}{2}\right)+tan\left(\frac{{\alpha }_i}{2}\right)}{||v_i-v_0||}$

使得

$v_0=\sum _{i=1}^n{\varphi }_i(v_0)\cdot v_i\dots \dots （1）$

证明mvc为广义重心坐标

要求证明式子（1）成立。

根据定义可知

$\sum _{i=1}^n{\varphi }_i(v_0)=1$

那么通过移项可以得到

$\sum _{i=1}^n{\varphi }_i(v_0)\cdot (v_i-v_0)=0\dots \dots （2）$

问题转化成证明式子（2）

引入极坐标定义
$向量v_i-v_0与水平夹角为{\theta }_i$

$则{\alpha }_i={\theta }_{i+1}-{\theta }_i$

$v_i=v_0+||v_i-v_0||(cos{\theta }_i,sin{\theta }_i)$

$==>\frac{v_i-v_0}{||v_i-v_0||}=(cos{\theta }_i,sin{\theta }_i)\dots \dots （3）$

将（2）式展开

$\sum _{i=1}^n\frac{\frac{tan\left(\frac{{\alpha }_{i-1}}{2}\right)+tan\left(\frac{{\alpha }_i}{2}\right)}{||v_i-v_0||}}{{\sum }_{j=1}^n{\omega }_j}\cdot (v_i-v_0)=0$

$两边都乘以{\sum }_{j=1}^n{\omega }_j$

$\sum _{i=1}^n\left[tan\left(\frac{{\alpha }_{i-1}}{2}\right)+tan\left(\frac{{\alpha }_i}{2}\right)\right]\cdot \frac{v_i-v_0}{||v_i-v_0||}=0$

将（3）式代入得到

$\sum _{i=1}^n\left[tan\left(\frac{{\alpha }_{i-1}}{2}\right)+tan\left(\frac{{\alpha }_i}{2}\right)\right]\cdot (cos{\theta }_i,sin{\theta }_i)=0$

求和项拆开

$\sum _{i=1}^{n}tan\left(\frac{{\alpha }_{i-1}}{2}\right)\cdot (cos{\theta }_i,sin{\theta }_i)+\sum _{i=1}^{n}tan\left(\frac{{\alpha }_i}{2}\right)\cdot (cos{\theta }_i,sin{\theta }_i)=0$

变换i-1下标到i得到

$\sum _{i=1}^{n}tan\left(\frac{{\alpha }_i}{2}\right)\cdot (cos{\theta }_{i+1},sin{\theta }_{i+1})+\sum _{i=1}^{n}tan\left(\frac{{\alpha }_i}{2}\right)\cdot (cos{\theta }_i,sin{\theta }_i)=0$

$再合并，替换{\alpha }_i$

$\sum _{i=1}^{n}tan\left(\frac{{\theta }_{i+1}-{\theta }_i}{2}\right)\cdot (cos{\theta }_{i+1}+cos{\theta }_i,sin{\theta }_{i+1}+sin{\theta }_i)=0\dots \dots （4）$

现在需要证明式子（4）成立。
基本思路是能够把两个三角函数加和转化成一个三角函数并且伴有半角的出现。
通过翻阅资料找到以下几个公式。

tanα=sinα/cosα

sinα+sinβ=2sin[(α+β)/2]cos[(α-β)/2]

sinα-sinβ=2cos[(α+β)/2]sin[(α-β)/2]

cosα+cosβ=2cos[(α+β)/2]cos[(α-β)/2]

cosα-cosβ=-2sin[(α+β)/2]sin[(α-β)/2]

继续化简

$\sum _{i=1}^n\frac{sin\left(\frac{{\theta }_{i+1}-{\theta }_i}{2}\right)}{cos\left(\frac{{\theta }_{i+1}-{\theta }_i}{2}\right)}\cdot \left[2cos\left(\frac{{\theta }_{i+1}+{\theta }_i}{2}\right)cos\left(\frac{{\theta }_{i+1}-{\theta }_i}{2}\right),2sin\left(\frac{{\theta }_{i+1}+{\theta }_i}{2}\right)cos\left(\frac{{\theta }_{i+1}-{\theta }_i}{2}\right)\right]$

$=\sum _{i=1}^n\left[2cos\left(\frac{{\theta }_{i+1}+{\theta }_i}{2}\right)sin\left(\frac{{\theta }_{i+1}-{\theta }_i}{2}\right),2sin\left(\frac{{\theta }_{i+1}+{\theta }_i}{2}\right)sin\left(\frac{{\theta }_{i+1}-{\theta }_i}{2}\right)\right]$

$=\sum _{i=1}^n(sin{\theta }_{i+1}-sin{\theta }_i,-cos{\theta }_{i+1}+cos{\theta }_i)=0$

经过化简后，正好首尾相接抵消。

故原式得证。

证毕。

---

本人码农，希望通过自己的分享，让大家更容易学懂计算机知识。