Automatic Discovery 

 

 

Algebra helps Geometry 

 

 

Elimination 

 

 

GDI 

 

ortico is equilateral 

 

Bisectores