13
$\begingroup$

In the question here: $\sqrt a$ is either an integer or an irrational number.

There was an answer by Douglas S Stones:

" If $\sqrt{a}=x/y$ where $y$ does not divide $x$, then $a=(\sqrt{a})^2=x^2/y^2$ is not an integer (since $y^2$ does not divide $x^2$), giving a contradiction. "

Two people whose opinions I respect claimed that this proof approach was "totally bogus/circular".

I don't really see how this is circular, or bogus for that matter.

Doesn't the result follow immediately from unique factorization?

So my question is: What is wrong with that answer?

  • 6
    Of course it follows from unique factorization - that's precisely the point. You have to mention *why* the inference holds. Many students think that no justification is required - that it's "obvious".2010-09-13
  • 1
    @Bill: Once you know unique factorization, it _is_ obvious. I was hoping the objections were something more subtle than that! Anyway, I guess I have no reason to be concerned :-)2010-09-13
  • 8
    It begs the question; the assertion is that $x$ doesn't divide $y$ implies that $x^2$ doesn't divide $y^2$; but no justification for this latter implication is offered. One might suppose from the assertion that the writer assumes that no justification is necessary. But there is a domain $R$ and elements $x$ and $y$ of $R$ such that $x^2\mid y^2$ but that $x\not\mid y$. The implication does not follow from the ring axioms (the basic properties of addition and multiplication) but uses special and nontrivial properties of $\mathbb{Z}$.2010-09-13
  • 1
    @Moron: Much of the content of a first number theory course is a consequence of unique factorization. But one cannot omit explicit mention of precisely how those interesting theorems can be proved using unique factorization and related propositions. Moreover, because our hardwired intuition is so rich with knowledge of properties of integer arithmetic, it is especially important to separate informal empirical inferences from logical deductive inference based upon the axiomatic method (ring axioms, induction, etc). Mastering such is crucial in order understand generalizations to other rings.2010-09-14
  • 1
    @Bill/@Robin: I don't see how the comments about other rings etc is relevant to the correctness of Douglas' supposed invalid proof. I presume all that was missing was the phrase "By unique factorization". Unique factorization might be highly non-trivial, but it is a basic fact nowadays and not spelling that out does not invalidate a proof. Anyway, pardon me if I don't respond anymore. Thank you for taking the time to explain the issues.2010-09-14
  • 0
    @Moron: See my comments below. This "proof" gave no clue whatsoever why the author believed that the equivalent statement is true. In 99% of the cases where I've seen precisely this "proof" presented, the author doesn't even realize that the proof requires invoking uniqueness of factorization or some closely related strong result. Instead the author thinks the equivalent statement is obviously true and requires no further justification. A correct proof cannot leave any such doubts. It must have a unique interpretation to a competent reader. As experts here agreed, this proof failed to do so.2010-09-14
  • 0
    @Moron: the comments about other rings are for your enrichment. They have nothing to do with whether or not said proof is correct.2010-09-14
  • 0
    @Bill: I do know about other rings and the failure of unique factorization in some of them. Please do not assume anything about my knowledge regarding these matters (but I do appreciate the insights you provide). This question is about whether there was a logical error in Douglas' proof. I am willing to give him the benefit of doubt that he intended unique factorization, and wasn't making the same mistake as one of your rank novices. To me the reactions to that answer caused me to think there was really something subtle going on. Alas, it was a red herring.2010-09-14
  • 0
    @Moron: I made no assumptions about your knowledge of other rings. Rather the purpose of my prior remark was merely to stress that the correctness of the proof has nothing to do with these remarks about other rings - they were mentioned for other purposes.2010-09-14
  • 5
    I find this thread terrifying.2010-09-14
  • 0
    @Pierre: Please do elaborate. I always do appreciate your thoughtful remarks.2010-09-14
  • 4
    @Bill Dubuque - This thread shows the extent to which we live in a Babel tower! Needless to say that I fully agree with you, Qiaochu Yuan and Robin (I hope I'm not forgetting anybody). But I think Moron and whuber are sincere. 99.9% of the mathematical community would disagree with them, but this doesn't affect their perception of things. In some sense it's good that they say what they think. I often find myself in their situation. There are many mathematical questions on which my opinion is considered as false with even more unanimity than in the case at hand.2010-09-14
  • 6
    @Pierre-Yves: I see little disagreement here, but mainly differences in perspective and emphasis. Moron has made it clear he was seeking a determination of the logical validity of a sequence of statements. The other issues raised by Bill Dubuque and Qiaochu are interesting, important, and valid--how could they not be? The only claim in this entire conversation I would dispute concerns the alleged "circularity" of the proof Moron outlined. A demonstration of circularity requires one to show the consequent was asserted as a supposition. Such a demonstration has not been offered by anyone.2010-09-14
  • 1
    @whuber - I haven't really read the whole thread, and I don't think I can explain math better than Bill Dubuque, Qiaochu Yuan and Robin Chapman. So I'll just say that I see the issue as follows. Either you state clearly that you're using the unique factorization property (UFP) and your argument reduces to the usual one, or you give another justification to sustain your claim. I can't help from feeling that you want to use the UFP, but, for reasons I don't understand, you don't want to say you're using it.2010-09-14
  • 2
    @Pierre: To answer your question, from Douglas himself: http://meta.math.stackexchange.com/questions/793/editing-responses-that-have-perceived-errors/799#799. Frankly, this whole thing has turned into much ado about nothing. Note to self: Now I am _really_ done with this discussion.2010-09-14
  • 4
    @Pierre-Yves: You have an excellent point. A good proof provides not only a logically correct sequence of statements, but also an explicit justification for each one. I actually did invoke the UFP when drafting the response, but then realized it had already been mentioned (*vide* Qiaochu's earlier response) and deleted it as both redundant and obvious (given the quality of the audience I expected for any question that Moron might pose). It was never my (nor, I believe, anyone's) intention to insinuate that the UFP was unnecessary.2010-09-14
  • 2
    @whuber - @Moron - If you want to tell somebody why square root of 2 is irrational, you have to assume that this somebody doesn't know it already! [Thanks to Moron for mentioning the meta thread that I hadn't seen (and thank you to whuber for your very clear comment). I understand your reaction to the way Douglas's answer was edited, but that's another issue. Obviously, you both understand the proof. The question about whuber's accepted answer is NOT "Is it correct?", but "Is it understandable by somebody who doesn't already know this stuff?".]2010-09-15
  • 3
    @whuber - Would you consider kindly adding (for dummies like me) to your answer a sentence saying that you're using the UFP?2010-09-15
  • 2
    @Pierre-Yves: As that's a reasonable request, I have complied, albeit with some trepidation (for I don't really want to reopen this discussion). BTW, there's no need to be self-deprecating: nobody here is a mathematical dummy. Questions of mathematics should never be turned into questions about whether people are smart or not. Nor, for that matter--I'm now taking the opportunity to respond to one of your earlier remarks--should they be resolved by a popular vote :-).2010-09-15
  • 1
    possible duplicate of [$a^{1/2}$ is either an integer or an irrational number.](http://math.stackexchange.com/questions/4467/a1-2-is-either-an-integer-or-an-irrational-number)2010-09-15
  • 0
    (Sorry: this comment got misplaced.) This question seems to have riled up a lot people (even some usually unrilable ones) without throwing any new mathematical light on the previous question on which it is based. I have voted to close.2010-09-15
  • 1
    @whuber - Thank you!!! [If you reread the earlier comment of mine you're referring to, you'll see that I completely agree with you.]2010-09-15
  • 2
    @Pete: You have forced me to respond! This is not a dupe. This question is not about getting a proof that "sqrt(a) is either irrational or integral". It is about a particular incomplete proof of that, which was claimed to be logically invalid: in particular, using circular logic. None of Bill/Qiaochu/Pierre seem to have gotten what I was asking. They kept belaboring that the fact (y^2 not dividing x^2) is equivalent and relies on non-trivial properties of Z (which no one disputes) and that is the reason the proof is using circular logic(which IMO is a bogus claim and prompted this question).2010-09-15
  • 2
    **To those considering voting to close: please discuss on meta first** http://meta.math.stackexchange.com/questions/8142010-09-15
  • 1
    @Moron: The argument boils down to the subjective matter of judging which inferences are trivial enough to omit in a proof. Most experts have opined that in this proof, invocation of unique factorization (or equivalent) *must* be explicitly mentioned. For without doing so there is no way to distinguish a correct proof from the widespread incorrect proofs authored by novices who think that the statement is "obvious" - errors that occurred for centuries before number theory was placed on rigorous foundations by Gauss, Dedekind at al.2010-09-15
  • 1
    @Bill: I never disputed the fact that the proof was incomplete! In fact the proof was _intentionally_ left incomplete so that the reader can fill in the details. I agree it is subjective and IMO asking for too much rigour in an "amateur" forum is completely unreasonable. I still maintain that the claim that the proof uses circular logic is bogus. For instance, does the proof of unique factorization of Z rely on the fact that sqrt(a) is either irrational or integral? The claim by Qiaochu that "no mathematical work was done and only unpacking was going on, hence circular" is bogus too. Anyway...2010-09-15
  • 2
    Sadly, I am unable to keep away from this thread! I guess we could close this question as "Subjective and Argumentative".2010-09-15
  • 0
    @Bill, btw, FWIW, if some student handed this proof in a exam I gave, he would only get partial marks, not because of logical flaws, but because of incompleteness. As whuber aptly remarked: one of us is talking about content and the other about validity.2010-09-15
  • 1
    @Moron: Indeed, in the absence of any further information one cannot know if the intended proof was circular, or incomplete, or whatever. The reason I think your question is worth keeping open is that someone could write an interesting answer explaining how to make these decisions when writing good proofs, i.e. what inferences are important enough that they must be explicitly mentioned vs. those so trivial that they are safe to omit without leaving any ambiguity. This is something that is certainly important to learn, and not usually discussed in textbooks.2010-09-15
  • 0
    Since @Bill created a [meta-question](http://meta.math.stackexchange.com/questions/814), let's keep the discussion of whether to close or not there.2010-09-15
  • 0
    @Pierre. Interesting viewpoint. I think a problem at the heart of the matter is that many courses / textbooks on elementary number theory leave much to be desired. They're too specialized to provide a broad enough perspective to someone who doesn't go on to study algebraic number theory. There's too large an abyss between traditional elementary courses and advanced/algebraic courses. I've encountered many PhD's who are clueless about the essence of unique factorization and related topics. I'd have to agree with you, encountering such can be "terrifying" - a real-world irrationality proof!2010-09-15
  • 0
    I haven't completely followed this discussion, but I must say Robin Chapman's initial point is a very worth one.2010-09-15
  • 3
    There is more pedantry here than I can stomach - it seems the experts prefer answers which the typical undergraduate would not understand, even to typical undergraduate questions2010-09-15
  • 0
    **To those who think no mention of unique factorization is needed:** If you can find even one published textbook at this level that - like the original post - completely omits justification of this inference then I would be quite surprised.2010-09-15
  • 0
    Closing for 3 votes + Isaac♦ and myself2010-09-15
  • 0
    @Bill: btw, I believe there is a proof that gcd(a,b) = 1 implies gcd(a^2,b^2) not equal to b^2, which does not rely on unique factorization. It uses the fact that ax+by is divisible by gcd(a,b), Bezout's identity and the fact that elements of Z don't have inverses wrt to multiplication. (i.e. if I got it right).2010-09-16
  • 1
    Of course, e.g. sqrt(N) = B/A, (A,B) = 1 => N = BB/AA, => A|BB => A|B by Euclid's Lemma. QED I mention this frequently on sci.math e.g. http://bit.ly/IrratGCD For a much more general viewpoint see http://bit.ly/FreshGCD But existence of GCDs <=> irreducibles prime <=> uniqueness of factorizations into irreducibles [existence of factorizations into irreducibles is of course trivial in Z]. This is all very well-known.2010-09-16
  • 0
    @Moron: Here are two nice Monthly surveys on UFDs: http://bit.ly/UFD_Samuel and http://bit.ly/UFD_Cohn2010-09-16
  • 0
    Note: fix for the above rotted links: [IrratGCD](http://groups.google.com/group/sci.math/msg/1ac0bee2401fb4d9) and [FreshGCD](http://groups.google.com/group/sci.math/msg/ba5ac69dddfc4a67). The fix is to change Google Groups links from "www.google.com/..." to "groups.google.com/..." i.e. replace "www" by "groups", since the former style is no longer supported.2011-08-04

3 Answers 3

2

It sounds like we only need to be clear about what is being asserted here, because there shouldn't be any dispute. Evidently you want to say that when $a$ is an integer, $\sqrt{a}$ cannot be a non-integral rational number. Assume the contrary in order to achieve a contradiction; that is, suppose there exists a rational number $x/y$ whose square equals $a$ but which itself is non-integral. Because $x/y$ is not an integer, $y$ does not divide $x$. Then $y^2$ does not divide $x^2$, whence $x^2/y^2 = (x/y)^2 = a^2$ is nonintegral, the contradiction. Ergo, this is a valid argument. (Like all logical arguments, it's a complete tautology. But that's not a circularity!)

Edit

In response to a request in the comments below the main question, I am happy to point out that one possible justification for the final step in this demonstration is the unique factorization property of the integers. (UF is not strictly necessary, though: the assertion that for all $x, y$ in a ring $x^2 \mid y^2 \Rightarrow x \mid y$ in and of itself does not guarantee unique factorization.)

  • 2
    This is not a proof of the statement. This is a proof that one of the statements in question implies the other. In fact, as I said, the statements are equivalent, but you haven't proven either.2010-09-13
  • 3
    @Qiaochu: ALL proofs are proofs of equivalence. What kind of idiosyncratic distinction are you making? Of course the logic shows that the truth of the assertion rests on something else, like unique factorization. But that's no basis for objection!2010-09-13
  • 0
    @whuber: a pedagogical one. Students are often unaware that the claim that (if y doesn't divide x, then y^2 doesn't divide x^2) needs explicit proof, and if they don't realize this then they'll quickly get into trouble the moment they start talking about rings of integers in number fields larger than Q.2010-09-13
  • 1
    @Qiaochu: I completely agree with you about the pedagogical issue. However, until you mentioned that just now, I saw nothing in your response that suggested this was your motivation. (I did not think to equate "meat" with "pedagogy"!) We all may have been talking at cross purposes: 'Moron' about logic and you (unstated) about making a teaching point. This may have caused some confusion.2010-09-13
  • 3
    @whuber: perhaps I can restate my objection as follows. Someone asking about square roots of integers being integer or irrational may well think "I don't know how to prove this," but after seeing that it is equivalent to the claim that if y doesn't divide x, then y^2 doesn't divide x^2, may well think "well, I understand this now." The point is that unless they know how to prove this second statement, they don't know how to prove anything, because the two problems are _equivalent_ in a certain trivial sense: if one unpacks the definitions in the first problem one gets the second.2010-09-13
  • 2
    (cont.) I cannot think of unpacking definitions as being mathematical work in any meaningful sense, so no mathematical work has yet been done. The student who does not understand this does not understand that this problem is not trivial (in the sense that it does not follow from the ring axioms), and also does not understand something important about unpacking definitions.2010-09-13
  • 2
    @Qiaochu: I'm sure you're familiar with Michael Spivak's *Calculus on Manifolds.* I recollect that his main point in the proof of (the generalized) Stokes theorem is that it is "just" unpacking definitions! But enough of that: let's review how we got here. The original question is purely one concerning logical validity; it got reframed as a pedagogical/philosophical one only within comments made by you and Bill Dubuque. If you guys really want to discuss these issues, wouldn't it be more appropriate to open a specific (community) question about them?2010-09-13
  • 0
    @whuber: The statement at hand - although it may seem deceptively trivial to you - is in fact a very powerful property of Z - almost equivalent to unique factorization. You can't simply say it is true without any justification any more than you can say that: p prime => p|a or p|b without justification. Both are deep fundamental properties of Z (viz. integrally closed, and the prime divisor property), whose fundamental nature was revealed only after much introspection by great number theorists (esp. Dedekind, who struggled for a long time before realizing the key role of integral closure).2010-09-13
  • 1
    @Bill: I agree with you and deeply appreciate the point you are making. It is interesting that Moron's proof explicitly makes the connection between his original question and these issues by showing that one logically implies the other. I don't believe I made any claims of triviality (let's not confuse that with formality, please) and am sorry if somehow I left that impression. All that I have maintained--and this is the last time I will repeat it--is merely that what you say does not bear on the question of the logical correctness of Moron's demonstration.2010-09-13
  • 1
    @whuber: I don't question the "logical correctness of Moron's demonstration". As I said in the first comment "of course it follows from unique factorization - that's precisely the point". I object to proofs that don't give any explicit justification - whether by unique factorization, integral closure (rational root test) or some other analogous statement. Without such further explicit remarks there is no way to know if the author knows such justification or, instead, he has no such knowledge but commits the widespread error of assuming the key result is obvious - requiring no proof.2010-09-13
  • 1
    To be clear, it was Douglas' proof, not mine. I am going to accept this answer, as I was interested in logical flaws and the agreement seems to be that apart from the lack of mention of unique factorization, Douglas' proof was essentially correct. I don't care that much for nitpicking.2010-09-14
  • 0
    But this answer says nothing at all about the issue, so why accept it? I'm disappointed that after all this work you've thrown in the towel.2010-09-14
  • 1
    @BIll: Frankly, I have wasted more time on this nitpick than I would care to. This answer does clarify that there is no circular logic and I agree.2010-09-14
  • 0
    The answer does no such thing. **The "proof" is circular** - precisely the same as the original. Three experts have argued this point at length. Do you think they are all wrong?2010-09-14
  • 1
    @Bill: The experts haven't done anything to prove it is circular. All they have claimed is that the statement (y^2 not dividing x^2 blah) made in the proof is an equivalent statement and that is exactly why the proof is correct. That equivalent statement is an obvious consequent of unique factorization of integers. If one weren't allowed to come up with equivalent statements and prove them, most of mathematics would fall apart. Sorry, the experts are wrong here, IMO. Frankly, I am now wasting my time on this topic. I won't discuss this anymore (even at the risk of non-enlightenment).2010-09-14
  • 1
    @Bill: (btw, I am talking about Douglas' answer). Whuber here isn't trying to prove the statement, I hope you understood that.2010-09-14
  • 0
    @Moron: I'm sad that there appears to be no way to convince you of the essence of the matter. Perhaps you'll be in a better mindset to appreciate these points at some later date.2010-09-14
  • 0
    @whuber - Thanks!!! [You wrote "in a ring in and of itself" in the last parenthesis. I suspect some typo...]2010-09-15
  • 0
    @Pierre-Yves: Actually, that phrase was intended, although it's difficult to think of any way punctuation could clarify it. I've tried a minor reordering of the words.2010-09-15
7

It seems to me that maybe the best way to describe the situation is this: Douglas Stone's original answer to the original question consisted of rephrasing the question in such a way as to make it accessible to a proof using basic properties on the integers (specifically, unique factorization).

In my opinion, one thing which is being lost in all this discussion is just how important it can be to rephrase a question! Sure, the process of rephrasing contains "no math" as Qiaochu has pointed out. But that doesn't make it useless (and I wouldn't use the word circular here either).

Finding ways to rephrase questions so that they become accessible to the methods available is a basic skill beginning students of mathematics need to learn. For example, much of the material in the early chapters of modern linear algebra books consists of teaching students how to rephrase questions in linear algebra so that they can be solved by row reduction.

I wouldn't accept Douglas Stone's answer as a complete solution to the problem if it were turned in by a student in an elementary number theory class, just as in my linear algebra class, reducing a problem to a question of row reduction isn't a complete solution. But if a student came to me and said he or she was stuck on the problem, the first thing I'd try to do is get them to rephrase the question in precisely the way Douglas Stone did.

Pleasantly, the community has pointed out (both here and at the original question) exactly how to finish the proof after rephrasing it in this useful way.

  • 4
    It's nice to have a moderate voice join the discussion :-).2010-09-15
  • 6
    I think this describes the situation quite well. The rephrasing concept is a very useful one here. In particular, while for those with a lot of mathematical experience (such as Qiaochu) such a step is trivial (and hence their view is that all the work is done in the *next* step, when one applies something non-trivial like unique factorization to the rephrased problem), to a beginning student, such steps can be genuine blocks, and so it is useful and important to point them out.2010-09-16
  • 3
    The "rephrasing step" is simply squaring the equation to convert it to (equivalent) integral form. Every proof using integer arithmetic has no choice but to eliminate the radical by squaring. I suspect that step is trivial for almost everyone at this level. It's the following steps that are the heart of the matter since they must employ intrinsic factorization properties of Z.2010-09-16
  • 4
    @Bill: Dear Bill, If "at this level" means people taking part in this discussion, I agree. But I don't think that these steps are trivial to average students (say in an elementary number theory class). Indeed, it's easy for me to imagine that they would find this step more difficult than the step involving appeal to unique factorization (although mathematically, I agree that the latter has depth, while the rephrasing doesn't), just because they probably have some intuition for the latter (and they are not being asked to prove it, just to apply it!), while manipulating definitions ...2010-09-17
  • 3
    @Bill (con'td): ... doesn't come easily to large numbers of students (at least in my experience).2010-09-17
5

The result does follow from unique factorization, but the point being made here is that the stated claim - that if $y$ doesn't divide $x$, it's also true that $y^2$ doesn't divide $x^2$ - is equivalent to the problem statement, so it's circular to use it to prove the problem statement (or in any case it doesn't address the meat of the problem).

Edit: Let me try to make it clearer why I think this proof is not a proof in the sense that no mathematical work has been done. We want to show that if $a$ is a positive integer, $\sqrt{a}$ is either an integer or irrational. What does that mean? That means if $\sqrt{a} = \frac{p}{q}$ where $p, q$ are positive integers, then $q | p$. Equivalently, if $a = \frac{p^2}{q^2}$ where $p, q$ are positive integers, then $q | p$. Equivalently, if $q^2 | p^2$, then $q | p$. Equivalently, if $q$ does not divide $p$, then $q^2$ does not divide $p^2$.

I have done no mathematical work so far. All I have done is unpack definitions. The statement that I have ended up with is 1) exactly as hard to prove as the statement I started with, and 2) true in all of the same rings as the statement I started with. A crucial part of the problem - that we are working in $\mathbb{Z}$ - has not yet been used. To claim that the statement is "obvious" from here is to ignore an essential nontrivial property of $\mathbb{Z}$, namely that it is integrally closed (which follows from unique factorization). There is a reason this property has a name.

  • 3
    If A and B are equivalent, proving A proves B. I don't see the "circularness" (if that's a word) here. I guess you see it that way too, otherwise you wouldn't be talking of the meat there :-) The fact that the proof of A was left out does not mean it is bogus or circular. Just incomplete.2010-09-13
  • 1
    @Moron: The original post did not say anything about unique factorization. It did not even given any hint that the OP thought the equivalent statement needed proof. This is a very common mistake.2010-09-13
  • 1
    @Moron: the point is that Douglas' answer does not prove A, but only asserts it. In fact A is false in rings larger than the integers, so it is necessary to explicitly point out what properties of the integers are being used here. Anything less cannot be considered a proof of the statement.2010-09-13
  • 1
    @Bill: And why should we mention unique factorization? I would say this is in the same lines as needing a proof of 1/(c/d) = d/c. Unique factorization is very basic and need not have to be spelt out when talking about natural numbers. It might be a common mistake by _students_, but that does not mean the answer is bogus or circular or invalid. It is only incomplete. @Qiaochu: The fact that we generalized integers away to arbitrary rings does not mean now we have to keep talking about every basic fact there is. That is just ridiculous.2010-09-13
  • 1
    @Moron: 1/(c/d) = d/c is something that does need to be spelled out if the problem is to _prove that 1/(c/d) = d/c._2010-09-13
  • 1
    @Qiaochu: Yes... but how is that relevant? The question that was asked was sqrt(a) is irrational or integral, not show that y does not divide x implies y^2 does not divide x^2.2010-09-13
  • 1
    @Moron: _the two problems are equivalent._ I do not see what I am failing to get across here. The answer to "prove A" cannot in any reasonable sense be "well, A, therefore, A."2010-09-13
  • 3
    @Moron: see the answer by whuber below for yet another example of just how widespread such confusion is. Many people think that it does not require proof. The problem is that deep hardwired intution about integers is clouding rational deductive thought. This problem wouldn't arise if the proof was about some abstract structure where humans didn't have primal instincts (pun intended!)2010-09-13
  • 1
    @Qiaochu: The statement y does not divide x and hence y^2 does not divide x^2 can be completely proved without even being aware of the definition of square roots or real numbers. All the proof did was if B, then not A. Here A and B are _very_ different. I don't see how people got into their minds that this is circular or can even confuse A with B. Anyway...2010-09-13
  • 5
    @Bill: I don't think any of us are under any illusions about what is being stated in this proof (and, IMO, it's rather patronizing to suggest so). It appears that you and Qiaochu may be not making strong enough distinctions between pedagogical and logical concerns. Moron and I recognize his proof as being logically correct and you are also correct in that such a proof requires a statement of equal (or even stronger) content. If there is any "confusion" it lies in not sufficiently making a distinction between content and validity.2010-09-13
  • 1
    @Moron: the statement that sqrt(a) is either an integer or irrational can also be stated without constructing the real numbers. To be irrational just means not to exist in Q, which means that there do not exist integers p, q such that a^2 = p/q. Continuing to unpack definitions in this way one gets precisely the second statement. My concern here is not necessarily that A and B are equivalent (though you seem to disagree with me here) but that it is easy to be fooled into thinking that A is nontrivial while B is trivial. They have the same degree of triviality.2010-09-13
  • 2
    @Bill: Whuber isn't trying to prove that statement here! He is only trying to talk about it not being circular.2010-09-13
  • 1
    @whuber. You simply restated the original circular proof without giving any hint that you understand why it is circular.2010-09-13
  • 1
    @Qiaochu: Let B be the statement: "sqrt(a) is either irrational or integral for every natural number a". Let A be the statement that "if y does not divide x then y^2 does not divide x^2". Please edit your answer with a trivial proof that B implies A. All Douglas' post showed was that A implies B.2010-09-13
  • 1
    @Moron: way ahead of you.2010-09-13
  • 2
    @Qiaochu: Good :-) You have shown the equivalence (which I hope you agree is not obvious, in fact even thinking up of the statement A might not be obvious to some). Now tell me, why does a missing proof of A (which is _obvious_ from unique factorization) make it circular? Anyway, I think this discussion has dragged on too long.2010-09-13
  • 2
    @Bill: I'm with Moron here--you have no basis to label his proof "circular." I'm also unaware of any part of mathematics requiring that a logically valid proof "hint" that its writer have any "understanding" of it :-). Validity and understanding are unrelated (although both, of course, are to be encouraged, honored, and recognized).2010-09-13
  • 1
    @Moron: No, the equivalence is trivial (except perhaps to a rank novice). The nontrivial part is proving one of these equivalent statements - which typically uses deep fundamental properties of Z - e.g. integral closure or UFD.2010-09-13
  • 1
    @whuber: please read Qiaochu's comments to your post.2010-09-13
  • 1
    @whuber: A proof that two statements are equivalent does not constitute a proof of either statement.2010-09-13
  • 3
    @Bill: Well, the fact that y^2 does not divide x^2 blah is _trivial_ (except perhaps to a rank expert) once you are aware of unique factorization. That is one of the first things taught in any course in _basic_ number theory. I don't really care whether there exist structures which aren't UFD etc. Bringing that up is just irrelevant noise and claiming that it is very relevant is just ridiculous. Anyway, I will stop having this discussion. I got the answer I was seeking.2010-09-13
  • 4
    @Moron: An important goal of an elementary number theory course is learning to compose proofs - in particular, learning what details are essential (and must be mentioned) - and what details are trivial (and can be omitted). Any invocation of a high-powered result such as unique factorization *must* be mentioned explicitly in proofs at this level. Especially since many students erroneously assume that said equivalent statement is obvious and requires no proof. Before Gauss (and even long after) many thought that unique factorization was obvious and required no proof. Intuition is not deduction.2010-09-13
  • 1
    @Moron, @whuber: I give up. Whatever we are arguing about, it is not mathematics.2010-09-13
  • 1
    @Qiaochu: I am not sure what you intend by that remark, but I gave up long before you did. Please don't expect any more responses on this topic from me. Thanks for answering.2010-09-14