The Acta Mathematica Nitriensia is a free electronic journal published by Department of Mathematics Faculty of Natural Sciences and Informatics Constantine the Philosopher University in Nitra.

Papers & Abstracts

Acta Mathematica Nitriensia

Acta Mathematica Nitriensia
Vol. 7, No. 1, 2021


Content



Martin Billich:Priečky lichobežníka v prostredí programu GeoGebra
Full paper(Trapezoid’s Transversals in GeoGebra Environment)

Abstract: In this article we present a few possibilities how to use special GeoGebra commands and tools. We focus on certain relations among geometric objects in a planar construction, especially for the trapezoid and its transversals. Dynamic geometry environment of GeoGebra software for symbolic checks of any relations allowing derivation, proving and discovering of theorems related to constructed geometric figures. Approach of using a low-level GeoGebra automated reasoning tools (LocusEquation, Relation, Prove, ProveDetails) is presented on some geometric situations for trapezoid transversals. Moreover, in all cases verifications and proving of the constructive geometric facts based on the method of calculation of area are included, too.

Keywords: GeoGebra, trapezoid, transversals, area method

Classification: H30, R20

Pages: 10 - 20

DOI: 10.17846/AMN.2021.7.1.10-20

Full paper