多几何证明题中常常用到的添加辅助线或辅助图形的办法。
非构造性证明.与构造法证明相对的是非构造性证明，即不给出具体的构造而证明命题所要求对象的存在性的证明方法。比如下面例子：在这个证明里并没有给出使得formula_17是有理数的两个具体的无理数。
穷举法.是一种列举出命题所包含的所有情况从而证明命题的方法。例如证明“所有两位数中只有25和76的平方是以自己作为尾数”，只需计算所有两位数：10至99的平方，一一验证即可。显然，使用穷举法的条件是命题所包