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

learn more… | top users | synonyms

1
vote
1answer
55 views

Set of Rational numbers a countable set?

How can we say that rational numbers is a countable set? I can divide a rational number by infinite different number of natural numbers so shouldn't there be infinite rational numbers. ...
1
vote
1answer
81 views

Which set is more dense: set of irrational numbers or set of rational numbers? [duplicate]

Is the infinity of irrational numbers equal to the infinity of rational numbers? Or is one is greater than other? And what is the proof? I could not find out a rigorous proof about this. P.S. I am ...
3
votes
0answers
35 views

Nonlinear regular bijection from $\mathbb Q$ to itself

Is there a bijection $\phi: \mathbb Q \to \mathbb Q$ such that $\phi$ is nonlinear (i.e. different from $ax+b$), $\phi$ is regular: the extension $\hat{\phi}$ of $\phi$ over $\mathbb R$ is $\mathcal ...
0
votes
2answers
41 views

Onto function with domain of rational numbers and co-domain of natural numbers

I'm trying to find an onto function $f: \mathbb{Q} \to\mathbb{N}$ I'm somewhere along the lines of $f(q) = |(1 - q)| + q$ for non integers, but I'm not sure where to go from there.
1
vote
2answers
49 views

Sets which are order-isomorphic to the (extended) rationals

Let $(S,<)$ be a totaly ordered set under the strict order relation $<$. Suppose that, for any $a,b\in S$, if $a<b$, then there exists $c\in S$ such that $a<c<b$. We also assume that ...
1
vote
1answer
36 views

Does the inner pentagon inside a Robbins pentagon $also$ have a rational area?

The Heron triangle has integer sides and area. The Robbins pentagon is just the generalization: it also has integer sides and area. The example below has sides $78, 126, 66, 50, 32$ and area $A_R = ...
0
votes
2answers
46 views

Given a rational number and an irrational number, both greater than 0, prove that the product between them is irrational.

Does this proof I made make sense? Proof// $\mathbf a$ is the rational number, $\mathbf b$ is the irrational number. Assume that $\mathbf {a * b}$ is rational due to proof by contradiction. ...
2
votes
1answer
50 views

Proof of part of properties of exponentiation Tao proposition $4.3.12$

If you let $x,y$ be non-zero rational numbers, and let $n, m$ be integers, I need to prove that if $x \geq y>0$, then $x^{n} \geq y^{n}>0$ if n is positive, and $0< x^{n} \leq y^{n}$ if $n$ ...
1
vote
1answer
57 views

The set of rational numbers has continuum many subsets that are order-wise inequivalent

How to show that there are continuum many subsets of $\mathbb Q$, no two of which are similar? Two sets are called similar if there is an order-preserving bijection between them.
1
vote
1answer
47 views

Is this proof correct? Show $\mathbb{Q}$ is dense in $\mathbb{R}$

I like proof by contradictions in showing that $\mathbb{Q}$ is dense in $\mathbb{R}$. But I can't understand this one> https://math.dartmouth.edu/archive/m54x12/public_html/m54densitynote.pdf ...
1
vote
1answer
26 views

Property of a sequence being an enumeration of the rationals.

Let $(r_n)$ be an enumeration of the rationals and $x\in\mathbb{R}$. Is it possible to find out whether the set $\left\{n\in\mathbb{N}:\left|x-r_n\right|<\frac{1}{2^n}\right\}$ is finite or ...
1
vote
1answer
47 views

When $\frac{\pi ^{x}}{\zeta (x)}$ is rational?

When $n$ is a positive integer, we know $$\zeta (2n)=\frac{(-1)^{n+1}B_{2n}(2\pi )^{2n}}{2(2n)!}$$ Now let's say $x>1$ is a real number. Can we say if $\frac{\pi ^{x}}{\zeta (x)}$ is a rational ...
3
votes
1answer
73 views

How to find out the number of repeating digits of a rational number in decimal form?

Upon dividing two integers, I would like to programmatically predict the number of decimal places that repeat after the decimal point. For example in $\frac{1}{3}=0.\overline{3}$, I want to know that ...
4
votes
1answer
76 views

