Some Facts about Trigonometry and Euclidean Geometry
We calculate the values of the trigonometric functions for angles: [XXX] , by [16]. After defining some trigonometric identities, we demonstrate conventional trigonometric formulas in the triangle, and the geometric property, by [14], of the triangle inscribed in a semicircle, by the proposition 3.3...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2014-12-01
|
Series: | Formalized Mathematics |
Subjects: | |
Online Access: | https://doi.org/10.2478/forma-2014-0031 |
id |
doaj-2ec5aa35e4fb4a2ba57b9027fe2d0cd9 |
---|---|
record_format |
Article |
spelling |
doaj-2ec5aa35e4fb4a2ba57b9027fe2d0cd92021-09-05T21:01:04ZengSciendoFormalized Mathematics1898-99342014-12-0122431331910.2478/forma-2014-0031Some Facts about Trigonometry and Euclidean GeometryCoghetto Roland0Rue de la Brasserie 5 7100 La Louvi`ere, BelgiumWe calculate the values of the trigonometric functions for angles: [XXX] , by [16]. After defining some trigonometric identities, we demonstrate conventional trigonometric formulas in the triangle, and the geometric property, by [14], of the triangle inscribed in a semicircle, by the proposition 3.31 in [15]. Then we define the diameter of the circumscribed circle of a triangle using the definition of the area of a triangle and prove some identities of a triangle [9]. We conclude by indicating that the diameter of a circle is twice the length of the radiushttps://doi.org/10.2478/forma-2014-0031euclidean geometrytrigonometrycircumcircleright-angled |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Coghetto Roland |
spellingShingle |
Coghetto Roland Some Facts about Trigonometry and Euclidean Geometry Formalized Mathematics euclidean geometry trigonometry circumcircle right-angled |
author_facet |
Coghetto Roland |
author_sort |
Coghetto Roland |
title |
Some Facts about Trigonometry and Euclidean Geometry |
title_short |
Some Facts about Trigonometry and Euclidean Geometry |
title_full |
Some Facts about Trigonometry and Euclidean Geometry |
title_fullStr |
Some Facts about Trigonometry and Euclidean Geometry |
title_full_unstemmed |
Some Facts about Trigonometry and Euclidean Geometry |
title_sort |
some facts about trigonometry and euclidean geometry |
publisher |
Sciendo |
series |
Formalized Mathematics |
issn |
1898-9934 |
publishDate |
2014-12-01 |
description |
We calculate the values of the trigonometric functions for angles: [XXX] , by [16]. After defining some trigonometric identities, we demonstrate conventional trigonometric formulas in the triangle, and the geometric property, by [14], of the triangle inscribed in a semicircle, by the proposition 3.31 in [15]. Then we define the diameter of the circumscribed circle of a triangle using the definition of the area of a triangle and prove some identities of a triangle [9]. We conclude by indicating that the diameter of a circle is twice the length of the radius |
topic |
euclidean geometry trigonometry circumcircle right-angled |
url |
https://doi.org/10.2478/forma-2014-0031 |
work_keys_str_mv |
AT coghettoroland somefactsabouttrigonometryandeuclideangeometry |
_version_ |
1717781689758908416 |