Displaying similar documents to “The double-elliptic case of the Lie-Riemann-Helmholz-Hilbert problem of the foundations of Geometry”

The "Corolarium II" to the proposition XXIII of Saccheri's .

Albert Dou (1992)

Publicacions Matemàtiques

Similarity:

This "Corolarium" of the (1733) contains an original proof of propositions 1.27 and 1.28 of Euclide's . In the same corollary Saccheri explains why he dispenses "not only with the propositions 1.27 and 1.28, but also with the very propositions 1.16 and 1.17, except when it is clearly dealt with a triangle circumscribed by alls sides"; and also why he rejects Euclide's proof. Moreover the corollarium has implications for confirmation of Saccheri's method; and also for his concept of...

Some Facts about Trigonometry and Euclidean Geometry

Roland Coghetto (2014)

Formalized Mathematics

Similarity:

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...