Algebra.Com's Answer #846675 by ikleyn(52790)  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 [ , ), while arg can differ from Arg by any integer multiple of .\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, and .\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 = , a = ,\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 + = ,\r\n" );
document.write( "which does not work (is FALSE). It works ONLY if we consider the equality by the modulo .\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 .\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 ).\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 + , a = s + .\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "So , from one side, Arg(S) + Arg(P) = s + p = s + (s + = 2s + ;\r\n" );
document.write( "\r\n" );
document.write( " from the other side, 2*Arg(A) = 2*(s + = 2s + .\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "But is the same as modulo . Thus, we proved that\r\n" );
document.write( "\r\n" );
document.write( " Arg(S) + Arg(P) = 2*Arg(A) (mod ) (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 .\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( " |