За этими определениями следуют пять постулатов: «Допустим:
1) что от всякой точки до всякой точки можно провести прямую линию;
2) и что ограниченную прямую можно непрерывно продолжить по прямой;
3) и что из всякого центра и всяким раствором может быть описан круг;
4) и что все прямые углы равны между собой;
5) и если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньше двух прямых, то продолженные неограниченно эти две прямые встретятся с той стороны, где углы меньше двух прямых».
a2(b + c – a) – b2(c + a – b) = (a2 – b2)c – (a2 + b2)(a – b) = (a – b)(ac + bc – a2 – b2) (1).
Аналогично, (b – c)(ba + ca – b2 – c2) = 0 (2)
и (c – a)(cb + ab – c2 – a2) = 0 (3).
Пусть a = b. Тогда из равенства (2) получим, что с(a – c)2 = 0, откуда, учитывая, что с ≠ 0, следует, что и с = a.
Аналогично все числа равны, если a = c или b = c.
Пусть все числа различны. Тогда a2 + b2 – ac – bc = b2 + c2 – ab – ac = c2 + a2 – bc – ab = 0. Складывая, получим:
0 = 2a2 + 2b2 + 2c2 – 2ab – 2ac – 2bc = (a – b)2 + (b – c)2 + (a – c)2 = 0.
3*1=3
3+2=5