几何证明系统是一类强大的几何教学辅助系统，在几何教育应用中有着举足轻重的地位。目前成功的几何证明系统有MathXP、Z+Z智能教育平台和Geometry Explorer等，由于它们运行在传统PC之上，无法满足用户随时随地的应用需求。随着移动互联网的发展，便携智能终端价格的降低以及处理能力的增强，使得实现一款能够运行于便携智能设备的几何证明系统成为可能。本文以研究几何定理自动证明为基础，结合几何命题的构造输入方法，使用目前流行的移动开发技术实现了一款基于移动互联网的几何证明系统。本文主要的工作有：1、研究几何命题的描述与输入方法。介绍了使用一阶逻辑的几何命题谓词描述形式，并介绍了几何命题的谓词形式和构造形式的输入方法。在分析和研究两种输入方法的基础上，结合面向对象的设计思想，提出一种面向对象的形式化命题构造输入方法。2、研究几何定理自动证明，探索定理自动证明在移动互联网上的应用方式。研究基于规则的前推搜索法的几何定理证明算法，分析了定理证明系统的实现过程，并实现了定理证明系统与移动互联网的结合。3、设计和实现了一个基于移动互联网的几何证明系统。从系统需求分析、总体设计、详细设计和实现等方面对系统进行了详细的设计和实现。本文系统将几何定理自动证明应用到移动互联网上，为用户创造了一个移动的几何学习环境，打破了设备的限制，很好地满足了用户的应用需求。