Proving that the Calkin-Wilf tree enumerates the rationals.

The Calkin-Wilf tree is an infinite undirected graph (tree) which is constructed as follows: starting from the root at $\frac{1}{1}$, each node $\frac{a}{b}$ has two children: a left child ...
5
votes
2answers
88 views

Is it true that $\mathbb{Q}(\sqrt{2}) \cap \mathbb{Q}(i) = \mathbb{Q}$?

Is it true that $\mathbb{Q}(\sqrt{2}) \cap \mathbb{Q}(i) = \mathbb{Q}$? I know that \begin{align*} \mathbb{Q}(\sqrt{2}) &= \{a+b\sqrt{2} \mid a,b \in \mathbb{Q}\}, \\ \mathbb{Q}(i) &= ...
0
votes
1answer
27 views

Rational solutions for $\sin(n)$ in radians

This is completely for my own curiosity. Does $y = \sin(n)$ have rational solutions for $n$, an integer number of radians. I know that this is strange because usually integers are only used in ...
25
votes
10answers
772 views

What are the Laws of Rational Exponents?

On Math SE, I've seen several questions which relate to the following. By abusing the laws of exponents for rational exponents, one can come up with any number of apparent paradoxes, in which a number ...
4
votes
1answer
56 views

if $r,s$ are rational numbers, then $r+s\sqrt2$ is irrational unless $s=0$?

if $r,s$ are rational numbers, Prove $r+s\sqrt2$ is irrational unless $s=0$? I need to prove this simple question, but not sure if my method is acceptable I'm trying to prove it by ...
5
votes
2answers
87 views

Is there a first order formula $\varphi[x]$ in $(\mathbb Q, +, \cdot, 0)$ such that $x≥0$ iff $\varphi[x]$?

In the first-order language $\mathscr L$ having $(+, \cdot, 0)$ as signature, it is easy to define a formula $\phi[x]$, namely $\exists y \; x = y^2$, satisfying : $$\text{for all } x \in \Bbb R, ...
0
votes
1answer
26 views

Why is it that for any rational numbers $a < b$, the interval $[a, b]$ in $\mathbb{Q}$ is not compact with respect to this metric?

Suppose $q$ is any nonzero rational number and $p$ is a fixed prime. If $q = p^k\frac{n}{m}$ for integers $n$ and $m$, neither of which has $p$ as a factor, then we define $|q|_p := p^{−k}$. We can ...
2
votes
1answer
45 views

$\sup$ and $\inf$ of $E=\{p/q\in\mathbb{Q}:p^2<5q^2 \text{ and } p, q > 0\}$

I'd appreciate if you could please check to see if my proof is valid. Find $\sup$ and $\inf$ of $E=\{p/q\in\mathbb{Q}:p^2<5q^2 \text{ and } p, q > 0\}$. Solution: $q^2 > p^2/5 \iff q > ...
61
votes
2answers
2k views

Representing every positive rational number in the form of $(a^n+b^n)/(c^n+d^n)$

About a month ago, I got the following : For every positive rational number $r$, there exists a set of four positive integers $(a,b,c,d)$ such that ...
2
votes
1answer
49 views

How can all of them be irrational ??

Assume that $\{x,y,x^2,y^2,xy\}$ are all irrational. Can it be true that all of $\{x-y,x+y,x^2-y^2,x^2+y^2\}$ are irrational? Details: $|x|\ne|y|$ and $x,y\in\mathbb R$. In the ...
1
vote
0answers
36 views

Is a value that tends to infinity considered rational?

This really confused me. I know a rational number is any number that can be written in the form of ${a\over b} \space \space \forall a,b\in Z$. We also know all Integers are clearly Rational. But ...
0
votes
1answer
109 views

Relation on rational numbers that defines a total order

Define the relation on $\mathbb{Q}$ by $$[m,n]<[j,k]$$ if and only if $jn-mk$ belongs to $\mathbb{N}$, $j$ and $m$ belong to $\mathbb{Z}$, $n$ and $k$ belong to $\mathbb{N}$. (a) Show that ...
3
votes
2answers
50 views

