Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5487
Tytuł: | Circumcenter, Circumcircle and Centroid of a Triangle |
Autorzy: | Coghetto, Roland |
Słowa kluczowe: | Euclidean geometry perpendicular bisector circumcenter circumcircle centroid extended law of sines |
Data wydania: | 2016 |
Data dodania: | 16-maj-2017 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 24, Issue 1, pp. 17-26 |
Abstrakt: | We introduce, using the Mizar system [1], some basic concepts of Euclidean geometry: the half length and the midpoint of a segment, the perpendicular bisector of a segment, the medians (the cevians that join the vertices of a triangle to the midpoints of the opposite sides) of a triangle. We prove the existence and uniqueness of the circumcenter of a triangle (the intersection of the three perpendicular bisectors of the sides of the triangle). The extended law of sines and the formula of the radius of the Morley’s trisector triangle are formalized [3]. Using the generalized Ceva’s Theorem, we prove the existence and uniqueness of the centroid (the common point of the medians [4]) of a triangle. |
Afiliacja: | Coghetto Roland - Rue de la Brasserie 5 7100 La Louvière, Belgium |
URI: | http://hdl.handle.net/11320/5487 |
DOI: | 10.1515/forma-2016-0002 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2016, Volume 24, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2016-0002.pdf | 238,55 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL