高中数学主要有定理证明，图像分析，几何演绎，逻辑推理等方法进行证明。例如平面向量的定理可以通过几何演绎来证明：如果给定A、B两点，则C=A+B构成的三角形ABC的内角和等于180度。由于此定理已经被数学家证明过，所以不需要用户重复证明。而一些其他数学定理，如勾股定理，就需要用户把定义具体化，使用图像分析或者几何演绎来证明。高中数学在证明定理上也可以使用逻辑推理来证明一些定理。一般需要先从题目中把定理的定义有限化，看清条件的限制，然后根据条件的限制做出判断和推理，最后通过定理的条件来证明定理。证明定理是高中数学中一项重要的内容，衡量学生对数学定理的理解程度，也能促进学生思维做出去联系，分析临界条件等能力的提高。
