Mdthbs

Make all the squares explode

How can this pool heater gas line be disconnected?

How can a Lich look like a human without magic?

Extracting sublists that contain similar elements

Bishop Berkeley's ideas put to the test

Size of a folder with du

Plastic-on-plastic lubricant that wont leave a residue?

Two researchers want to work on the same extension to my paper. Who to help?

Was this a power play by Daenerys?

Can I use my laptop, which says 100-240V, in the USA?

When a land becomes a creature, is it untapped?

Run script for 10 times until meets the condition, but break the loop if it meets the condition during iteration

On studying Computer Science vs. Software Engineering to become a proficient coder

Why was castling bad for white in this game, and engine strongly prefered trading queens?

Setting the major mode of a new buffer interactively

Why is “Ich wusste, dass aus dir mal was wird” grammitally correct?

What food production methods would allow a metropolis like New York to become self sufficient

Meaning of「〜てみたいと思います」

Can the sorting of a list be verified without comparing neighbors?

Why was Thor doubtful about his worthiness to Mjolnir?

Why does getw return -1 when trying to read a character?

Why was Endgame Thanos so different than Infinity War Thanos?

A curve pass via points at TiKz

tikz: not so precise graphic

Is taking modulus on both sides of an equation valid?

Square root of a squared number changes sign, which to apply first?Why is it valid to multiply both sides of an equation by its complex conjugate?Will there be two square roots for a Complex number?Taking Mod on both sides, mathematically correct?Solving and graphing all values of $z$.When do you take into account the +2kpi for complex numbers arguments in complex equations$z^2 = sqrt3+ 3i$ (complex equation)Range of sum of complex numberssolve $(x+iy)^2= a+ ib$Question on the logic of a proof involving complex numbers

2

$begingroup$

This might look like a copy of another question, but what I'm about to propose here is new. There's this question,

Find the least positive integral value of n for which $(frac{1+i}{1-i})^n = 1$

While solving, if we multiply what is within the bracket, by the conjugate of denominator and divide by the same thing, we get $i$ in the bracket, that means, the question boils down to

$i ^ n= 1$

We know that the least positive value $n$ can have is $4$, for $i^n$ to be $1$.
Done.
Now,
IF I were to solve it by taking mod on both sides of the given equation,
I would get

$Big(frac{|1+i|}{|1-i|}Big)^n = |1|$

$Big(frac{sqrt{2}}{sqrt{2}}Big)^n = 1$

$1^n = 1$

NOTE that the least positive value of $n$ changes from $4$ to $1$.

Why is it so?
I read an answer on stack exchange, that it is valid to do anything with the equation until it maintains the equality. I didn't destroy the equality, so why does the answer vary?

Is there any restriction as to where to use the "taking-mod-both-sides" thing?

complex-numbers

share|cite|improve this question

edited 2 hours ago

Ryan Shesler

42911

asked 2 hours ago

user231094user231094

111

New contributor

user231094 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

• 
  
  
  

  
  4
  

  
  
  
  
  
  

  
  $begingroup$
  If $a=b$, then $|a|=|b|$. In this sense, it is "valid" to take the modulus of both sides. It is not necessarily the case, however, that if $|a|=|b|$, then $a=b$. Assuming this latter statement is what is leading you to incorrectly conclude that $n=1$ is a solution to the original problem.
  $endgroup$
  – jawheele
  2 hours ago
  
  
  

  
  
  
  

add a comment | 

2

$begingroup$

This might look like a copy of another question, but what I'm about to propose here is new. There's this question,

Find the least positive integral value of n for which $(frac{1+i}{1-i})^n = 1$

While solving, if we multiply what is within the bracket, by the conjugate of denominator and divide by the same thing, we get $i$ in the bracket, that means, the question boils down to

$i ^ n= 1$

We know that the least positive value $n$ can have is $4$, for $i^n$ to be $1$.
Done.
Now,
IF I were to solve it by taking mod on both sides of the given equation,
I would get

$Big(frac{|1+i|}{|1-i|}Big)^n = |1|$

$Big(frac{sqrt{2}}{sqrt{2}}Big)^n = 1$

$1^n = 1$

NOTE that the least positive value of $n$ changes from $4$ to $1$.

Why is it so?
I read an answer on stack exchange, that it is valid to do anything with the equation until it maintains the equality. I didn't destroy the equality, so why does the answer vary?

Is there any restriction as to where to use the "taking-mod-both-sides" thing?

complex-numbers

share|cite|improve this question

edited 2 hours ago

Ryan Shesler

42911

asked 2 hours ago

user231094user231094

111

New contributor

user231094 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

• 
  
  
  

  
  4
  

  
  
  
  
  
  

  
  $begingroup$
  If $a=b$, then $|a|=|b|$. In this sense, it is "valid" to take the modulus of both sides. It is not necessarily the case, however, that if $|a|=|b|$, then $a=b$. Assuming this latter statement is what is leading you to incorrectly conclude that $n=1$ is a solution to the original problem.
  $endgroup$
  – jawheele
  2 hours ago
  
  
  

  
  
  
  

add a comment | 

$begingroup$

