The statement "
3the square root of 3 end-root
3√
is a rational number" is false. The number 3the square root of 3 end-root
3√
is an irrational number, meaning it cannot be expressed as a fraction of two integers, pqp over q end-fraction
𝑝𝑞
, where q≠0q is not equal to 0
𝑞≠0
. Its decimal representation is non-terminating and non-repeating.
Understanding rational and irrational numbers
To understand why 3the square root of 3 end-root
3√
is irrational, one must first grasp the definitions of rational and irrational numbers.
-
**Rational Numbers (Qthe rational numbers
ℚ
)**: These are any numbers that can be written as a fraction pqp over q end-fraction
𝑝𝑞
, where pp
𝑝
and qq
𝑞
are integers and qq
𝑞
is not zero. This includes all integers, terminating decimals (e.g., 0.75=340.75 equals three-fourths
0.75=34
), and repeating decimals (e.g., 0.333...=130.333 point point point equals one-third
0.333...=13
).
-
**Irrational Numbers (R∖Qthe real numbers ∖ the rational numbers
ℝ∖ℚ
)**: These are all real numbers that are not rational. They cannot be expressed as a simple fraction, and their decimal expansions are non-terminating and non-repeating. Famous examples include πpi
𝜋
(Pi), e (Euler's number), and the square roots of non-perfect squares.
The proof that 3the square root of 3 end-root
3√
is irrational
The most common way to prove that 3the square root of 3 end-root
3√
is irrational is by using the method of contradiction, also known as reductio ad absurdum. The steps are as follows:
-
Assume the opposite: Start by assuming that 3the square root of 3 end-root
3√
is a rational number.
-
Express as a fraction: If 3the square root of 3 end-root
3√
is rational, it can be written as a fraction pqp over q end-fraction
𝑝𝑞
, where pp
𝑝
and qq
𝑞
are integers with no common factors (i.e., the fraction is in its simplest form) and q≠0q is not equal to 0
𝑞≠0
.
-
Rearrange and square the equation:3=pqthe square root of 3 end-root equals p over q end-fraction
3√=𝑝𝑞
3=p2q23 equals the fraction with numerator p squared and denominator q squared end-fraction
3=𝑝2𝑞2
3q2=p23 q squared equals p squared
3𝑞2=𝑝2
-
Analyze the divisibility:
-
This equation shows that p2p squared
𝑝2
is divisible by 3.
-
Because 3 is a prime number, if p2p squared
𝑝2
is divisible by 3, then pp
𝑝
must also be divisible by 3.
-
This means we can write pp
𝑝
as 3c3 c
3𝑐
for some integer cc
𝑐
.
-
-
Substitute and find the contradiction:
-
Substitute p=3cp equals 3 c
𝑝=3𝑐
back into the main equation: 3q2=(3c)23 q squared equals open paren 3 c close paren squared
3𝑞2=(3𝑐)2
.
-
Simplify the equation: 3q2=9c23 q squared equals 9 c squared
3𝑞2=9𝑐2
, which can be reduced to q2=3c2q squared equals 3 c squared
𝑞2=3𝑐2
.
-
This result shows that q2q squared
𝑞2
is also divisible by 3.
-
Therefore, qq
𝑞
must also be divisible by 3.
-
-
Reach the contradiction:
-
The proof has shown that both pp
𝑝
and qq
𝑞
are divisible by 3.
-
This contradicts the initial assumption that pp
𝑝
and qq
𝑞
have no common factors.
-
Since the initial assumption led to a logical contradiction, the assumption must be false.
-
Therefore, 3the square root of 3 end-root
3√
is an irrational number.
-
The decimal representation of 3the square root of 3 end-root
3√
Another way to understand why 3the square root of 3 end-root
3√
is irrational is by examining its decimal form. The value of 3the square root of 3 end-root
3√
is approximately 1.73205080757.... Unlike rational numbers, the digits after the decimal point continue forever without repeating in a regular pattern. This non-terminating and non-repeating decimal expansion is a key characteristic of irrational numbers.
Historical context
The discovery of irrational numbers dates back to ancient Greece and was a significant, and at the time, controversial event in mathematics.
-
Pythagorean discovery: The existence of irrational numbers is typically credited to the Pythagorean school of thought, specifically Hippasus of Metapontum in the 5th century BC.
-
The shock of incommensurability: Hippasus is believed to have discovered that the diagonal of a unit square (with side lengths of 1) has a length of 2the square root of 2 end-root
2√
, which could not be expressed as a ratio of two integers. This was in direct conflict with the Pythagorean belief that all quantities could be expressed as whole numbers or their ratios.
-
Ancient suppression: Legend says the discovery was so disturbing that the Pythagoreans threw Hippasus overboard during a sea voyage. While this story may be apocryphal, it illustrates the profound philosophical implications the discovery had on their worldview, which assumed a universe perfectly explainable by rational numbers.
Applications and mathematical significance
Beyond the proof, 3the square root of 3 end-root
3√
has practical and theoretical significance in various fields.
-
Geometry and Trigonometry: In an equilateral triangle with side lengths of 2, the height is exactly 3the square root of 3 end-root
3√
. This value is fundamental to trigonometric functions of 30∘30 raised to the composed with power
30∘
and 60∘60 raised to the composed with power
60∘
. For example, tan(60∘)=3tangent open paren 60 raised to the composed with power close paren equals the square root of 3 end-root
tan(60∘)=3√
.
-
Engineering and Physics: 3the square root of 3 end-root
3√
is used in formulas for three-phase power systems in electrical engineering. It is also the length of the space diagonal of a unit cube.
-
Algebra: 3the square root of 3 end-root
3√
is a root of the polynomial equation x2−3=0x squared minus 3 equals 0
𝑥2−3=0
. Numbers like this, which are solutions to polynomial equations with integer coefficients, are known as algebraic irrational numbers.
Conclusion
The statement "3the square root of 3 end-root
3√
is a rational number" is definitively false. Through a formal proof by contradiction and an understanding of its non-repeating decimal expansion, it is clear that 3the square root of 3 end-root
3√
is an irrational number. Its existence and properties have had a lasting impact on mathematics since its ancient discovery, demonstrating that not all numbers can be expressed as a simple fraction.