Impossible numbers drawn from tricky function

420 Views Asked by At

The function is this: $f(\frac{a}{b},\frac{c}{d})=\frac{a+c}{b+d}$ where

  1. $0\lt \frac{a}{b} \lt 1$

  2. $0\lt \frac{c}{d}\lt 1$

  3. $a,b,c,d$ are all integers

  4. $a/b$ and $c/d$ are in lowest terms

Are there real numbers, for no matter what integers you plug in for $a,b,c$ and $d$, $f(\frac{a}{b},\frac{c}{d})$ will never equal to? If we classify all impossible numbers in one group, group $A$, does $A$ have finite or $\infty$ terms? Or even none at all? Thanks a bundle.

2

There are 2 best solutions below

5
On BEST ANSWER

It is easy to show that the range of $f$ is $\mathbb{Q} \cap (0,1)$. Clearly $f$ is positive, and $$\frac{a}{b} < 1, \frac{c}{d} < 1 \;\; \Rightarrow \;\; a < b, c < d \;\; \Rightarrow \;\; a + c < b + d \;\; \Rightarrow \;\; \frac{a+c}{b+d} < 1.$$ Now take $y \in \mathbb{Q} \cap (0,1)$. Then $y = \frac{p}{q}$ for some $p,q \in \mathbb{N}$ with $\gcd(p,q) = 1$. We have to show two rationals the function maps to $y$. But we can do this easily by letting $a = c = p$ and $b = d = q$: $$f\left(\frac{a}{b},\frac{c}{d}\right) = \frac{a+c}{b+d} = \frac{2p}{2q} = \frac{p}{q}.$$

By construction, $f$ is not irrational, leaving us with the range mentioned above. To answer the original question, the set of all real numbers that $f$ never attains is $\mathbb R \setminus(\mathbb{Q} \cap (0,1)),$ which has uncountably many elements.

4
On

It's clear that because $f$ always produces a ratio of two integers, it's impossible for $f$ to ever make an irrational number, so that's already uncountably many things not in the image of $f$.