Talk:Quadratic irrational number
![]() | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
Clarification, please?
[edit]I simply cannot follow the application of the Fundamental theorem of arithmetic:
- For any rational non-integer in lowest terms there must be a prime in the denominator which does not divide into the numerator. When the numerator is squared that prime will still not divide into it because of the unique factorization. Therefore if an integer is not an exact square of another integer its square root must be irrational.
I'm OK up till "therefore".
Could someone try to make this more explicit?
Dan kirshner (talk) 05:07, 3 September 2009 (UTC)
- That implies the square of a rational non-integer cannot be reduced to an integer so the square root of a non-square integer cannot be a rational non-integer. Dmcq (talk) 08:08, 3 September 2009 (UTC)
Expanding this article
[edit]I'm interested in expanding this article. I see three possible avenues for expansion.
- Analogies with the field of complex numbers. I think that the early development of algebraic number theory was driven (in part) by the realization that adjoining an irrational square root to the rational numbers is very similar to adjoining the imaginary unit i to the rationals. Think of similarities between say the Gaussian integers and more general algebraic integers.
- Discussion of the history of algebraic numbers. I don't know as much about this as I should. But the first irrational numbers known to exist were quadratic irrationals (like the square root of two, and the golden ratio, and other irrationalities involving the square root of 5, all of which were understood by the Greeks). And there are close interrelationships between quadratic irrationals and interesting sequences of natural numbers, such as the Pell numbers (square root of two) and the Fibonacci numbers (square root of five). This could be tied in with, for instance, Brahmagupta's methods for deriving some of the solutions to Pell's equation.
- Expansion of the discussion about quadratic surds and regular continued fractions. There are several interesting theorems about this, and I do have access to some historical data about those theorems (Euler, Legendre, and Galois all obtained interesting results).
Anyway, if anyone else is interested in this subject, please chime in. I'll keep an eye on this page. DavidCBryant 16:26, 23 April 2007 (UTC)
- Just an expression of support. 04:57, 30 April 2007 (UTC)
- Yes, really interesting article. According to current definition numbers of the form (listed at Continued fraction calculator) (I'm using denominations as in the article and adding d):
- are not "listed in" this set, but they also have periodic continued fraction form. For example:
- (hm, quite a long period (length 54))
- (a period with length 556!)
- and such ... --xJaM (talk) 21:24, 9 January 2008 (UTC)
- At the article for vinculum is said that: "quadratic irrational numbers are the only numbers that have" periodic continued fraction representation and these numbers are obviously also quadratic irrationals, so can be included in the article. --xJaM (talk) 17:15, 11 January 2008 (UTC)
Also strange is a sentence at periodic continued fraction "... is not a perfect square, and divides the quantity ". There integers a, b and c are denoted P, D, Q respectively. Is the last condition really necessary, since in these examples, the case is not true?
- and
- and --xJaM (talk) 01:35, 12 January 2008 (UTC)
- Quadratic surds are really a particular kind of quadratic irrational, those of the form
- with b square-free. If we have a general quadratic irrational then we can always take the coefficient of the square root inside the root to get the number in the form the article originally stated, but I think the definition now given avoids worrying about signs and agrees with what most number theory texts would call a quadratic irrational. I'd like to help expand this page when I find my notes on this stuff, but I'm not sure whether the continued fraction stuff would belong here or in the periodic continued fraction article. Chenxlee (talk) 19:06, 13 February 2008 (UTC)
- And the condition Q divides P2-D is a consequence of the quadratic formula. If the original equation is ax2+bx+c=0 then Q is 2a and P2-D is just 4ac Chenxlee (talk) 19:26, 13 February 2008 (UTC)
My editing
[edit]I am not a specialist in this area, but certain problems in the article were apparent even to me.
The article lacks references, yet makes substantive claims and points of usage that are not in accord with all sources. The line taken here needs to be supported from the literature. Where, for example, is the supposed distinction between quadratic irrational and quadratic surd to be found in printed works of reference?
The definition, though recently changed and improved, I think, was factually and expositorily inadequate. Here is the way I have put it:
The quadratic irrationals, therefore, are all those numbers that can be expressed in this form:
for integers a, b, c, d; with b and d non-zero, and with c positive and not a perfect square.
First, it needs to be clear that all numbers satisfying the stated conditions are quadratic irrationals, and vice versa. Second, the restrictions on b and d are obviously essential. Third, there are two restrictions on c. Obviously it must be positive, since we are dealing with real numbers only (aren't we?). But it is constrained to be non-square, in the formula as we have it. It is not constrained to be square-free. An alternative formula is available in which that component must indeed be square-free. Using our symbols the same way as much as possible:
for integers a, c, d; with d non-zero, and with c positive and square-free.
This formula is equivalent, as reflection on the implications of being square-free under the square-root operator will reveal. This alternative formula appears to be used here and there in web sources. [NO! Retracted below.–– Noetica♬♩ Talk 02:10, 14 February 2008 (UTC)]
Am I right? Comments?
– Noetica♬♩ Talk 23:52, 13 February 2008 (UTC)
- The non-zero restrictions are definitely needed, well spotted. As for those two definitions I think you've got the conditions on c the wrong way around. If c is not a perfect square then we can write √c as ±b√c′ for a square-free c′ just by "factoring out" the squares. But if c is square free then √c can only ever be written as √c, so the b in front is needed.
- As to whether c must be positive, I'm really not sure. I looked in Hua's book on number theory today and he defines quadratic irrationals as algebraic numbers of degree 2, so that would include stuff like i=(0+√(-1))/1. I'd have to look through more texts to see if there's any general concensus about what constitutes a quadratic irrational. As for the difference between quadratic irrationals and surds, the only place I've seen the latter mentioned is on the linked Mathworld article. But again I'd need to flick through some books to see if there's any decent reference to them. Chenxlee (talk) 00:10, 14 February 2008 (UTC)
- Chenxlee, I think you are right about the alternative formulation that I gave. Something is wrong with what I wrote above. But the formula I have put in the article is correct, and it makes the definition rigorous. Related to what you say, a quadratic irrational (QI) is always expressible with a non-square-free term under the square-root operator:
- is a QI and is equivalent to
- So the definition is more accurate the way I have done it, I think. We have to distinguish between numbers and expressions for numbers, don't we?
- Many sources on the web make a mess of this. Let's not be among them!
- – Noetica♬♩ Talk 02:10, 14 February 2008 (UTC)
- Chenxlee, I think you are right about the alternative formulation that I gave. Something is wrong with what I wrote above. But the formula I have put in the article is correct, and it makes the definition rigorous. Related to what you say, a quadratic irrational (QI) is always expressible with a non-square-free term under the square-root operator:
- Yep, the definition does seem more rigorous as you've put it, good job. I removed the remark about Pell's equation since as it stood it didn't mean anything. I know periodic continued fractions can be used to solve Pell's equation but that deserves a little more explanation than the article gave, and I'll try to add something this weekend.
- A quick flick through some text books seemed to show that when continued fractions were being discussed the term quadratic irrational was taken to mean a real irrational solution to a quadratic equation with integer coefficients. Which makes sense because then we have the result that a continued fraction is periodic precisely when the number is a quadratic irrational. In more general algebraic number theory texts, though, quadratic irrational seems to be used for any irrational root of a quadratic equation with integer coefficients, which again makes sense because the results about the quadratic field you then get don't rely on c being positive or negative, but only what it reduces to modulo 4. I'll try to get some decent references for all this and make the distinction in the article. Chenxlee (talk) 08:51, 14 February 2008 (UTC)
- Fine, Chenxlee. I think the article is better now, without that reference to Pell's equation. I am not really a mathematician, myself. I am interested most in foundations and definitions, and that's hard enough! I did some snooping on the web, and was amazed at how badly quadratic irrationals were presented. Even at Mathworld, where the definition is very poor indeed. I'll keep watching here, and I'll do what I can to keep the article clear, and to discuss things with a view to improvement. After all, this article is the first find on a Google search for either "quadratic irrational" or "quadratic surd" (which I really think must be the same, in most "dialects"). Perhaps that gives us a special responsibility.
- – Noetica♬♩ Talk 01:38, 15 February 2008 (UTC)
Why Dedekind's proof?
[edit]What was Dedekind thinking when he claimed to prove this without appealing to the Fundamental Theorem of Arithmetic? He's simply expanded a proof of the FTA at the point where one would appeal to it. How is substituting a proof of a desired theorem different in any nontrivial sense from appealing to the theorem itself? --Vaughan Pratt (talk) 21:14, 21 December 2008 (UTC)
- The proof doesn't even mention primes or anything similar to a prime number, why do you say it is a reformulation of the fundamental theorem of arithmetic? Dmcq (talk) 00:29, 22 December 2008 (UTC)
- Because the techniques used in Dedekind's proof are exactly those usable for a quick proof of unique factorization. --Vaughan Pratt (talk) 11:12, 7 January 2009 (UTC)
- The proof was in relation to Dedekind cuts and he wasn't interested in the fundamental theorem or arithmetic, I believe he just wanted something self-contained, I don't think he was claiming anything. I put in the bit about the proof just depending on ordering and not making use of prime numbers. I'm not going to make a point of it so I'll just put in something about the proof being self contained instead, I only really put it in originally because there were so many proofs assuming the fundamental theorem without appealing to it and it seemed a good way of emphasizing that it wasn't altogether obvious. You can delete it if you think it is just taking up space. Dmcq (talk) 13:58, 7 January 2009 (UTC)
- If you want a short, self-contained proof, though, I'd say Estermann's is shorter and neater and assumes no more knowledge than Dedekind's. There's a version of it on page 11 of his obituary for root two, and it's a simple generalisation to roots of non-squares in general. Chenxlee (talk) 15:14, 23 January 2009 (UTC)
- I didn't know that proof. Unfortunately it is written only for the square root of 2. It can be generalized easily but then there wouldn't be a citation. I would be better with a shorter proof and it certainly looks worthwhile searching for one. Dmcq (talk) 16:19, 23 January 2009 (UTC)
- If you want a short, self-contained proof, though, I'd say Estermann's is shorter and neater and assumes no more knowledge than Dedekind's. There's a version of it on page 11 of his obituary for root two, and it's a simple generalisation to roots of non-squares in general. Chenxlee (talk) 15:14, 23 January 2009 (UTC)
- There's a short note in The Mathematical Gazette, Vol. 83, No. 498 (1999), pp.502-503 by Colin Richard Hughes titled Irrational roots that extends Estermann's proof to cover any non-square natural number. It's no longer than the root two proof and has a citation. I can add it unless you know a neater or nicer proof. Chenxlee (talk) 17:11, 23 January 2009 (UTC)
- My access to things is a bit limited. Yes please, thanks. Dmcq (talk) 18:58, 23 January 2009 (UTC)
- All these proofs are essentially the same proof, namely the usual inductive proof showing that the integers form a principal ideal domain. Every principal ideal domain is a unique factorization domain. All that's happening in these proofs is the substitution of a proof of the FTA (unique factorizability of the integers) for a direct appeal to the FTA. One does not need to use the word "prime" in the statement that the integers form a PID and hence a UFD. --Vaughan Pratt (talk) 16:44, 6 May 2011 (UTC)
- My access to things is a bit limited. Yes please, thanks. Dmcq (talk) 18:58, 23 January 2009 (UTC)
- There's a short note in The Mathematical Gazette, Vol. 83, No. 498 (1999), pp.502-503 by Colin Richard Hughes titled Irrational roots that extends Estermann's proof to cover any non-square natural number. It's no longer than the root two proof and has a citation. I can add it unless you know a neater or nicer proof. Chenxlee (talk) 17:11, 23 January 2009 (UTC)
Not a field?
[edit]The article claims "The quadratic irrationals with a given c form a field" but defines the concept in such a way (b nonzero) as to preclude rationals, in particular 0 and 1. So how can they form a field?
Since there is no such thing as a "quadratic rational" what is the point of requiring b to be nonzero? Granted every ham sandwich is a sandwich, but why must every quadratic irrational be irrational? The concept becomes cleaner when b can be zero. --Vaughan Pratt (talk) 17:30, 5 May 2011 (UTC)
Also a continued fraction that is ultimately zero (hence representing a rational) is periodic, another reason to include the rationals. --Vaughan Pratt (talk) 17:33, 5 May 2011 (UTC)
- Well that's all very rational(!) but for instance irrationals don't include rational numbers and quadratic equations don't include where the coefficient of x squared is zero. It's just how they were defined and it has stuck. Dmcq (talk) 17:39, 5 May 2011 (UTC)
- So you don't mind the article claiming that the quadratic irrationals form a field when obviously they don't? --Vaughan Pratt (talk) 02:22, 6 May 2011 (UTC)
- Sorry I see what you're on about, it's just language, feel free to improve that bit if you can do it without making it sound too clumsy. Dmcq (talk) 21:34, 6 May 2011 (UTC)
- So you don't mind the article claiming that the quadratic irrationals form a field when obviously they don't? --Vaughan Pratt (talk) 02:22, 6 May 2011 (UTC)
Which inverses are of the same form?
[edit]This is an excellent article. I am having trouble following this sentence:
The rational numbers together with all quadratic irrationals with a given c form a field, called a real quadratic field. In particular, their inverses are of the same form...
Which inverses are of the same form?Dratman (talk) 22:06, 10 June 2015 (UTC)
External links modified
[edit]Hello fellow Wikipedians,
I have just modified one external link on Quadratic irrational number. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
- Added archive http://web.archive.org/web/20050324110521/http://planetmath.org:80/encyclopedia/EIsIrrational.html to http://planetmath.org/encyclopedia/EIsIrrational.html
When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{Sourcecheck}}
).
This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}}
(last update: 5 June 2024).
- If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
- If you found an error with any archives or the URLs themselves, you can fix them with this tool.
Cheers.—InternetArchiveBot (Report bug) 12:09, 21 July 2016 (UTC)