Talk:Square Root of Sum as Sum of Square Roots

Choosing to equate the parts chosen was arbitrary, the choice simply leads to a nice algebraic manipulation --Ybab321 (talk) 11:22, 19 September 2014 (UTC)


 * This result is neat, and not seen very often. Good job. --prime mover (talk) 22:44, 19 September 2014 (UTC)


 * Incidentally I see you're getting in a bit of a knot trying to work out which steps are $\iff$ and which are not ... does it matter that the steps may or may not be reversible? Can't we just stick $\implies$ in front of all the rules? We're only interested in the implications going one way, unless I'm missing something fundamental. If we *do* need the argument to go two ways (I can't see why we would), then best thing would be to craft the opposite direction argument as a separate section. --prime mover (talk) 07:28, 20 September 2014 (UTC)