In the attached file, the trigonometric term (2, term) is transformed into a term (3, term1) consisting of radicals. Is there a Maple procedure that can be used to reverse this process? Given an algebraic term (e.g., consisting of radicals, powers, etc.), under what conditions can it be transformed into a trigonometric form (not a Fourier series) in the sense of (3) according to (2)?test.mw

Download test.mw

...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