Talk:Modulus Larger than Real Part and Imaginary Part

From ProofWiki
Jump to navigation Jump to search

Suggestion about refactoring

I suggest that we 1) Rename the theorem to Modulus Larger than Real Part and Imaginary Part, and 2) rewrite the theorem so it becomes two inequalities for real parts and imaginary parts, labelled $(1)$ and $(2)$. While I realize that we are stating two facts here, I think that the facts and the proofs thereof is so similar that it's worth having them on the same page. --Anghel (talk) 15:02, 2 January 2013 (UTC)

Good call. Rename done - feel free to do the rest of it. --prime mover (talk) 15:31, 2 January 2013 (UTC)
It was the suggestion of Lord_Farin, so it was his call. I've implemented the split in inequalities $(1)$ and $(2)$. --Anghel (talk) 16:01, 2 January 2013 (UTC)
Adequately dealt with, both of you. Thanks for your time and come again :). (FFR, my alias is meant to be spelt with an underscore; I realized only a long, long time after that removing the underscore makes it rather... pretentious.) --Lord_Farin (talk) 16:15, 2 January 2013 (UTC)