Displaying similar documents to “The 'Corolarium II' to the proposition XXIII of Saccheri's Euclides.”

An Exciting New Arabic Version of Euclid’s Elements: MS Mumbai, MULLĀ FĪ RŪ Z R.I.6

Sonja Brentjes (2006)

Revue d'histoire des mathématiques

Similarity:

This paper introduces an anonymous and undated Arabic version of Euclid’s . It tries to determine its relationship to the textual history of the Arabic as known today. The value of the version, the paper argues, is its close relationship to the works of the first known translator of Euclid’s into Arabic, al-Ḥajjāj b.Yūsuf b.Maṭar, the light it sheds on philosophical debates surrounding the , and the new textual basis (BooksI toIX with some lacunae) it yields for the further study of...

Circumcenter, Circumcircle and Centroid of a Triangle

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

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