超级画板自动推理功能初探

目前，超级画板可以对某些简单的几何问题进行自动推理。
z+z超级画板可以对某些几何问题进行自动推理，这是机器证明的最简单应用！
现在，我就把用超级画板的自动推理功能做一番介绍！

本文假设，你已经安装了z+z超级画板软件！
对于联赛级别的竞赛题，往往没效果。