A note about Euler's inequality and automated reasoning with dynamic geometry

07/31/2017

∙

by   Zoltán Kovács, et al.

∙

0

∙

share

Using implicit loci in GeoGebra Euler's R≥ 2r inequality can be investigated in a novel way. Some unavoidable side effects of the implicit locus computation introduce unexpected algebraic curves. By using a mixture of symbolic and numerical methods a possible approach is sketched up to investigate the situation.