Area in non-Euclidean geometry

We start by recalling the classical theorem of Girard on the area of a spherical triangle in terms of its angle sum, and its analogue in hyperbolic geometry. We then use a formula of Euler for the area of a spherical triangle in terms of side lengths and its analogue in hyperbolic geometry in order to give an equality for the distance between the midpoints of two sides of a spherical (respectively hyperbolic) triangle, in terms of the third side. These equalities give quantitative versions of the positivity (respectively negativity) of the curvature in the sense of Busemann. We present several other results related to area in non-Euclidean geometry.