Recall that one model for the Real projective plane is the unit sphere S2 with opposite points identified.
On this model we will take "straight lines" (the shortest routes between points) to be great circles (the intersection of the sphere with planes through the centre).
We may then measure distance and angle and we can then look at the elements of PGL(3, R) which preserve his distance. This is a group PO(3) which is in fact the quotient group of O(3) by the scalar matrices. (In fact, since the only scalars in O(3) are I it is isomorphic to SO(3)).
This geometry then satisfies all Euclid's postulates except the 5th. Since any two "straight lines" meet there are no parallels.
This geometry is called Elliptic geometry and is a non-Euclidean geometry.
The sum of the angles of a triangle - p is the area of the triangle.
Take the triangle to be a spherical triangle lying in one hemisphere.
The lines b and c meet in antipodal points A and A' and they define a lune with area 2.
We get a picture as on the right of the sphere divided into 8 pieces with ' the antipodal triangle to and 1 the above lune, etc.
The area = area ', 1 = '1,etc.
Then + 1 = area of the lune = 2
and + 2 = 2
and + 1 = 2
Also 2 + 21 + 22 + 23 = 4p 2 = 2 + 2 + 2 - 2p as required.