Displaying 21 – 40 of 152

Showing per page

Characterization of Low Dimensional RCD*(K, N) Spaces

Yu Kitabeppu, Sajjad Lakzian (2016)

Analysis and Geometry in Metric Spaces

In this paper,we give the characterization of metric measure spaces that satisfy synthetic lower Riemannian Ricci curvature bounds (so called RCD*(K, N) spaces) with non-empty one dimensional regular sets. In particular, we prove that the class of Ricci limit spaces with Ric ≥ K and Hausdorff dimension N and the class of RCD*(K, N) spaces coincide for N < 2 (They can be either complete intervals or circles). We will also prove a Bishop-Gromov type inequality (that is ,roughly speaking, a converse...

Circumcenter, Circumcircle and Centroid of a Triangle

Roland Coghetto (2016)

Formalized Mathematics

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 of the radius...

Currently displaying 21 – 40 of 152