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

07/31/2017 ∙ by Zoltán Kovács, et al. ∙ 0

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
POST COMMENT

Comments

There are no comments yet.

Authors

page 7

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.