计算机辅助设计(Computer Aided Design,简称CAD)技术是一种利用计算机的硬件和软件来进行产品的建模、修改、分析和优化的技术。它广泛的应用在科研和生活的各个领域中,现在它的应用水平已经成为衡量一个国家科技现代化和工业现代化水平的重要标志之一。CAD技术的发展经历了四次重大的技术创新,变量化技术是第四次技术创新。几何约束求解是参数化技术和变量化技术的核心,即一旦给定了设计草图的若干尺寸和拓扑关系约束,系统就可以自动生成相应的设计图,工程设计领域中很多问题都可归结为几何约束求解。目前,几何约束求解的方法主要有四种:基于数值的几何约束求解方法,基于符号的几何约束求解方法,基于规则的几何约束求解方法和基于图论的几何约束求解方法。现有的几何约束求解算法主要是针对构造包括点、直线和圆等几何体在内的几何图形,而在实际的工程设计中涉及的几何图形常常包括三次曲线或更复杂的曲线。本论文通过增加三次Bezier曲线作为一个新的几何体,扩大了几何约束求解算法的作图范围。本文的创新之处是:一、给出了三次Bezier曲线与点、直线和圆的几何约束的定义及其数学的描述:二、利用这些新的几何约束给出了构造包括三次Bezier曲线在内的几何图形的构造方法,从而给出了一个包括点、直线、圆和三次Bezier曲线在内的几何约束问题求解的新方法。该算法使得作为参数化技术和变量化技术的核心问题:几何约束求解的研究更具有实际意义。