Research On Dynamic Illustration of Geometry Proof Problems with SVG

[[abstract]]The development of e-learning is more and more mature, and the applied level is also more and more wide. Among them, in addition to having text information, there are also abundant diagrammatic demonstrations. On the learning of geometry proof problems in mathematics in junior high school, student can only comprehend through pure literalness method, and usually be in need of a dynamic illustration with graph.So we design an automatic system that can simulate deductive process of geometry proof, and match with explanation with graph and text. After reading the topic of a problem, the system will produce the process of deduction automatically, and present the text and graph of deductive step.Through this system, we hope it is helpful to the learning of geometry proof problems. We develop an automatic system of geometry proof successfully on this research by making reference to the principle of expert system, building a geometry knowledge base by XML technique, matching with dynamic transformation of SVG graph, and the AJAX transmission way. We build up a XML rule base by using geometry symbol and rule expression, deduce by backward chaining method, and present proof step according to the principle of proof tree. These are the important results of this research.