论文部分内容阅读
几何约束求解广泛应用于机械设计 ,化学分子形成 ,几何定理证明和勘探等诸多领域 .用于求解几何约束问题主要有 3种方法 :数值方法 ,符号方法和构造法 .构造法由于具有简单易行的特点 ,因此被大多数的参数化机械设计系统作为求解几何约束问题的基本方法 .针对构造法中只采用直线和圆 ,即直尺和圆规 ,来作为基本的作图工具 ,引进了一种新的作图工具 :圆锥曲线 ,并且证明了在引进圆锥曲线以后 ,作图的范围明显大于只用直尺和圆规作图的范围 ;证明了一个图形能用圆锥曲线作出的充分必要条件是这个图形可以用一个三