4,551 research outputs found
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.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.Rue de la Brasserie 5 7100 La Louvi`ere, BelgiumGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Czesław Bylinski. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.Czesław Bylinski. Introduction to real linear topological spaces. Formalized Mathematics, 13(1):99-107, 2005.Czesław Bylinski. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.H.S.M. Coxeter and S.L. Greitzer. Geometry Revisited. The Mathematical Association of America (Inc.), 1967.Agata Darmochwał. Compact spaces. Formalized Mathematics, 1(2):383-386, 1990.Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Alicia de la Cruz. Totally bounded metric spaces. Formalized Mathematics, 2(4):559-562, 1991.Nikolai Vladimirovich Efimov. G´eom´etrie sup´erieure. Mir, 1981.Richard Fitzpatrick. Euclid’s Elements. Lulu.com, 2007.Robin Hartshorne. Geometry: Euclid and beyond. Springer, 2000.Stanisława Kanas, Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607-610, 1990.Artur Korniłowicz and Yasunari Shidama. Inverse trigonometric functions arcsin and arccos. Formalized Mathematics, 13(1):73-79, 2005.Akihiro Kubo and Yatsuka Nakamura. Angle and triangle in Euclidean topological space. Formalized Mathematics, 11(3):281-287, 2003.Robert Milewski. Trigonometric form of complex numbers. Formalized Mathematics, 9 (3):455-460, 2001.Yatsuka Nakamura. General Fashoda meet theorem for unit circle and square. Formalized Mathematics, 11(3):213-224, 2003.Yatsuka Nakamura and Czesław Bylinski. Extremal properties of vertices on special polygons. Part I. Formalized Mathematics, 5(1):97-102, 1996.Chanapat Pacharapokin, Kanchun, and Hiroshi Yamazaki. Formulas and identities of trigonometric functions. Formalized Mathematics, 12(2):139-141, 2004.Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.Marco Riccardi. Heron’s formula and Ptolemy’s theorem. Formalized Mathematics, 16 (2):97-101, 2008. doi:10.2478/v10037-008-0014-2.Andrzej Trybulec and Czesław Bylinski. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255-263, 1998
Did Lobachevsky Have A Model Of His "imaginary Geometry"?
The invention of non-Euclidean geometries is often seen through the optics of
Hilbertian formal axiomatic method developed later in the 19th century. However
such an anachronistic approach fails to provide a sound reading of
Lobachevsky's geometrical works. Although the modern notion of model of a given
theory has a counterpart in Lobachevsky's writings its role in Lobachevsky's
geometrical theory turns to be very unusual. Lobachevsky doesn't consider
various models of Hyperbolic geometry, as the modern reader would expect, but
uses a non-standard model of Euclidean plane (as a particular surface in the
Hyperbolic 3-space). In this paper I consider this Lobachevsky's construction,
and show how it can be better analyzed within an alternative non-Hilbertian
foundational framework, which relates the history of geometry of the 19th
century to some recent developments in the field.Comment: 31 pages, 8 figure
Trigonometry of spacetimes: a new self-dual approach to a curvature/signature (in)dependent trigonometry
A new method to obtain trigonometry for the real spaces of constant curvature
and metric of any (even degenerate) signature is presented. The method
encapsulates trigonometry for all these spaces into a single basic
trigonometric group equation. This brings to its logical end the idea of an
absolute trigonometry, and provides equations which hold true for the nine
two-dimensional spaces of constant curvature and any signature. This family of
spaces includes both relativistic and non-relativistic homogeneous spacetimes;
therefore a complete discussion of trigonometry in the six de Sitter,
minkowskian, Newton--Hooke and galilean spacetimes follow as particular
instances of the general approach. Any equation previously known for the three
classical riemannian spaces also has a version for the remaining six
spacetimes; in most cases these equations are new. Distinctive traits of the
method are universality and self-duality: every equation is meaningful for the
nine spaces at once, and displays explicitly invariance under a duality
transformation relating the nine spaces. The derivation of the single basic
trigonometric equation at group level, its translation to a set of equations
(cosine, sine and dual cosine laws) and the natural apparition of angular and
lateral excesses, area and coarea are explicitly discussed in detail. The
exposition also aims to introduce the main ideas of this direct group
theoretical way to trigonometry, and may well provide a path to systematically
study trigonometry for any homogeneous symmetric space.Comment: 51 pages, LaTe
- …