Using computer for euclidean geometry problems

Abstract

To solve a Euclidean geometry on the plane using only ruler and compass problem, we use properties of angles, sides and some related geometry properties which are equivalent to solving equations with multiple variables. Practically in order to solve a problem, we usually do trial and error which is a waste of time and might use unnecessary tools. By using a mathematical program, we can prevent human errors and unnecessary task on a problem. The idea of this work is to use a computer as a labour to help us solve the equations after teaching some necessary theorems to it. We create algorithms for a program to solve the problems.