For a.e. $x \in [0, 1]$, there are finitely many $p/q$ such that $\left| x - p/q \right| < 1 / \left( q \log q \right)^2$

I am stuck on a qualifying exam problem and was hoping to get some help. Show for a.e. $x \in [0, 1]$ that there are finitely many $p/q \in \mathbf{Q}$ in reduced form such that $q \geq 2$ and ...
0
votes
2answers
41 views

Rational mean of irrational numbers?

My teacher tells me that in the vicinity of any rational number, an irrational exists. To elucidate, I presume, he further went on to say, if a function, if defined to give 1 for every rational number ...
1
vote
3answers
67 views

Proving that there is no continuous function $f:\Bbb R\to\Bbb R$ satisfying $f(\Bbb Q)\subset\Bbb R-\Bbb Q$ and $f(\Bbb R-\Bbb Q) \subset\Bbb Q$. [duplicate]

How can I prove that there is no continuous function $f:\mathbb{R}\to \mathbb{R}$ satisfying $f(\mathbb{Q}) \subset \mathbb{R}\backslash \mathbb{Q}$ and $f(\mathbb{R}\backslash \mathbb{Q} ) \subset ...
2
votes
1answer
36 views

Rational points on a line

This question is quite unique. Does there exist some point in the coordinate system such that any line passing through it has at most 2 rational points lying on it?
2
votes
0answers
46 views

How to generate primitive solutions to the equation $a^3 + b^3 = c^2$

The solution for this is that we are supposed to pick numbers x and y, then we can substitute them in the equation and obtain some z, which we then multiply the left side of the equation with to ...
6
votes
3answers
145 views

Is there a rational surjection $\Bbb N\to\Bbb Q$?

The question is in the title. Is there a one-dimensional rational function $f\in\Bbb R(X)$ which restricts to $\Bbb N\to\Bbb Q$, which is a surjection onto $\Bbb Q$? My guess is no. Expanding the ...
-5
votes
1answer
141 views

Can I belive that : $e^{e^{e^{e^{\cdots}}}}$ is $\infty$? [closed]

Definetly this number : $e^{e^{e^{e^{\cdots}}}}$ is not an integer this implies that is not prime number or perfect number , now i would like to know really what is the nature of this number ...
3
votes
1answer
83 views

Is there a choice homomorphism?

Let $\pi : \mathbb{R} \to \mathbb{R}/ \mathbb{Q}$ be the canonical projection. With the axiom of choice we "know" that there are choice functions $\alpha : \mathbb{R}/ \mathbb{Q} \to \mathbb{R}$ with ...
0
votes
1answer
157 views

Cluster points of the sequence $a_n(x):=nx-\lfloor nx \rfloor$

I have $a_n(x):=nx-\lfloor nx \rfloor$ where $x$ is real. I want to show that if $x$ is rational, then $a_n(x)$ has finitely many cluster points, if $x$ is irrational, then every real $a$ with $0\leq ...
7
votes
1answer
174 views

Are $\frac{\pi}{e}$ or $\frac{e}{\pi}$ irrational?

Is it clear whether $\displaystyle \frac{\pi}{e}$ or $\displaystyle \frac{e}{\pi}$ are irrational or not? If not, then there would exist $q,p\in \mathbb{Z}$ such that $$p\cdot \pi = q\cdot e$$
1
vote
1answer
49 views

Is there an irrational number arbitrarily close to another irrational number?

I know that there is a rational number arbitrarily close to an irrational, due to the density of real number. But what about an irrational number? Thanks!
12
votes
0answers
116 views

Do all rational numbers repeat in Fibonacci coding?

