Abstract
The goal of this article is to formalize some theorems that are in the [17] on the web. These are elementary theorems included in every handbook of Euclidean geometry and trigonometry: the law of cosines, the Heron's formula, the isosceles triangle theorem, the intersecting chords theorem and the Ptolemy's theorem.
MML identifier: EUCLID 6, version: 7.8.09 4.97.1001
Language: English
Page range: 97 - 101
Published on: Mar 20, 2009
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2009 Marco Riccardi, published by University of Białystok
This work is licensed under the Creative Commons License.