document.write( "Question 1208325: True or False: If S, P, and A are the cube roots of a complex number, then Arg(S)+Arg(P)=2×Arg(A). \n" ); document.write( "
Algebra.Com's Answer #846675 by ikleyn(52790)\"\" \"About 
You can put this solution on YOUR website!
.
\n" ); document.write( "True or False: If S, P, and A are the cube roots of a complex number, then Arg(S)+Arg(P)=2×Arg(A).
\n" ); document.write( "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "
\r\n" );
document.write( "Mathematical symbol Arg (written with capital \"A\") is the principal value of the argument \r\n" );
document.write( "of a complex number. In distinction from \"arg\" (written with lowercase  \"a\"), Arg is always\r\n" );
document.write( "in the interval  [\"0\",\"2pi\"),  while arg can differ from Arg by any integer multiple of \"2pi\".\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Let's consider  first a simplest case of cube roots S, P and A of the number 1 (real one).\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "They have principal arguments  0, \"2pi%2F3\"  and \"4pi%2F3\".\r\n" );
document.write( "\r\n" );
document.write( "If to take these cube roots and their principal arguments in this order \r\n" );
document.write( "\r\n" );
document.write( "    s = 0,  p = \"2pi%2F3\" , a = \"4pi%2F3\",\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "where s = Arg(S), p = Arg(P), a = arg(A), then the equality s + p = 2a  becomes  0 + \"2pi%2F3\" = \"2%2A%284pi%2F3%29\",\r\n" );
document.write( "which does not work (is FALSE).  It works ONLY if we consider the equality by the modulo \"2pi\".\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "If we take the roots and the sum of their principal arguments in other order, like s + a = 2p, we see that it works.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "So, in order for the equality  s + p = 2a  be universal and work for any order of addends,\r\n" );
document.write( "the formulation of the problem must be changed. The equality  s + p = 2a  should be considered by modulo \"2pi\".\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Then this modified statement will be true for any permutations (and for any order) of cube roots.\r\n" );
document.write( "\r\n" );
document.write( "So, the correct formulation in this problem MUST BE\r\n" );
document.write( "\r\n" );
document.write( "    Arg(S) + Arg(P) = 2*Arg(A)  (mod \"2pi\").\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "In this formulation, the statement of the problem is true independently of the order of addends.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "For the proof in the general case, let S be the cube root of the complex number with the smallest principal argument s;\r\n" );
document.write( "let P be the cube root of the complex number with the intermediate principal argument p;\r\n" );
document.write( "and let A be the cube root of the complex number with the greatest principal argument \"a\".\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Then, according to the de Moivre formula\r\n" );
document.write( "\r\n" );
document.write( "    p = s + \"2pi%2F3\",  a = s + \"4pi%2F3\".\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "So , from one side,        Arg(S) + Arg(P) = s + p = s + (s + \"2pi%2F3%29\" = 2s + \"2pi%2F3\";\r\n" );
document.write( "\r\n" );
document.write( "     from the other side,  2*Arg(A) = 2*(s + \"4pi%2F3%29\" = 2s + \"8pi%2F3\".\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "But  \"8pi%2F3\"  is the same as  \"2pi%2F3\"  modulo \"2pi\".  Thus, we proved that\r\n" );
document.write( "\r\n" );
document.write( "     Arg(S) + Arg(P) = 2*Arg(A)  (mod \"2pi\")     (1)\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "in this order.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Furthermore, it is obvious, that equality (1) is valid for any permutation of the roots;\r\n" );
document.write( "so, it is valid UNIVERSALLY for any order of the principal arguments.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "At this point the proof and the solution are completed.\r\n" );
document.write( "
\r
\n" ); document.write( "\n" ); document.write( "Solved.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "But please note that it is valid universally ONLY for the modified formulation,
\n" ); document.write( "where the equality is by modulo \"2pi\".\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Otherwise, it is EITHER invalid, OR is invalid as a universal equality for any/arbitrary order of the cube roots
\n" ); document.write( "(and, respectively, for any/arbitrary order of their principal arguments).\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "
\n" ); document.write( "
\n" );