两千多年前，古希腊数学家欧几里得曾说过：“在几何里，没有专为国王铺设的大道。”意思是说，在学习几何的道路上，没有捷径，最终还是要靠自己。因此，建立一个通用的几何解题方法，成为许多数学家的梦想。

     而机器证明及其应用（简称：机器证明）就是这样一种数学研究的方法，它让学习者告别“一支笔、一张纸、一个脑袋”的学习方式，运用计算机来实现数学证明。华为HarmonyOS校园开发者周文，运用初等几何的机器证明，开发出 “基于初等几何数学的智能教育研究”（简称：比高）这一应用，通过数形结合的方式，更加直观地展现几何形态，在学习几何知识的过程中，帮助初高中学生降低学习难度，带来强交互式的学习体验。