28 October 2021

Proving inequalities

This entry is just an addendum to yesterday's communication. Now several new examples work correctly, and there is also support for proving inequalities directly.


Please follow these steps to directly prove the triangle inequality:
  1. Click on the 5. toolset in the Toolbar and select the first tool (Polygon ).
  2. Draw a triangle in the Graphics area (on the right) by creating three points, and then click on the first point again.
  3. Click on the last, empty line in the Algebra view (on the left) and type Prove(a+b>c) and press ENTER.
  4. GeoGebra reports true as the result of the computation.

Further experiments

At the moment, you can safely try the following examples: And a lot of additional ones... Good luck!


Continue reading…

See also a filtered list of the entries on topics GeoGebra, technical developments or internal references in the Bible.


Zoltán Kovács
Linzer Zentrum für Mathematik Didaktik
Johannes Kepler Universität
Altenberger Strasse 54
A-4040 Linz