Prove that sqrt 2 is irrational. Irrational numbers: what are they and what are they used for? Place in the general classification

What numbers are irrational? Irrational number is not a rational real number, i.e. it cannot be represented as a fraction (as a ratio of two integers), where m- integer, n- natural number. Irrational number can be represented as an infinite non-periodic decimal fraction.

Irrational number may not have an exact meaning. Only in format 3.333333…. For example, square root of the two, it is an irrational number.

Which number is irrational? Irrational number(as opposed to rational) is called an infinite decimal non-periodic fraction.

Many irs rational numbers often denoted by capital Latin letter in bold style without shading. That.:

Those. The set of irrational numbers is the difference between the sets of real and rational numbers.

Properties of irrational numbers.

  • The sum of 2 non-negative irrational numbers can be a rational number.
  • Irrational numbers define Dedekind sections in the set of rational numbers, in the lower class which do not have the large number, and in the upper there is no less.
  • Anything real transcendental number is an irrational number.
  • All irrational numbers are either algebraic or transcendental.
  • The set of irrational numbers is dense everywhere on the number line: between every pair of numbers there is an irrational number.
  • The order on the set of irrational numbers is isomorphic to the order on the set of real transcendental numbers.
  • The set of irrational numbers is infinite and is a set of the 2nd category.
  • The result of every arithmetic operation with rational numbers (except division by 0) is a rational number. The result of arithmetic operations on irrational numbers can be either a rational or an irrational number.
  • The sum of a rational and an irrational number will always be an irrational number.
  • The sum of irrational numbers can be a rational number. For example, let x irrational then y=x*(-1) also irrational; x+y=0, and the number 0 rational (if, for example, we add the root of any degree of 7 and minus the root of the same degree of seven, we get the rational number 0).

Irrational numbers, examples.

γ ζ (3) — ρ — √2 — √3 — √5 — φ δsα eπ δ

1.Proofs are examples of deductive reasoning and are different from inductive or empirical arguments. A proof must demonstrate that the statement being proven is always true, sometimes by listing all possible cases and showing that the statement holds in each of them. A proof may rely on obvious or generally accepted phenomena or cases known as axioms. Contrary to this, the irrationality of the “square root of two” is proven.
2. The intervention of topology here is explained by the very nature of things, which means that there is no purely algebraic way to prove irrationality, in particular based on rational numbers. Here is an example, the choice is yours: 1 + 1/2 + 1/4 + 1/8 ….= 2 or 1+1/2 + 1/4 + 1/8 …≠ 2 ???
If you accept 1+1/2 + 1/4 + 1/8 +…= 2, which is considered the “algebraic” approach, then it is not at all difficult to show that there exists n/m ∈ ℚ, which on an infinite sequence is irrational and finite number. This suggests that the irrational numbers are the closure of the field ℚ, but this refers to a topological singularity.
So for Fibonacci numbers, F(k): 1,1,2,3,5,8,13,21,34,55,89,144,233,377, … lim(F(k+1)/F(k)) = φ
This only shows that there is a continuous homomorphism ℚ → I, and it can be shown rigorously that the existence of such an isomorphism is not a logical consequence of the algebraic axioms.

Understanding numbers, especially natural numbers, is one of the oldest math "skills." Many civilizations, even modern ones, have attributed certain mystical properties to numbers due to their enormous importance in describing nature. Although modern science and mathematics do not confirm these “magical” properties, the importance of number theory is undeniable.

Historically, a variety of natural numbers appeared first, then fairly quickly fractions and positive irrational numbers were added to them. Zero and negative numbers were introduced after these subsets of the set of real numbers. Last set, set complex numbers, appeared only with the development of modern science.

In modern mathematics, numbers are not introduced in historical order, although quite close to it.

Natural numbers $\mathbb(N)$

The set of natural numbers is often denoted as $\mathbb(N)=\lbrace 1,2,3,4... \rbrace $, and is often padded with zero to denote $\mathbb(N)_0$.

$\mathbb(N)$ defines the operations of addition (+) and multiplication ($\cdot$) with the following properties for any $a,b,c\in \mathbb(N)$:

1. $a+b\in \mathbb(N)$, $a\cdot b \in \mathbb(N)$ the set $\mathbb(N)$ is closed under the operations of addition and multiplication
2. $a+b=b+a$, $a\cdot b=b\cdot a$ commutativity
3. $(a+b)+c=a+(b+c)$, $(a\cdot b)\cdot c=a\cdot (b\cdot c)$ associativity
4. $a\cdot (b+c)=a\cdot b+a\cdot c$ distributivity
5. $a\cdot 1=a$ is a neutral element for multiplication

