This GeoGebraBook contains some examples about the new GeoGebra features for automated reasoning in Elementary Geometry. The background of these new features is based in algebraic geometry methods performed internally by GeoGebra.
We can discover and/or prove relations between objects in a GeoGebra construction. In this context, statements could be:
[list]
[*]"Always true": true for all instances of the geometric construction.
[*]"Generally true": true except if degenerate.
[*]"False in general": false except for some degenarate case.
[*]"True on parts, false on parts": a particular issue, namely, the case of statements that are true on non degenerate parts of the construction and false in some others, i.e. neithr true nor false.
[/list]