This might look like a copy of another question, but what I'm about to propose here is new. There's this question,

Find the least positive integral value of n for which $(frac{1+i}{1-i})^n = 1$

While solving, if we multiply what is within the bracket, by the conjugate of denominator and divide by the same thing, we get $i$ in the bracket, that means, the question boils down to

$i ^ n= 1$

We know that the least positive value $n$ can have is $4$, for $i^n$ to be $1$.
Done.
Now,
IF I were to solve it by taking mod on both sides of the given equation,
I would get

$Big(frac{|1+i|}{|1-i|}Big)^n = |1|$

$Big(frac{sqrt{2}}{sqrt{2}}Big)^n = 1$

$1^n = 1$

NOTE that the least positive value of $n$ changes from $4$ to $1$.

Why is it so?
I read an answer on stack exchange, that it is valid to do anything with the equation until it maintains the equality. I didn't destroy the equality, so why does the answer vary?

Is there any restriction as to where to use the "taking-mod-both-sides" thing?

complex-numbers

share|cite|improve this question

edited 2 hours ago

Ryan Shesler

42911

asked 2 hours ago

user231094user231094

111

New contributor

user231094 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

share|cite|improve this question

edited 2 hours ago

Ryan Shesler

42911

asked 2 hours ago

user231094user231094

111

New contributor

user231094 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

share|cite|improve this question

edited 2 hours ago

Ryan Shesler

42911

asked 2 hours ago

user231094user231094

111

New contributor

user231094 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

edited 2 hours ago

Ryan Shesler

42911

edited 2 hours ago

Ryan Shesler

42911

asked 2 hours ago

user231094user231094

111

New contributor

user231094 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked 2 hours ago

user231094user231094

111

2 Answers
2

active

oldest

votes

5

$begingroup$

The problem is, "taking-mod-of-both-sides" is valid, but only gives a one way implication. If $z_{1} = z_{2}$ then $|z_{1}| = |z_{2}|$. But there are lots of possibilities for $z_{3}$,$z_{4}$ with $|z_{3}| = |z_{4}|$ and $z_{3} neq z_{4}$, since modulus is not a one-to-one map.

When you look at ${left(frac{1+mathrm{i}}{1-mathrm{i}}right)}^{n}$, this always has modulus $1$ for all values of $n$. But this just means it lies on the unit circle in the complex plane, it does not mean that it is equal to 1.

share|cite|improve this answer

edited 2 hours ago

answered 2 hours ago

Morgan RodgersMorgan Rodgers

9,97731440

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  It is a many to one map
  $endgroup$
  – Arjang
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So while solving questions relating to this, how am I supposed to know that my taking mod would yield me a valid result? With reference to the quoted example question, of course.
  $endgroup$
  – user231094
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user231094 In order to know, you can explicitly check the result you obtain after taking the modulus. For instance, in the originally posed problem, we can explicitly check that $n=1$ is not a solution, i.e. $frac{i+1}{i-1} neq 1$. Sometimes taking the modulus might help you narrow down the possible solutions, even if it doesn't tell you the solutions exactly. Oftentimes, it's more useful in determining what the solutions aren't.
  $endgroup$
  – jawheele
  2 hours ago
  

  
  
  
  

add a comment | 

2

$begingroup$

I'm sure you have learned that when solving equations, if you square both sides you can introduce spurious solutions. The point is that
$$A = B implies A^2 = B^2
$$
but the converse can fail. That's why we teach algebra students to check their answers back in the original equation.

Taking the modulus on both sides of the equation has the same effect:
$$A = B implies |A| = |B|
$$
but the converse can fail, for example $|i|=|1|$ but $i ne 1$.

When you took the modulus on both sides of your equation, you introduced spurious solutions. So you have to check each answer to see if it satisfies the original equation.

share|cite|improve this answer

answered 2 hours ago

Lee MosherLee Mosher

53k33892

$endgroup$

add a comment | 

Your Answer

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});

user231094 is a new contributor. Be nice, and check out our Code of Conduct.

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3222731%2fis-taking-modulus-on-both-sides-of-an-equation-valid%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

5

$begingroup$

The problem is, "taking-mod-of-both-sides" is valid, but only gives a one way implication. If $z_{1} = z_{2}$ then $|z_{1}| = |z_{2}|$. But there are lots of possibilities for $z_{3}$,$z_{4}$ with $|z_{3}| = |z_{4}|$ and $z_{3} neq z_{4}$, since modulus is not a one-to-one map.

When you look at ${left(frac{1+mathrm{i}}{1-mathrm{i}}right)}^{n}$, this always has modulus $1$ for all values of $n$. But this just means it lies on the unit circle in the complex plane, it does not mean that it is equal to 1.

share|cite|improve this answer

edited 2 hours ago

answered 2 hours ago

Morgan RodgersMorgan Rodgers

