# Questions tagged [rationality-testing]

For questions on determining whether a number is rational, and related problems. If applicable, use this tag instead of (rational-numbers) and (irrational-numbers). Consider adding a tag (radicals) or (logarithms), depending on what the question is about.

357 questions
Filter by
Sorted by
Tagged with
1 vote
29 views

Let $M$ be a skew-symmetric $n \times n$ matrix of integers. Let $S$ be the (convex) set of all $p \in \mathbb R^n$ such that: $p_{i} \ge 0$ for all $i$ $\sum_{i} p_{i} = 1$ $(Mp)_{i} \ge 0$ for all $... 1 vote 0 answers 38 views ### Prove that when the denominator of a rational number is of the form$2^n * 5^m$it is a terminating decimal What is the proof for when the denominator of a rational number is of the form$2^n * 5^m$it is a terminating decimal? For example:$7/8$, where$8$is of the form$2^3 * 5^0$Therefore,$7/8$is a ... 1 vote 1 answer 55 views ### If$\log_3(A)$is rational, can$\log_3(A+1)$be rational? (Where$A$is a positive real number.) Question: If$\log_3(A)$is rational, can$\log_3(A+1)$be rational? (Where$A$is a positive real number.) My Working: Starting by assuming $$\log_3(A) = x \ {\rm{and}} \ \log_3(A+1) = y$$ it gives$... 43 views

### If $a=b+c$ , $a^2$ is an integer, can $b^2$ or $c^2$ or both be irrational? [closed]

Say, $a=b+c$, $a$ may be rational or irrational. However, the constraint on $a$ is that $a^2$ is an integer. b>0 , c>0 which means a>0. Wanted to confirm that either $b^2$ or $c^2$ or both ...
165 views

### Is $\frac{2 \cdot 4\cdot 8 \cdot 16 \cdots}{1\cdot 3\cdot 7\cdot15 \cdots}$ irrational?

The number is the infinite product:$$\frac{2 \cdot 4\cdot 8 \cdot 16 \cdots}{1\cdot 3\cdot 7\cdot15 \cdots},$$ or about $3.4628.$ I have only proven this number is finite. Can you either prove it is ...
98 views

### Proof that there is no rational number $r$ satisfying $2^r=3$ [duplicate]

Hello guys it would be a massive help for me if you could take a look at my proof and point out any errors. I want to know whether its coherent and whether I need more or less detail. Suppose $2^r = 3$...
279 views

### Prove or disprove a claim regarding irrational numbers

I am trying to prove the following claim: Let $0\leq n \in \Bbb Z$ and suppose that there exists a $k \in \Bbb Z$ such that $n=4k+3$. Prove or disprove: $\sqrt n \notin \Bbb Q$ . The problem I am ...
232 views

### Question in details of the proof of irrationality of $\zeta (3)$

I am reading through Wadim Zudilin's lecture notes and at the beginning of page 76 (i.e. in last part of Lemma 5.9.) things are getting really confusing : How $g(y) = g(0) − 2^{3/2}y^2 + O(y^3)$ is ... 1 vote
84 views

64 views

### Is it possible for the rationality of a computable number to be unknowable?

Main question: Suppose we have some real number $x$ that is proven to be not only be computable, but has had such an algorithm explicitly found. Could it be the case that it may be impossible to prove ...
1k views

### Novel (?) proof of the irrationality of $\sqrt3$ [duplicate]

A student of mine offered the following proof of the irrationality of $\sqrt{3}$: Suppose $(a/b)^2 = 3$ with $a,b$ having no common factor. Since $a^2=3b^2$, an easy parity argument (using the fact ...
24 views

### Can an infinite product of rationals be rational if the partial products become increasingly irreducible?

I've been curious about methods of proving the irrationality of some infinite products and had this idea. Suppose $$\prod_{n=1}^ka_n=\frac{b_k}{c_k}$$ where $a_n\in\mathbb{Q}$ and $\gcd(b_k,c_k)=1$. ...
83 views

### If $\alpha$ is an irrational number, then the minimal polynomial of $\alpha$ over $\Bbb{Q}$ does not have a rational root?

I'm reading Ross' "Elementary Analysis". He shows the rational zeros theorem and a proof of it. And then there are some examples such as the following ones: The basic idea is that testing ...
57 views

1 vote
185 views

### Does my proof of the irrationality of $\ln(2)$ hold up?

At first, I thought that proving the irrationality of $\ln(2)$ was so easy that it was trivial. However, someone in the comments of the $115$ vote answer at Can an irrational number raised to an ...
1 vote
67 views

### How to prove that $\frac{\ln 5}{\ln 2}$ is irrational

I have to show that $\frac{\ln 5}{\ln 2}$ is irrational I have tried the following: Assume it's rational so $\frac{\ln 5}{\ln 2} = \frac{p}{q}$ which becomes $\log _2\left(5\right)=\frac{p}{q}$ ...
53 views

### If b is rational and c is real, can $x^2 + bx + c$ have one rational root and one irrational root? Use only definition of rational numbers to prove.

If $b$ is rational and $c$ is real, can $x^2 + bx + c$ have one rational root and one irrational root? Use only the definition of rational numbers to prove. I think that it can't because since $b$ is ...
232 views

### Why was Apery's constant believed to be rational?

Apéry's theorem states that Apéry's constant $\zeta(3) := \sum_{n=0}^\infty n^{-3}$ is irrational. The Wikipedia article claims that this result was "wholly unexpected" to the point that the ...
1 vote
178 views

### Is $\sqrt{7+5 \sqrt{2}}+\sqrt{20-14 \sqrt{2}}$ a rational number?

Is there a way to show that $$\alpha=\sqrt{7+5 \sqrt{2}}+\sqrt{20-14 \sqrt{2}}$$ is a rational number? I found $\alpha=3$ from doing simplifications. But, I would like to known a different ...
### How do I show that $\log_2(k)$ is an irrational number if $k$ is an odd integer greater than $1$?
Show that if $k$ is an odd integer grater than $1$, then $\log_2(k)$ is an irrational number. So my approach for this problem was to use proof by contradiction so I wrote "Assume by ...