Demystifying Radical Arithmetic: Can We Add 2\sqrt{2}2​ and 3\sqrt{3}3​?

Introduction: The Deceptive Simplicity of Radical Expressions

At first glance, the question "Can we add $\sqrt{2}$ and $\sqrt{3}$?" appears almost trivial, the kind of basic arithmetic query one might encounter in an introductory algebra classroom. After all, addition is one of the most fundamental operations in mathematics. We learn to add integers, fractions, and decimals long before we ever encounter the abstract machinery of higher mathematics. We know intuitively that $2 + 3 = 5$, and that $2.5 + 3.1 = 5.6$. So why should adding $\sqrt{2}$ and $\sqrt{3}$ be any different?

The nuance lies in the nature of the numbers themselves. The square root of 2, denoted as $\sqrt{2}$, and the square root of 3, denoted as $\sqrt{3}$, are not whole numbers, nor are they terminating or repeating decimals. They are irrational numbers—infinite, non-repeating decimals that cannot be expressed as a simple fraction of two integers. When we ask whether we can "add" them, we must immediately clarify what form we expect the answer to take. Do we want an exact analytical representation, a decimal approximation, or a simplification into a single radical term?

In this comprehensive exploration, we will dive deep into the mechanics of radical expressions, examine the foundational properties of irrational numbers, explore algebraic field extensions, and discover why $\sqrt{2} + \sqrt{3}$ occupies a unique space in mathematical simplification. By the end of this first part, you will understand not only how mathematicians treat this expression, but also the profound algebraic principles that govern why certain numbers refuse to combine neatly.

The Anatomy of Radicals and Like Terms

To understand why $\sqrt{2}$ and $\sqrt{3}$ present a specific challenge to addition, we must first review how radical expressions are manipulated under standard arithmetic operations. In algebra, addition and subtraction of radical terms are governed by strict rules analogous to combining like terms with variables.

Consider the algebraic expression $2x + 3x$. Because both terms share the exact same variable part ($x$), we can combine their coefficients using the distributive property:

Now, substitute variables with radicals. If we have $2\sqrt{2} + 3\sqrt{2}$, the principle remains identical. The radical expression $\sqrt{2}$ acts as the common unit, or "like term." We can combine them:

Similarly, what happens if we attempt to add $\sqrt{2}$ and $\sqrt{8}$? At a glance, these appear to be "unlike" radicals because the numbers under the radical signs (the radicands) are different: $2$ versus $8$. However, radical expressions can often be simplified by extracting perfect square factors. We know that $8 = 4 imes 2$, which means:

Therefore, if we are asked to add $\sqrt{2} + \sqrt{8}$, we can rewrite it as:

This brings us directly to the crux of our primary question. Can we perform a similar simplification for $\sqrt{2} + \sqrt{3}$? Let us inspect the radicands. The number $2$ is a prime number, and its only integer factors are $1$ and $2$, neither of which is a square greater than $1$. The number $3$ is also a prime number, with prime factors $1$ and $3$, possessing no square factors other than $1$.

Because neither $\sqrt{2}$ nor $\sqrt{3}$ can be simplified further into products involving rational numbers and common radicals, they are fundamentally "unlike terms." Just as you cannot combine $2x + 3y$ into a single term like $5xy$ or $5(x+y)$ in a reduced polynomial form, you cannot combine $\sqrt{2}$ and $\sqrt{3}$ into a single radical term like $\sqrt{5}$ or $k\sqrt{2}$.

The Common Fallacy: Why $\sqrt{2} + \sqrt{3} eq \sqrt{5}$

One of the most frequent misconceptions among students encountering radicals for the first time is the instinctive urge to apply the property of multiplication to addition. In radical multiplication, a well-established property states that for any non-negative real numbers $a$ and $b$:

Applying this rule correctly yields:

Buoyed by the elegance of this rule, a common cognitive leap assumes that the exact same rule applies to addition:

If this rule held true for addition, then $\sqrt{2} + \sqrt{3}$ would equal $\sqrt{2 + 3}$, which is $\sqrt{5}$. But let us rigorously test this assumption using numerical values to see why it fails catastrophically.

Let us look at the decimal approximations of these values:

• $\sqrt{2} \approx 1.41421356$

• $\sqrt{3} \approx 1.73205081$

If we add these two decimal values directly, we get:

Now let us evaluate $\sqrt{5}$:

Comparing the two results:

The discrepancy is massive and undeniable. The sum of the square root of 2 and the square root of 3 is approximately $3.146$, whereas the square root of 5 is approximately $2.236$. Therefore, $\sqrt{2} + \sqrt{3}$ is strictly not equal to $\sqrt{5}$.

To understand why $\sqrt{a} + \sqrt{b} eq \sqrt{a+b}$ algebraically, we can square both sides of the purported identity to see what breaks down. Consider:

