Questions about numbers not expressible as the quotient of two integers. For questions on determining whether a number is irrational, use the (rationality-testing) tag instead.

learn more… | top users | synonyms

1
vote
2answers
54 views

Represent non-integer values on the factorial base

I want to compute the representation of the following values using the factorial number system: $\pi$ $e$ $\phi$ I know how to do it for integer values, but is it feasible for non-integer values? ...
3
votes
1answer
44 views

Are there any number systems better suited to nature?

For example, number such as $\pi$ and $e$ cannot be represented as rational numbers in our number study and extend in decimal places to infinity. QUESTION: Is there a possibility that some other ...
3
votes
0answers
56 views

Is this irrationality proof correct?

Consider a non-square integer $n$. If its square root was rational, then we would have $$\sqrt n=\frac{a}{b}$$ for some $a,b\in\mathbb{Z}$ and so $a^2=nb^2$. But this is impossible, because $n$ is ...
1
vote
1answer
35 views

Yet another product of irrational numbers

Let $~\alpha~$ and $~\beta~$ be irrational numbers such that $$~\alpha \notin \{\beta, -\beta\}$$ and $$~\alpha \notin \left\{\frac{1}{\beta}, -\frac{1}{\beta}\right\}$$ I suppose that in this case ...
3
votes
2answers
139 views

square root of 2 irrational - alternative proof

I have found the following alternative proof online. It looks amazingly elegant but I wonder if it is correct. I mean: should it not state that $(\sqrt{2}-1)\cdot k \in \mathbb{N}$ to be able to ...
6
votes
3answers
183 views

What type of numbers are roots of $x^{2} = -1$ themselves?

Are the roots $i, -i$ themselves irrational numbers or complex numbers or left auxiliary so that undefined?
7
votes
3answers
446 views

Help with determining irrationality of a number?

I am trying to prove: If $\cos(\pi\alpha) = \frac{1}{3}$ then $\alpha \in \mathbb{R} \setminus \mathbb{Q}$ So far, I've tried making it into an exponential, since exponentials are easier to ...
0
votes
1answer
29 views

How do I check if intervals can be nested?

Hi I'm in grade 10 and I'm doing nested intervals. Under my current circumstances I am unable to have a teacher, so I'm self teaching with the help of textbooks. I understand very, very basic ...
1
vote
3answers
104 views

Prove that if $x$ and $y$ are irrational numbers, there exists an irrational number $z$ such that $y < z < x$

My teacher proposed this question a few days ago along with the similar case for rational numbers. I've already figured out the proof for rational numbers (just prove that their arithmetic mean is ...
1
vote
2answers
55 views

Cantor diagonal argument; related number

I was reading another question on mse about cantors proof and I'm curious about a number that could be defined from it. Well there could be a whole heap of them, but one for now. Define $A=\Bbb{Q} ...
0
votes
2answers
67 views

Correctness of the proof that the set $\{x \in \mathbb{Q} : x>0 \text{ and } x^2>2\}$ does not have a smallest element

Let $F=\{x \in \mathbb{Q} : x>0 \text{ and } x^2>2\}$. I am asked to show that $F$ does not have a smallest element. The hint is to simply prove the claim: 'If $p$ is a rational number in ...
13
votes
4answers
610 views

Process to show that $\sqrt 2+\sqrt[3] 3$ is irrational

How can I prove that the sum $\sqrt 2+\sqrt[3] 3$ is an irrational number ??
3
votes
2answers
145 views

Can one prove existence of incommensurables without the Pythagorean theorem?

Euclid's proof that the side and the diagonal of a square have no common measure, probably going back to Pythagoreans, reduces it to proving the irrationality of $\sqrt{2}$. This reduction uses the ...
2
votes
2answers
170 views

Example of a proof using the axiom of commensurability

I'm teaching our intro to proofs course (well, one of them) and one of the classic illustrations of an overturned "axiom" is the Greek axiom of commensurability, which stated in geometric terms the ...
3
votes
4answers
100 views

If $q^n$ is irrational for all $n>1$, then $q$ is irrational.

Theorem. Let $q \in \mathbb{R}$ an arbitrary given number. If $q^n$ is irrational for all $n>1$ integer, then $q$ is irrational. My Questions. What is a the name of this statement and what is the ...
-1
votes
1answer
70 views

How is circle closed?

I have this thought that circle in 'real' is not a closed figure. We all know that 'pi' is irrational.And integers are nodes in a 'monstrous' line of real numbers. Irrational numbers are ...
5
votes
4answers
177 views

Is $\ln\sqrt{2}$ irrational?

