第4章基本几何02—几何计算.pptVIP

2002年10月24日 计算机图形学 上海交通大学计算机系 何援军 第4章 基本几何 之二——几何计算 4.7几何计算 4.7.1概述 从数学上解决直线和圆弧等基本几何元素的相交问题并不困难，只涉及到直线和直线，直线和圆弧，以及圆弧和圆弧的相交，相切计算。 许多图形系统都采用某种方式解决了这个问题，也投入了实际使用。只是程序系统所占有的空间、计算效率的高低、使用的方便性、程序和程序系统的适应性上不同而已。 4.7.1概述 由于使用频繁，直线圆弧系统仅考虑其准确性是远远不够的，而要着重考虑系统的效率及其可用性。 前者要求其各个子程序的设计具有较高的质量，不仅要有数学处理的严密性，而且要用较少的步骤，较快的途径得到结果。 后者考虑的是：在问题有多个解的情况下，如何使用户能够方便、直观地加以选择。 4.7.2几何计算的基本策略 在解决基本几何的相交计算时，掌握一些技巧往往很有效。 在标准坐标系下求解； （通过坐标变换） 采用几何计算，避免代数运算。 4.7.2基本策略——在标准坐标系下求解 圆心在坐标原点的圆（弧）的求解公式往往比较简单； 可以通过坐标变换将求解的基本几何转换到标准坐标系下： 可先将坐标系作平移将新坐标系原点移到一个圆弧的中心； 或通过平移和（或）旋转使新的坐标轴沿着给定直线的方向； 或通过平移和（或）旋转使新的坐标轴沿着两个弧中心的方向。 等等 例：给定三点作一圆（1） 题：求通过3个点P1，P2，P3的圆 解：设所求圆的圆心为Pc(xc,yc)，半径为R。直接的解法是解以下三个非线性联立方程： (x1-xc)2+(y1-yc)2=R2 (4.7-1) (x2-xc)2+(y2-yc)2=R2 (4.7-2) (x3-xc)2+(y3-yc)2=R2 (4.7-3) 由消去元素法求解： [(4.7-1)-(4.7-2)](x3-x2)-[(4.7-3)-(4.7-2)](x1-x2) 例：给定三点作一圆（2） 得到 (4.7-4) xc可由式4.7-1～式4.7-2和式4.7-4，求得： (4.7-5) 式4.7-4和式4.7-5显然有不足之处： 当两式的分母为0时，要轮换点再算； 检验三点共线（半径是无穷）的条件非显而易见。 例：给定三点作一圆（3） 如果，把坐标系平移一下，使P1为新坐标系xp1y的原点，对三个点作一个变换，有： (4.7-6) (4.7-7) (4.7-8) 例：给定三点作一圆（4） 从式4.7-7和式4.7-8中减去式4.7-6得到两个联立方程，解之有： (4.7-9) (4.7-10) (4.7-11) 将 平移回到原坐标系统，就得到圆心(xc,yc) 的解。 解法简化，但是同样存在分母有可能为零的情况，三点共线的条件也并不明显。 例：给定三点作一圆（5） 为了克服上述困难，可把坐标系统再作一次旋转，求解的过程则改成如下样式： 过P1P2建立新x轴，并以P1为原点建立新坐标系xP1y ； 检验共线情况； 在新坐标系下解圆的中心和半径； 将得到的解(中心)变换回到原坐标系。 例：给定三点作一圆（6） 例：给定三点作一圆（7） 由式4.7.13－式4.7.12得 或 (4.7-15) 由式4.7.14式－4.7.12和式4.7.15得： 和 (4.7-16) 检测式4.7-16左式，如果y3 = 0，则yc为无穷，而只有当三点共线时， y3才会等于0 。 因此，在这个新坐标系下解的奇异状态是显而易见的。 4.7.2基本策略——采用几何计算，避免代数运算 由上例可知，通过代数运算去解决几何段的相交运算一般较为复杂。如果直接采用几何计算解决过三点作圆问题，有可能更为简 作P1P2的垂直平分线L1，作P1P3的垂直平分线L2 求L1与L2的交点即为圆心， 如果无交点，说明三点共线 圆心和三点中任一点的距离 即为半径。 例：求两个圆的交点——代数运算 设两圆方程为： (x-x1)2+(y-y1)2=R12 (4.7-17) (x-x2)2+(y-y2)2=R22 (4.7-18) 如果采用代数解法求解这两个联立二元二次方程。由式4.7.18-式4.5.17得 (x2-x1)x+2(y2-y1)y=R22-R12+x22-x12+y22-y12 (4.7-19) 当 x2=x1时，可由式4.7-19直接求得y的值； 再代入式4.7-17(或式4.7-18)，得到x值； 求得一元二次方程的2个解（选取其中一个）。 例：求两个圆的交点——代数运