A note about Euler's inequality and automated reasoning with dynamic geometry
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.
READ FULL TEXT