...flies around in the spatial Cartesian coordinate system and impacts the coordinate planes xy, xz, and yz with exactly one impact. This creates circular impressions on the coordinate planes in this order, with the radii r1, r2, and r3, which are assumed to be known. From these, the sphere's radius r and the coordinates of its center can be determined?

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)

In the attached file, (6) is stated as "false." However, it is possible to prove with pen and paper that term1 = term2. In (5), the limit function is sought but not determined.
What am I doing wrong?test1.mw
 

Download test1.mw

In the attached file, I would like to determine the real part of the complex term2. I'm asking for your help.test.mw

Download test.mw

On my journey of discovery through the world of Maple, I would like to ask for help again:
How are the properties of variables and the indexing of sequences handled/determined? For this purpose, I chose an old problem from a challenging MO as an exercise and tried it in the attached file, which, of course, failed.

Download test.mw