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 |