Abstract
The process of proving, deriving and discovering theorems is important in mathematics investigation. In this paper, we will use the elimination technique which is based on the theory of the area method. The main idea of this method will be illustrated through an example from plane geometry. In addition, we look at the application possibilities of using GCLC geometry system with built-in theorem prover in verification and proving constructive geometric statements.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The signed area of a triangle is the area of a triangle with a sign depending on its orientation in the plane. We have anticlockwise, positive sign, and clockwise, negative sign.
References
S. Chou, X.S. Gao, J.Z. Zhang, Machine Proofs in Geometry—Automated Production of Readable Proofs for Geometry Theorems (World Scientific, Singapore, 1994)
J. Gunčaga, Regulated functions and integrability, in 70 Annales Universitatis Paedagogicae Cracoviensis: Studia Mathematica VIII, vol. 8 (2009), pp. 43–56
P. Janičić, P. Quaresma, System description: GCLCprover + GeoThms, in International Joint Conference on Automated Reasoning. Lecture Notes in Artificial Intelligence (Springer, Berlin, 2006), pp. 145–150
D. Kapur, On the decision problem and the mechanization of theorem proving in elementary geometry. J. Symb. Comput. 2(4), 399–408 (1986)
P. Quaresma, P. Janičić, Framework for the constructive geometry. Technical Report TR2006/001, Center for Informatics and Systems of the University of Coimbra (2006)
P. Quaresma, P. Janičić, The area method, rigorous proofs of lemmas in Hilbert’s style axioms systems. Technical Report TR2009/001, Center for Informatics and Systems of the University of Coimbra (2009)
W.T. Wu, Using Gröbner bases to reason about geometry problems. Sci. Sin. 21, 157–179 (1978)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Billich, M. (2015). The Area Method and Proving Plane Geometry Theorems. In: Mityushev, V., Ruzhansky, M. (eds) Current Trends in Analysis and Its Applications. Trends in Mathematics(). Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-12577-0_48
Download citation
DOI: https://doi.org/10.1007/978-3-319-12577-0_48
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-12576-3
Online ISBN: 978-3-319-12577-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)