FUNCTIONS OF THE FULL ANGLE METHOD
The program has the following functions:
The constructor of the object takes an array
of points
The following functions are for the insertion
of the predictes:
-
insertCollinear(Point p1,Point
p2,Point p3,Point p4)
-
insertParallel(Point p1,Point
p2,Point p3,Point p4)
-
insertPerp(Point p1,Point p2,Point
p3,Point p4)
-
insertCircum(Point A,Point B,Point
C,Point D)
-
insertCyclic(Point A,Point B,Point
C,Point D)
-
insertMidPoint(Point O,Point
A,Point B)
-
insertCong(Point a,Point b,Point
c,Point d)
-
insertPerpBisector(Point a,Point
b,Point c,Point d)
-
insertEqangle(AngleNode a1,AngleNode
a2)
-
insertIncenter(Point a,Point
b,Point c,Point d)
-
insertOrthocenter(Point a,Point
b,Point c,Point d)
most of the above names are self explanatory besides eqangle, which
stands for two angles being equal, and cong which stands for two sides
being congurent.
The following functions are for the checking
of the value of the predicates:
-
collinear (Point p1,Point p2,Point
p3)
-
parallel(Point p1,Point p2,Point
p3,Point p4)
-
perp(Point p1,Point p2,Point
p3,Point p4)
-
circum(Point A,Point B,Point
C,Point D )
-
cyclic(Point A,Point B,Point
C,Point D)
-
midPoint( Point A,Point B,Point
C)
-
cong(Point a,Point b,Point c,Point
d)
-
perpBisector(Point a,Point b,Point
c,Point d)
-
eqangle(AngleNode a1,AngleNode
a2)
-
incenter(Point a,Point b,Point
c,Point d)
-
orthocenter(Point a,Point b,Point
c,Point d)
(each of them returns a boolean
value.)
Some other fuctions are
idfs(int maxdepth,Equation
e1,ProofNode p) -prove the equation equal to zero maximum of maxdepth steps
and return the proof in p.
void writeProof(ProofNode
p) - prints the proof stored in p.