Meanwhile, squaring the right side yields:

For the identity $\sqrt{a} + \sqrt{b} = \sqrt{a+b}$ to be true, the cross-term $2\sqrt{ab}$ would have to equal zero. For positive numbers $a$ and $b$, $2\sqrt{ab}$ is strictly positive, meaning the two expressions are mathematically unequal by a factor of $2\sqrt{ab}$. Thus, adding radicals cannot be done by simply adding their radicands under a single radical sign.

The Nature of Irrational Numbers and Exact Form

When we state that $\sqrt{2} + \sqrt{3}$ cannot be simplified into a single radical, what is the actual "answer" to the question? In advanced mathematics, the expression $\sqrt{2} + \sqrt{3}$ is the exact answer.

To appreciate why leaving the expression in this radical form is superior to decimal expansion, we must examine the nature of irrational numbers. Both $\sqrt{2}$ and $\sqrt{3}$ belong to the set of irrational numbers, denoted by $\mathbb{R} \setminus \mathbb{Q}$. Ancient Greek mathematicians, particularly the Pythagoreans, were deeply unsettled by the discovery of such numbers. The realization that the diagonal of a unit square (which is $\sqrt{2}$) cannot be expressed as a ratio of whole numbers upended their philosophical worldview that "all is number" (meaning rational numbers).

Because irrational numbers cannot be written as fractions $\frac{p}{q}$ where $p$ and $q$ are integers, writing them out in decimal form requires truncation or rounding. The moment we write $\sqrt{2} \approx 1.414$, we introduce a margin of error. In pure mathematics, engineering, physics, and cryptography, maintaining exact values is paramount. An exact form preserves infinite precision. Therefore, writing $\sqrt{2} + \sqrt{3}$ is not a failure to compute an answer; rather, it is the most precise, elegant, and mathematically rigorous way to represent the exact sum.

Algebraic Extension Fields: Looking Deeper

To truly master the concept of adding $\sqrt{2}$ and $\sqrt{3}$, we must venture into abstract algebra, specifically the study of field extensions. A number field is a subfield of the complex numbers that contains the rational numbers $\mathbb{Q}$ as a subfield.

When we start with the rational numbers $\mathbb{Q}$ and adjoin the element $\sqrt{2}$, we create a new field extension denoted as $\mathbb{Q}(\sqrt{2})$. Every element in this field can be written in the form:

where $a$ and $b$ are rational numbers.

Similarly, we can adjoin $\sqrt{3}$ to obtain $\mathbb{Q}(\sqrt{3})$, consisting of elements of the form:

where $c$ and $d$ are rational numbers.

When we consider $\sqrt{2} + \sqrt{3}$, we are operating within the composite field extension $\mathbb{Q}(\sqrt{2}, \sqrt{3})$. In this field, every element can be expressed as a linear combination of the basis elements $\{1, \sqrt{2}, \sqrt{3}, \sqrt{6}\}$ with rational coefficients. That is, any number in this field looks like:

where $q_1, q_2, q_3, q_4 \in \mathbb{Q}$.

For our specific expression $\sqrt{2} + \sqrt{3}$, the coefficients are:

• $q_1 = 0$

• $q_2 = 1$

• $q_3 = 1$

• $q_4 = 0$

This structural view reveals why the sum cannot collapse into a simpler single radical. The extension degree $[\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}]$ is equal to 4. This means that the smallest field containing both $\sqrt{2}$ and $\sqrt{3}$ requires a four-dimensional vector space over $\mathbb{Q}$. A single square root extension like $\mathbb{Q}(\sqrt{5})$ has an extension degree of only 2. Because 4 cannot be reduced to 2 without losing information, $\sqrt{2} + \sqrt{3}$ structurally cannot live inside a lower-degree extension field represented by a single square root.

Section IV: The Algebraic Reality — Field Extensions and Minimal Polynomials

To truly understand why $\sqrt{2} + \sqrt{3}$ resists any attempt at compression into a single radical, we must venture into abstract algebra, specifically the theory of field extensions.

When we work with rational numbers $\mathbb{Q}$, adjoining $\sqrt{2}$ creates a new extension field denoted as $\mathbb{Q}(\sqrt{2})$. Every element in this field can be expressed in the linear form:

Similarly, adjoining $\sqrt{3}$ creates $\mathbb{Q}(\sqrt{3})$. When we combine both by adjoining them to $\mathbb{Q}$, we construct the biquadratic extension field $\mathbb{Q}(\sqrt{2}, \sqrt{3})$. The elements of this field are linear combinations of a four-element basis:

Notice where $\sqrt{2} + \sqrt{3}$ sits within this structure. It corresponds to the specific vector $(0, 1, 1, 0)$ in this four-dimensional vector space over $\mathbb{Q}$. Because the degree of the extension $[\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}]$ is $4$, the minimal polynomial of $\alpha = \sqrt{2} + \sqrt{3}$ over $\mathbb{Q}$ must have a degree of $4$.

