ection::::其他证明方式.
直观证明.直观证明或可视化证明是指用图像或表格等直观的手段证明命题的方法。这类证明可以达到不借助语言而证明的效果。如右图是勾股定理的一个图示证明。
计算机辅助证明.电脑协助证明是二十世纪出现的证明方式。直到二十世纪中，人们一直认为任何的数学证明都应当能够被一个水平足够的数学家检验，以证实其正确性。然而，今天的数学家已经能够运用计算机来证明定理，并且完成人类难以做到的计算。1976年四色定理的证明是计算机辅助证明的经典例子。