Since the set $\mathbb(N)$ contains a neutral element for multiplication but not for addition, adding a zero to this set ensures that it includes a neutral element for addition.

In addition to these two operations, the “less than” relations ($

1. $a b$ trichotomy
2. if $a\leq b$ and $b\leq a$, then $a=b$ antisymmetry
3. if $a\leq b$ and $b\leq c$, then $a\leq c$ is transitive
4. if $a\leq b$ then $a+c\leq b+c$
5. if $a\leq b$ then $a\cdot c\leq b\cdot c$

Integers $\mathbb(Z)$

Examples of integers:
$1, -20, -100, 30, -40, 120...$

Solving the equation $a+x=b$, where $a$ and $b$ are known natural numbers, and $x$ is an unknown natural number, requires the introduction of a new operation - subtraction(-). If there is a natural number $x$ satisfying this equation, then $x=b-a$. However, this particular equation does not necessarily have a solution on the set $\mathbb(N)$, so practical considerations require expanding the set of natural numbers to include solutions to such an equation. This leads to the introduction of a set of integers: $\mathbb(Z)=\lbrace 0,1,-1,2,-2,3,-3...\rbrace$.

Since $\mathbb(N)\subset \mathbb(Z)$, it is logical to assume that the previously introduced operations $+$ and $\cdot$ and the relations $ 1. $0+a=a+0=a$ there is a neutral element for addition
2. $a+(-a)=(-a)+a=0$ there is an opposite number $-a$ for $a$

Property 5.:
5. if $0\leq a$ and $0\leq b$, then $0\leq a\cdot b$

The set $\mathbb(Z)$ is also closed under the subtraction operation, that is, $(\forall a,b\in \mathbb(Z))(a-b\in \mathbb(Z))$.

Rational numbers $\mathbb(Q)$

Examples of rational numbers:
$\frac(1)(2), \frac(4)(7), -\frac(5)(8), \frac(10)(20)...$

Now consider equations of the form $a\cdot x=b$, where $a$ and $b$ are known integers, and $x$ is an unknown. For the solution to be possible, it is necessary to introduce the division operation ($:$), and the solution takes the form $x=b:a$, that is, $x=\frac(b)(a)$. Again the problem arises that $x$ does not always belong to $\mathbb(Z)$, so the set of integers needs to be expanded. This introduces the set of rational numbers $\mathbb(Q)$ with elements $\frac(p)(q)$, where $p\in \mathbb(Z)$ and $q\in \mathbb(N)$. The set $\mathbb(Z)$ is a subset in which each element $q=1$, therefore $\mathbb(Z)\subset \mathbb(Q)$ and the operations of addition and multiplication extend to this set according to the following rules, which preserve all the above properties on the set $\mathbb(Q)$:
$\frac(p_1)(q_1)+\frac(p_2)(q_2)=\frac(p_1\cdot q_2+p_2\cdot q_1)(q_1\cdot q_2)$
$\frac(p-1)(q_1)\cdot \frac(p_2)(q_2)=\frac(p_1\cdot p_2)(q_1\cdot q_2)$

The division is introduced as follows:
$\frac(p_1)(q_1):\frac(p_2)(q_2)=\frac(p_1)(q_1)\cdot \frac(q_2)(p_2)$

On the set $\mathbb(Q)$, the equation $a\cdot x=b$ has a unique solution for each $a\neq 0$ (division by zero is undefined). This means that there is an inverse element $\frac(1)(a)$ or $a^(-1)$:
$(\forall a\in \mathbb(Q)\setminus\lbrace 0\rbrace)(\exists \frac(1)(a))(a\cdot \frac(1)(a)=\frac(1) (a)\cdot a=a)$

The order of the set $\mathbb(Q)$ can be expanded as follows:
$\frac(p_1)(q_1)

The set $\mathbb(Q)$ has one important property: between any two rational numbers there are infinitely many other rational numbers, therefore, there are no two adjacent rational numbers, unlike the sets of natural numbers and integers.

Irrational numbers $\mathbb(I)$

Examples of irrational numbers:
$\sqrt(2) \approx 1.41422135...$
$\pi\approx 3.1415926535...$

Since between any two rational numbers there are infinitely many other rational numbers, it is easy to erroneously conclude that the set of rational numbers is so dense that there is no need to expand it further. Even Pythagoras made such a mistake in his time. However, his contemporaries already refuted this conclusion when studying solutions to the equation $x\cdot x=2$ ($x^2=2$) on the set of rational numbers. To solve such an equation, it is necessary to introduce the concept of a square root, and then the solution to this equation has the form $x=\sqrt(2)$. An equation like $x^2=a$, where $a$ is a known rational number and $x$ is an unknown one, does not always have a solution on the set of rational numbers, and again the need arises to expand the set. A set of irrational numbers arises, and numbers such as $\sqrt(2)$, $\sqrt(3)$, $\pi$... belong to this set.

Real numbers $\mathbb(R)$

The union of the sets of rational and irrational numbers is the set of real numbers. Since $\mathbb(Q)\subset \mathbb(R)$, it is again logical to assume that the introduced arithmetic operations and relations retain their properties on the new set. The formal proof of this is very difficult, so the above-mentioned properties of arithmetic operations and relations on the set of real numbers are introduced as axioms. In algebra, such an object is called a field, so the set of real numbers is said to be an ordered field.

In order for the definition of the set of real numbers to be complete, it is necessary to introduce an additional axiom that distinguishes the sets $\mathbb(Q)$ and $\mathbb(R)$. Suppose that $S$ is a non-empty subset of the set of real numbers. An element $b\in \mathbb(R)$ is called the upper bound of a set $S$ if $\forall x\in S$ holds $x\leq b$. Then we say that the set $S$ is bounded above. The smallest upper bound of the set $S$ is called the supremum and is denoted $\sup S$. The concepts are introduced similarly lower limit, a set bounded below, and an infinum $\inf S$ . Now the missing axiom is formulated as follows:

Any non-empty and upper-bounded subset of the set of real numbers has a supremum.
It can also be proven that the field of real numbers defined in the above way is unique.

Complex numbers$\mathbb(C)$

Examples of complex numbers:
$(1, 2), (4, 5), (-9, 7), (-3, -20), (5, 19),...$
$1 + 5i, 2 - 4i, -7 + 6i...$ where $i = \sqrt(-1)$ or $i^2 = -1$

The set of complex numbers represents all ordered pairs of real numbers, that is, $\mathbb(C)=\mathbb(R)^2=\mathbb(R)\times \mathbb(R)$, on which the operations of addition and multiplication are defined as follows way:
$(a,b)+(c,d)=(a+b,c+d)$
$(a,b)\cdot (c,d)=(ac-bd,ad+bc)$

There are several forms of writing complex numbers, of which the most common is $z=a+ib$, where $(a,b)$ is a pair of real numbers, and the number $i=(0,1)$ is called the imaginary unit.

It is easy to show that $i^2=-1$. Extending the set $\mathbb(R)$ to the set $\mathbb(C)$ allows us to determine the square root of negative numbers, which was the reason for the introduction of a set of complex numbers. It is also easy to show that a subset of the set $\mathbb(C)$, given by $\mathbb(C)_0=\lbrace (a,0)|a\in \mathbb(R)\rbrace$, satisfies all the axioms for real numbers, therefore $\mathbb(C)_0=\mathbb(R)$, or $R\subset\mathbb(C)$.

The algebraic structure of the set $\mathbb(C)$ with respect to the operations of addition and multiplication has the following properties:
1. commutativity of addition and multiplication
2. associativity of addition and multiplication
3. $0+i0$ - neutral element for addition
4. $1+i0$ - neutral element for multiplication
5. Multiplication is distributive with respect to addition
6. There is a single inverse for both addition and multiplication.

The set of irrational numbers is usually denoted by a capital letter I (\displaystyle \mathbb (I) ) in bold style without shading. Thus: I = R ∖ Q (\displaystyle \mathbb (I) =\mathbb (R) \backslash \mathbb (Q) ), that is, the set of irrational numbers is the difference between the sets of real and rational numbers.

The existence of irrational numbers, more precisely, segments incommensurable with a segment of unit length, was already known to ancient mathematicians: they knew, for example, the incommensurability of the diagonal and the side of a square, which is equivalent to the irrationality of the number.

Encyclopedic YouTube

  • 1 / 5

    Irrational are:

    Examples of proof of irrationality

    Root of 2

    Let's assume the opposite: 2 (\displaystyle (\sqrt (2))) rational, that is, represented as a fraction m n (\displaystyle (\frac (m)(n))), Where m (\displaystyle m) is an integer, and n (\displaystyle n)- natural number.

    Let's square the supposed equality:

    2 = m n ⇒ 2 = m 2 n 2 ⇒ m 2 = 2 n 2 (\displaystyle (\sqrt (2))=(\frac (m)(n))\Rightarrow 2=(\frac (m^(2 ))(n^(2)))\Rightarrow m^(2)=2n^(2)).

    Story

    Antiquity

    The concept of irrational numbers was implicitly adopted by Indian mathematicians in the 7th century BC, when Manava (c. 750 BC - c. 690 BC) figured out that the square roots of some natural numbers, such as 2 and 61 cannot be expressed explicitly [ ] .

    The first proof of the existence of irrational numbers is usually attributed to Hippasus of Metapontus (c. 500 BC), a Pythagorean. At the time of the Pythagoreans, it was believed that there was a single unit of length, sufficiently small and indivisible, which included an integer number of times in any segment [ ] .

    There is no exact data on which number was proven irrational by Hippasus. According to legend, he found it by studying the lengths of the sides of the pentagram. Therefore, it is reasonable to assume that this was the golden ratio [ ] .

    Greek mathematicians called this ratio of incommensurable quantities alogos(unspeakable), but according to the legends they did not pay due respect to Hippasus. There is a legend that Hippasus made the discovery while on a sea voyage and was thrown overboard by other Pythagoreans "for creating an element of the universe that denies the doctrine that all entities in the universe can be reduced to integers and their ratios." The discovery of Hippasus challenged Pythagorean mathematics serious problem, destroying the assumption underlying the entire theory that numbers and geometric objects united and inseparable.

    Definition of an irrational number

    Irrational numbers are those numbers that in decimal notation represent endless non-periodic decimal fractions.



    So, for example, numbers obtained by taking the square root of natural numbers are irrational and are not squares of natural numbers. But not all irrational numbers are obtained by extraction square roots, because the number “pi” obtained by division is also irrational, and you are unlikely to get it when trying to extract the square root of a natural number.

    Properties of irrational numbers

    Unlike numbers written as infinite decimals, only irrational numbers are written as non-periodic infinite decimals.
    The sum of two non-negative irrational numbers can end up being a rational number.
    Irrational numbers define Dedekind cuts in the set of rational numbers, in the lower class of which there is no largest number, and in the upper class there is no smaller one.
    Any real transcendental number is irrational.
    All irrational numbers are either algebraic or transcendental.
    The set of irrational numbers on a line is densely located, and between any two of its numbers there is sure to be an irrational number.
    The set of irrational numbers is infinite, uncountable and is a set of the 2nd category.
    When performing any arithmetic operation on rational numbers, except division by 0, the result will be a rational number.
    When adding a rational number to an irrational number, the result is always an irrational number.
    When adding irrational numbers, we can end up with a rational number.
    The set of irrational numbers is not even.

    Numbers are not irrational

    Sometimes it is quite difficult to answer the question whether a number is irrational, especially in cases where the number has the form decimal or as a numeric expression, root, or logarithm.

    Therefore, it will not be superfluous to know which numbers are not irrational. If we follow the definition of irrational numbers, then we already know that rational numbers cannot be irrational.

    Irrational numbers are not:

    First, all natural numbers;
    Secondly, integers;
    Thirdly, common fractions;
    Fourthly, various mixed numbers;
    Fifthly, these are infinite periodic decimal fractions.

    In addition to all of the above, an irrational number cannot be any combination of rational numbers that is performed by the signs of arithmetic operations, such as +, -, , :, since in this case the result of two rational numbers will also be a rational number.

    Now let's see which numbers are irrational:



    Do you know about the existence of a fan club where fans of this mysterious mathematical phenomenon are looking for more and more information about Pi, trying to unravel its mystery? Any person who knows by heart a certain number of Pi numbers after the decimal point can become a member of this club;

    Did you know that in Germany, under the protection of UNESCO, there is the Castadel Monte palace, thanks to the proportions of which you can calculate Pi. King Frederick II dedicated the entire palace to this number.

    It turns out that they tried to use the number Pi during construction Tower of Babel. But unfortunately, this led to the collapse of the project, since at that time the exact calculation of the value of Pi was not sufficiently studied.

    Singer Kate Bush in her new disc recorded a song called “Pi”, in which one hundred and twenty-four numbers from the famous number series 3, 141… were heard.