Question: Coordinate question

For practice, I would like to solve the following problem. It is from "Steven Weinberg, Gravitation and Cosmology, p. 7" and was posed in a NG. I planned to define coordinates (x_i; y_i), apply the Pythagorean theorem, and enter the tediously long terms as term1 and term2, respectively. The final result should be term1-term2=0, or "is" should be used. I failed to enter the coordinates - the error message "error=Null" appears.

Question:
How are coordinates and their names of the type described meaningfully defined and entered as term1 and term2, respectively?

The four points P_1, P_2, P_3, P_4 lie in the Euclidean plane. Let
(ij) be the square of the distance between P_i and P_j. Then, it must be proven that

(12)(12)(34)+(13)(13)(24)+(14)(14)(23)+(23)(23)(14)
+(24)(24)(13)+(34)(34)(12)+(12)(23)(31)+(12)(24)(41)
+(13)(34)(41)+(23)(34)(42)
=
(12)(23)( 34)+(13)(32)(24)+(12)(24)(43)+(14)(42)(23)
+(13)(34)(42)+(14)(43)(32)+(23)(31)(14)+(21)(13)(34)
+(24)(41)(13)+(21)(14)(43)+(31)(12)(24)+(32)(21)(14)