本书共分七个专题，从一个古老的问题：两条内分角线相等的三角形是等腰三角形、传统证法与机器证法，机器证法举例、机器证法大意、机器证法再举例、回到前面的古老问题、“两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗？分别介绍了Steiner问题，给出了分角线相等的三角形的相关概念、原理以及一些在几何方面的应用，同时还介绍了有关初等几何机器证明问题的方法和原理。