Add Two Irrational Surds to Get Another Surd

  • Thread starter Thread starter dodo
  • Start date Start date
  • Tags Tags
    Irrational
Click For Summary
SUMMARY

The discussion centers on the mathematical exploration of adding two irrational surds to yield another surd. Participants clarify that while adding the same surd, such as \(\sqrt{a} + \sqrt{a} = \sqrt{4a}\), produces a valid surd, adding different surds typically does not result in another surd. The quadratic equation \(\sqrt{a} + \sqrt{b} = \sqrt{c}\) is introduced, leading to the conclusion that \(c = (a + b) \pm 2\sqrt{ab}\) requires \(a\) and \(b\) to share a common factor. The discussion also touches on the concept of ideals in Dedekind domains and their relation to prime factorization.

PREREQUISITES
  • Understanding of irrational numbers and surds
  • Familiarity with quadratic equations
  • Knowledge of Dedekind domains in algebra
  • Basic concepts of ideals and prime factorization
NEXT STEPS
  • Study the properties of irrational surds in algebra
  • Learn about Dedekind domains and their applications
  • Explore the implications of prime factorization in number theory
  • Investigate the behavior of ideals under addition and multiplication
USEFUL FOR

Mathematicians, algebra students, and anyone interested in the properties of irrational numbers and their applications in number theory.

dodo
Messages
695
Reaction score
2
Hi,
does somebody know an example of two surds that, added together, give another surd?

By 'surd' I mean here 'irrational surd', as opposed to \sqrt 4 + \sqrt 9 = \sqrt 25.
 
Mathematics news on Phys.org
\sqrt a + \sqrt a = \sqrt {4a}
 
Cool. I need to be more specific: by 'example', I meant a numerical example. Particular surds, like \sqrt 3 or 7 \sqrt 66. No unknowns.
 
Just replace a by any positive real number, and you'll have one...
 
It is impossible to get such a solution by adding two different surds or you could add the same surd to itself and get a surd as deadwolfe says.
 
\sqrt a + \sqrt {4a} = \sqrt {9a} also works, so the surds can be different.
 
We assume all positive integers. This problem is quite solvable using the quadratic equation on: \sqrt{a}+\sqrt{b}=\sqrt{c}

Which yields: c=(a+b) \pm 2\sqrt{ab}

Thus it follows that a and b must have a common factor, and otherwise are squares. The negative sign can not be used.

a=sm^2, b=sn^2, c=s(m+n)^2.

The solution then yields only: m\sqrt{s}+n\sqrt{s} =(m+n)\sqrt{s}
 
Last edited:
Thanks for all your answers; now I think I can pin down the motivation behind the question. Each irrational surd seems (if I'm not mistaken) to generate an ideal on R. When I google about this (not that I know shrlit), there is something called 'Dedekind domains', on which ideals can be uniquely expressed as a product of 'prime' factors.

So this collection of ideals (plus some 'nice' additions, like 0 and 1) begins to behave, it seems to me, like the ring of integers (note to myself: prove it is a ring). Now, one of the holy grails is to understand the relation between prime factors and addition (given the prime factorization of two integers, what is the prime factorization of their sum? - heavy open problem). And while there are plenty of examples of sums of integers to toy with, I can't find a single example of a sum of 'surd ideals'. Annoying, to say the least.

P.S.: Oh well, neither multiplication is an internal law, nor there are additive inverses. Bummer. It's still annoying.
P.P.S.: What am I saying, even addition is not internal; \sqrt 2 + \sqrt 3, if irrational at all, is not a surd, for the reasons in post#7.

Just let it go. I was just wandering about.
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 27 ·
Replies
27
Views
5K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 4 ·
Replies
4
Views
5K
Replies
2
Views
2K