I know that the natural log of any positive algebraic number is transcendental, as a consequence of the Lindemann-Weierstrass theorem, but what about the natural log of the square root of two (which ...
1
vote
0answers
41 views

What is the limit of $k^2|\pi-n(k)/k |$, where $k$ minimizes $|k\pi -n|$?

Let $k\in \mathbb N$ and for any such n, let $k=k(n)$ minimizes the distance $|k\pi-n|\leq 2 \pi$. It is clear that, by fixing the value of $n$, it is possible to choose $k$ (and vice versa). ...
3
votes
1answer
78 views

Rational values of $\sin(\log(x))$

Apart from the trivial solution $\sin(\log(1))=0$, is $$\sin(\log(x))$$ ever rational if $x$ is rational?
0
votes
2answers
117 views

How do you multiply infinite quantities?

Out of curiosity I was watching this video from njwildberger on youtube: https://www.youtube.com/watch?v=4DNlEq0ZrTo Where he says that you can't define associativity between irrational numbers ...
2
votes
1answer
26 views

Existence of a sequence of integers $\lbrace a_k\rbrace_{k\geq 1}$ so that the first $k$ digits of $a_k\alpha$ are $0$ where $\alpha$ is irrational.

Let $\alpha$ be an irrational number. Is there a sequence $\lbrace a_k\rbrace_{k\geq 1}$ of integers so that the first $k$ digits of the fractional part of $a_k·\alpha$ are $0$? (in base $2$, for ...
5
votes
4answers
396 views

For an irrational number $a$ the fractional part of $na$ for $n\in\mathbb N$ is dense in $[0,1]$

How to prove that the $\{$ fractional part of $n\alpha\mid n \in \mathbb{N}$ $\}$ is dense in $[0,1]$ for an irrational number $\alpha$. NOTICE that $n$ is in $\mathbb{N}$ Also notice that this is ...
0
votes
2answers
80 views

$1$ is not congruent because of Fermat's Last Theorem?

I would like someone to explain something I did not understand. I was reading a page called "nuking the mosquito" where they give very complex proofs for very simple results. The proof I want to talk ...
2
votes
3answers
143 views

Irrational number “test”?

Suppose we have a finite quantity $a$, which we would like to prove to be irrational, supposing that it is indeed irrational. Then, would it be enough to show that ...
2
votes
2answers
179 views

Are numbers like $\left ( -2 \right )^{\sqrt{2}}$ real or complex?

I know that numbers with rational power can be converted to radicals and based on the degree of the radical we can say that whether they are real or complex. But what about numbers like $\left ( -2 ...
0
votes
2answers
293 views

Lambert's Original Proof that $\pi$ is irrational.

I am trying to find Lambert's original proof that $\pi$ is irrational. Wikipedia has a little description but it is quite lacking. Can someone direct me to Lambert's original proof or post his proof ...
7
votes
14answers
1k views

Irrational numbers in reality

I have a square stone slab 1 metre by 1 metre, by the Pythagorean identity the diagonal from one corner to another is given by $\sqrt 2$. However $\sqrt 2$ is an irrational number, could someone ...
0
votes
0answers
53 views

Archimedes' Apprxomation of Square Roots

Supposing a square root $\sqrt{X}$, let $x$ be the approximation of $\sqrt{X}$, then we get these 2 formulas to estimate $\sqrt{X}$: $x_{n+1}=\frac{x_n+\frac{X}{x_n}}{2}$ and ...
0
votes
2answers
57 views

Help With a proof (Irrational Number)

Prove the following statement by proving its contrapositive: if $r$ is irrational, then $r^\frac{1}{5}$ is irrational. Its contrapositive will be: If $r^\frac{1}{5}$ is not irrational, then $r$ is ...
4
votes
1answer
405 views

Proof that $\sqrt[m]{a} + \sqrt[n]{b}$ is irrational

Is there a way to prove that $\sqrt[m]{a} + \sqrt[n]{b}$ ($\sqrt[m]{a}$ and $\sqrt[n]{b}$ are irrational); $a, b, m, n \in \mathbb{N}$; $m, n \neq 2$; is irrational without using the theorem mentioned ...
2
votes
2answers
95 views

$x+y\sqrt{2}$ infimum ($x,y\in \mathbb{Z}$)

I've looked for help with this question but I have not found anything, I hope this is not a duplicate. Define the set $A=\{\mid x+y\sqrt{2}\mid \ : x,y\in \mathbb{Z}\ \mbox{and} \mid ...
0
votes
1answer
129 views

Show that $\sqrt{2}$ is irrational using integer root theorem

Show that $\sqrt{2}$ is irrational using integer root theorem. Let $P(x)=x^2-2$. Since $\sqrt{2}$ is a root of this polynomial, had it been a rational (suppose $\sqrt{2}=\frac{p}{q}$) no, by ...
0
votes
1answer
54 views

The minimum number of digits after the floating-point, which uniquely identify every irrational square root

Let the following: $B:$ a natural number larger than $1$ $S:$ a set of irrational numbers in the range $(0,1)$ represented in base $B$ $L:$ the minimal prefix length which uniquely identifies every ...
-3
votes
1answer
75 views

How do we prove sqrt2 is irrational? [duplicate]

What kind of number is sqrt2, rational or irrational? And what are the analytic and non analytic ways of proving it?
9
votes
2answers
1k views

Deciding whether a number is rational (2 examples)

1) Prove that number irrational $\sqrt{7-\sqrt{2}}$ I created a polynomial $x=\sqrt{7-\sqrt{2}}$ so $P(x)=x^4-14x^2+47$ and since $47$ is prime we check $P(x)$ for $ {1,-1,47,-47}$ and since all of ...
0
votes
0answers
43 views

Curve avoiding semi-rational points

A rational point is a point in $\mathbb{R}^d$ all of whose $d$ coordinates are rational. Let me define a semi-rational point as one that has at least one rational coordinate (but whose other ...
4
votes
2answers
154 views

The set $E= \{x\in [0,1]: \sum_{j=1}^\infty t^j|x−q_j|^{-r} <\infty\}$ does not contain all irrational numbers in $[0,1]$

Let $q_1,q_2,q_3,...$ be an enumeration of $\mathbb{Q}\cap[0,1]$ and let $r,t \in (0,1).$ Consider the set $$E= \{x\in [0,1]: \sum_{j=1}^\infty t^j|x−q_j|^{-r} <\infty\} $$ (a) Show that $E\neq ...
3
votes
2answers
734 views

The sum of two irrational square roots

This is very similar to this question, but I was wondering if there was a simpler proof. In particular, a proof that would prove that $\sqrt{x}+\sqrt{y}$ is an irrational number if both $\sqrt{x}$ ...
1
vote
2answers
91 views

Definition of Rational/ Irrational Numbers reguarding denominators

The definition of a Irrational number is "Irrational numbers don't include integers OR fractions. However, irrational numbers can have a decimal value that continues forever WITHOUT a pattern." So ...
7
votes
2answers
484 views

Dimension of R over Q without cardinality argument. [duplicate]

I am looking for the easiest (elementary) proof that $\mathbb R$ is infinite dimensional as a $\mathbb Q$-vector space, without using cardinality. It should be understandable at highschool level. So ...
3
votes
2answers
90 views

Are there any non-trivial counterexamples to the non-closure of the irrational numbers over addition?

It is trivial to show that the set of irrational numbers is not closed under addition. Just choose an irrational number $p$ and add it to its additive inverse $-p$ to get $0\in\mathbb{Q}$. However, I ...
7
votes
3answers
171 views

Using decimals of $\pi$ to store data

I read recently about an idea to, instead of storing actual data, converting the data to a string of digits and then store the index of where this pattern occurs in some number, for example $\pi$. The ...
0
votes
2answers
60 views

How to find irrational approximates

Say I have a rational number, $n$, that approximates an irrational number of the form: $$n \approx {a+\sqrt b \over c}$$ in terms of being irrational. What is a good way of finding the unknown ...
1
vote
2answers
51 views

Does the absence of horizontal lines shows that there are no $n,m\in \mathbb{N}$ such that $n^2=2m^2$?

When I was learning about the proof of the irracionality of $\sqrt{2}$, I remember of trying to visualize it by ploting the graphs of $f(n)=n^2$ and $g(m)=2m^2$, but at the time I got confused and ...
0
votes
0answers
19 views

Using Descarte’s rule of signs to determine the number of positive roots.

Using the Descarte’s rule of signs to determine the number of positive roots. \begin{equation} f(q)=[(k_f+k_d+k_p*(1-q))(\lambda_b* \gamma ...
2
votes
2answers
117 views

Conjecture: if $a+b$ and $ab$ are rational, $a$ and $b$ are rational

I can't find a rigorous proof but I have a feeling it's true. Informal argument: Suppose $a+b$ and $ab$ are rational, $a$ and $b$ are irrational (since just one can't be irrational). Then $a$ and ...
2
votes
1answer
85 views

Show that $\arctan(n)$ is irrational for all $n \in \mathbb{N}$

Question : Show that $\arctan(n)$ is irrational for all $n \in \mathbb{N}$. Hint: My solution doesn't use continued fraction. I am interested in other possible proofs for this question.
9
votes
4answers
1k views

Is the fact that there are more irrational numbers than rational numbers useful?

Although it is known that the cardinality of the set of irrational numbers is greater than the cardinality of the set of rational numbers, is there any usefulness/applications of this fact outside of ...
1
vote
2answers
92 views

Prove that if $n \geq 2$, then $\sqrt[n]{n}$ is irrational. Hint, show that if $n \geq 2$, then $2^{n} > n$.

Prove that if $n \geq 2$, then $\sqrt[n]{n}$ is irrational. Hint, show that if $n \geq 2$, then $2^{n} > n$. So, my thought process was that I could show that $2^{n} > n$ using induction, but ...
2
votes
1answer
134 views

Does the limit of a sequence with floor function exist?

Question : Let $a_n=n\alpha-\lfloor n\alpha\rfloor\ (n=1,2,\cdots)$ where $\alpha$ is an irrational number. Then, does the limit $n\to\infty$ of $(a_n)^n$ exist? I know that ...