In a regular, positional number system (like our decimal numbers), every rational number ends in a repeating sequence (even if it's just 0). For example, 1/3 in base 10 is 0.33333..., in base 5 it's ...
0
votes
2answers
77 views

Let a,b be rationals and x irrational. Show that if $\frac{x+a}{x+b}$ is rational, then $a=b$.

I'm trying to solve the following problems: Let $a$,$b$ be rationals and $x$ irrational. Show that if $\frac{x+a}{x+b}$ is rational, then $a=b$ Let $x$,$y$ be rationals such that ...
4
votes
1answer
106 views

A rational orbit that's provably dense in the reals?

Iterating the map $\ \ x\ \mapsto\ x-\frac{1}{x},\ \ $ the orbit of initial point $2$ is "probably" dense in $\mathbb{R}$. Is there an explicit rational mapping together with an initial rational ...
0
votes
1answer
51 views

How to prove that $\bar{\mathbb{Q}}=\mathbb{R}$?

How to proof that $\bar{\mathbb{Q}}=\mathbb{R}$, where $\bar{\mathbb{Q}}=\mathbb{Q}\cup\mathbb{Q}^{\prime}$ and $\mathbb{Q}^{\prime}$ are the limit points of $\mathbb{Q}$?
6
votes
1answer
321 views

What's an example of a number that is neither rational nor irrational?

Of course in regular logic, the answer is there aren't any. But in intuitionistic logic, there might be, as seen by this answer: http://math.stackexchange.com/a/1437130/49592. My question is, as per ...
1
vote
1answer
51 views

Determine all positive rational numbers $r \neq 1$ such that $r^{\frac{1}{r-1}}$ is rational?

Here's what I've got so far: Let $r = \frac{a}{b}$, where $a$ and $b$ are integers. We then have $$r^{\frac{1}{r-1}} = \frac{a^{\frac{b}{a-b}}}{b^{\frac{b}{a-b}}}$$ Clearly, $a-b=1$ and $a-b=-1$ ...
18
votes
7answers
1k views

How many sequences of rational numbers converging to 1 are there?

I have a problem with this exercise: How many sequences of rational numbers converging to 1 are there? I know that the number of all sequences of rational numbers is $\mathfrak{c}$. But here ...
3
votes
1answer
90 views

Find the maximum number of rational points on the circle with center $(0,\sqrt3)$

Find the maximum number of rational points on the circle with center $(0,\sqrt3)$ Let the equation of the circle be $x^2+(y-\sqrt3)^2=r^2$ Let $(a,b)$ be any rational point on the circle ...
2
votes
2answers
35 views

Proving $\mathbb{Q}[\sqrt{2}] = \{f(\sqrt{2}): f(x) \in \mathbb{Q}[x]\} = \{x+y\sqrt{2}:x,y\in\mathbb{Q}\}$

I need to prove that: $$\mathbb{Q}[\sqrt{2}] = \{f(\sqrt{2}): f(x) \in \mathbb{Q}[x]\} = \{x+y\sqrt{2}:x,y\in\mathbb{Q}\}$$ Well, $ \{f(\sqrt{2}): f(x) \in \mathbb{Q}[x]\} $ is the set of ...
1
vote
0answers
37 views

How do I know if this will be rational or irrational? ($a^b$)

Usually, when I have $a^b$ when $a$ and $b$ are both irrational, I assume that it will be irrational. But that is not always true, I assume, so when is the result irrational? How will I know? Take ...
5
votes
3answers
484 views

Why is epsilon not a rational number?

I was wondering why epsilon, the smallest positive number, isn't a rational number. I was watching a video a few days ago about surreal numbers, and I've learned that, in the field of surreal numbers, ...
0
votes
4answers
407 views

How can I explain $0.999\ldots=1$? [duplicate]

Possible Duplicate: Does .99999… = 1? I have to explain $0.999\ldots=1$ to people who don't know limit. How can I explain $0.999\ldots=1$? The common procedure is as follows ...
1
vote
1answer
21 views

What is known about rational points on the ideal of relations / syzygy ideal?

What is known about rational points on the ideal of relations / syzygy ideal? Let $G$ be a finite group, with $|G|=n$. Then $G$ acts on $\mathbb{Q}[x_1,\cdots,x_n]$ through the regular representation ...
2
votes
2answers
58 views

Why is $\{p \in \mathbb{Q},:p<1\} | \{p \in \mathbb{Q}: p \geq 1\}$ a real number?

A basic example of a Dedekind cut is: $A|B$ = $\{p \in \mathbb{Q}:p<1\} | \{p \in \mathbb{Q}: p \geq 1\}$ This is very confusing because what we have here is a pair of subsets of $\mathbb{Q}$ ...