To find this minimal polynomial, let us examine powers of $\alpha$:

• $\alpha = \sqrt{2} + \sqrt{3}$

• $\alpha^2 = (\sqrt{2} + \sqrt{3})^2 = 2 + 2\sqrt{6} + 3 = 5 + 2\sqrt{6}$

• $\alpha^3 = \alpha(\alpha^2) = (\sqrt{2} + \sqrt{3})(5 + 2\sqrt{6}) = 5\sqrt{2} + 2\sqrt{12} + 5\sqrt{3} + 2\sqrt{18} = 11\sqrt{2} + 9\sqrt{3}$

• $\alpha^4 = (\alpha^2)^2 = (5 + 2\sqrt{6})^2 = 25 + 20\sqrt{6} + 24 = 49 + 20\sqrt{6}$

By observing these powers, we can construct a linear combination that eliminates the irrational components:

Let us verify this equation:

This polynomial, $x^4 - 10x^2 + 1$, is irreducible over $\mathbb{Q}$ and represents the tightest algebraic constraint governing $\sqrt{2} + \sqrt{3}$. Because its degree is $4$, it confirms that $\sqrt{2} + \sqrt{3}$ cannot be expressed as the root of a lower-degree polynomial with rational coefficients, sealing the proof that it cannot be simplified into a single square root like $\sqrt{a}$.

Section V: The Pitfall of Intuition and the Power of Expansion

A common trap for students encountering surds for the first time is applying false linearity to square roots. It is tempting to write:

As we established, substituting $a = 2$ and $b = 3$ gives $\sqrt{5}$ on one side and $\sqrt{2} + \sqrt{3}$ on the other. Numerically:

• $\sqrt{5} \approx 2.2360679$

• $\sqrt{2} + \sqrt{3} \approx 1.4142135 + 1.7320508 = 3.1462643$

Clearly, $2.236 eq 3.146$. The operation of taking a square root does not distribute over addition.

However, looking at the reverse operation—squaring a sum—yields crucial insights into how these terms interact. When we square $\sqrt{2} + \sqrt{3}$, we use the binomial theorem:

This expansion introduces a mixed radical term, $2\sqrt{6}$. This cross-term is the mathematical footprint of multiplying two different quadratic irrationals. It proves that while addition leaves the terms distinct, multiplication forces them to interact, weaving them into a richer algebraic tapestry.

Section VI: Numerical Approximation and Practical Computation

While exact symbolic representation is the gold standard of pure mathematics, practical engineering and physics often demand numerical values. Can we compute $\sqrt{2} + \sqrt{3}$ efficiently without relying on modern calculators?

Historically, mathematicians relied on continued fractions or the Babylonian method (Hero's method) for square root approximations.

• Step 1: Approximate $\sqrt{2}$ Using the Babylonian iteration $x_{n+1} = \frac{1}{2}\left(x_n + \frac{2}{x_n} ight)$ starting from $x_0 = 1.5$:

  • $x_1 = 1.4167$

  • $x_2 \approx 1.4142135$

• Step 2: Approximate $\sqrt{3}$ Using $y_{n+1} = \frac{1}{2}\left(y_n + \frac{3}{y_n} ight)$ starting from $y_0 = 1.7$:

  • $y_1 = 1.7353$

  • $y_2 \approx 1.7320508$

• Step 3: Sum the Approximations

  $$1.4142135 + 1.7320508 = 3.1462643$$

This decimal expansion is non-terminating and non-repeating because both component numbers are irrational. Interestingly, the sum of two irrational numbers can sometimes be rational (e.g., $\sqrt{2} + (-\sqrt{2}) = 0$), but in this case, the sum remains strictly irrational.

Section VII: Generalizing the Addition of Radicals

To solidify our understanding, let us categorize how different types of radical expressions behave under addition. The following table contrasts combinable and non-combinable radical expressions:

Conclusion: Embracing Incompleteness in Mathematics

Can we add root 2 and root 3?

The answer depends entirely on the lens through which you view the question. Operationally, yes, we can write their sum as $\sqrt{2} + \sqrt{3}$, leaving it as an exact, elegant, irreducible binomial. Numerically, yes, we can evaluate it to any desired decimal place as approximately $3.146264$. But algebraically, no, we cannot compress it into a single, monolithic radical term like $\sqrt{5}$.

This resistance to reduction is not a limitation of mathematics; rather, it is a feature that highlights the rich structure of real numbers. It teaches us that not everything in mathematics can—or should—be forced into a single, compact box. Sometimes, the beauty of a mathematical expression lies precisely in the harmonic coexistence of its distinct parts.

What specific aspect of radical equations or algebraic field extensions would you like to explore next?