下：
构造法.构造法一般用于证明存在性定理，运用构造法的证明称为构造性证明。具体做法是构造一个带有命题里所要求的特定性质的实例，以显示具有该性质的物体或概念的存在性。也可以构造一个反例，来证明命题是错误的。例如证明命题“2的质数次幂减一后不总是质数”，便可用构造法：有些构造法证明中并不直接构造满足命题要求的例子，而是构造某些辅助性的工具或对象，使得问题更容易解决。一个典型的例子是常微分方程稳定性理论中的李亚普诺夫函数的构造。又如许多几何证明题中常常用到的添加辅助线或辅助图形的办