9,97731440

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  It is a many to one map
  $endgroup$
  – Arjang
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So while solving questions relating to this, how am I supposed to know that my taking mod would yield me a valid result? With reference to the quoted example question, of course.
  $endgroup$
  – user231094
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user231094 In order to know, you can explicitly check the result you obtain after taking the modulus. For instance, in the originally posed problem, we can explicitly check that $n=1$ is not a solution, i.e. $frac{i+1}{i-1} neq 1$. Sometimes taking the modulus might help you narrow down the possible solutions, even if it doesn't tell you the solutions exactly. Oftentimes, it's more useful in determining what the solutions aren't.
  $endgroup$
  – jawheele
  2 hours ago
  

  
  
  
  

add a comment | 

5

$begingroup$

The problem is, "taking-mod-of-both-sides" is valid, but only gives a one way implication. If $z_{1} = z_{2}$ then $|z_{1}| = |z_{2}|$. But there are lots of possibilities for $z_{3}$,$z_{4}$ with $|z_{3}| = |z_{4}|$ and $z_{3} neq z_{4}$, since modulus is not a one-to-one map.

When you look at ${left(frac{1+mathrm{i}}{1-mathrm{i}}right)}^{n}$, this always has modulus $1$ for all values of $n$. But this just means it lies on the unit circle in the complex plane, it does not mean that it is equal to 1.

share|cite|improve this answer

edited 2 hours ago

answered 2 hours ago

Morgan RodgersMorgan Rodgers

9,97731440

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  It is a many to one map
  $endgroup$
  – Arjang
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So while solving questions relating to this, how am I supposed to know that my taking mod would yield me a valid result? With reference to the quoted example question, of course.
  $endgroup$
  – user231094
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user231094 In order to know, you can explicitly check the result you obtain after taking the modulus. For instance, in the originally posed problem, we can explicitly check that $n=1$ is not a solution, i.e. $frac{i+1}{i-1} neq 1$. Sometimes taking the modulus might help you narrow down the possible solutions, even if it doesn't tell you the solutions exactly. Oftentimes, it's more useful in determining what the solutions aren't.
  $endgroup$
  – jawheele
  2 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

The problem is, "taking-mod-of-both-sides" is valid, but only gives a one way implication. If $z_{1} = z_{2}$ then $|z_{1}| = |z_{2}|$. But there are lots of possibilities for $z_{3}$,$z_{4}$ with $|z_{3}| = |z_{4}|$ and $z_{3} neq z_{4}$, since modulus is not a one-to-one map.

When you look at ${left(frac{1+mathrm{i}}{1-mathrm{i}}right)}^{n}$, this always has modulus $1$ for all values of $n$. But this just means it lies on the unit circle in the complex plane, it does not mean that it is equal to 1.

share|cite|improve this answer

edited 2 hours ago

answered 2 hours ago

Morgan RodgersMorgan Rodgers

9,97731440

$endgroup$

share|cite|improve this answer

edited 2 hours ago

answered 2 hours ago

Morgan RodgersMorgan Rodgers

9,97731440

answered 2 hours ago

Morgan RodgersMorgan Rodgers

9,97731440

answered 2 hours ago

Morgan RodgersMorgan Rodgers

9,97731440

2

$begingroup$

I'm sure you have learned that when solving equations, if you square both sides you can introduce spurious solutions. The point is that
$$A = B implies A^2 = B^2
$$
but the converse can fail. That's why we teach algebra students to check their answers back in the original equation.

Taking the modulus on both sides of the equation has the same effect:
$$A = B implies |A| = |B|
$$
but the converse can fail, for example $|i|=|1|$ but $i ne 1$.

When you took the modulus on both sides of your equation, you introduced spurious solutions. So you have to check each answer to see if it satisfies the original equation.

share|cite|improve this answer

answered 2 hours ago

Lee MosherLee Mosher

53k33892

$endgroup$

add a comment | 

2

$begingroup$

I'm sure you have learned that when solving equations, if you square both sides you can introduce spurious solutions. The point is that
$$A = B implies A^2 = B^2
$$
but the converse can fail. That's why we teach algebra students to check their answers back in the original equation.

Taking the modulus on both sides of the equation has the same effect:
$$A = B implies |A| = |B|
$$
but the converse can fail, for example $|i|=|1|$ but $i ne 1$.

When you took the modulus on both sides of your equation, you introduced spurious solutions. So you have to check each answer to see if it satisfies the original equation.

share|cite|improve this answer

answered 2 hours ago

Lee MosherLee Mosher

53k33892

$endgroup$

add a comment | 

$begingroup$

I'm sure you have learned that when solving equations, if you square both sides you can introduce spurious solutions. The point is that
$$A = B implies A^2 = B^2
$$
but the converse can fail. That's why we teach algebra students to check their answers back in the original equation.

Taking the modulus on both sides of the equation has the same effect:
$$A = B implies |A| = |B|
$$
but the converse can fail, for example $|i|=|1|$ but $i ne 1$.

When you took the modulus on both sides of your equation, you introduced spurious solutions. So you have to check each answer to see if it satisfies the original equation.

share|cite|improve this answer

answered 2 hours ago

Lee MosherLee Mosher

53k33892

$endgroup$

share|cite|improve this answer

answered 2 hours ago

Lee MosherLee Mosher

53k33892

answered 2 hours ago

Lee MosherLee Mosher

53k33892

answered 2 hours ago

Lee MosherLee Mosher

53k33892