Consider two natural numbers $n_1$ and $n_2$, out of which one is twice as large as the other. We are not told whether $n_1$ is larger or $n_2$, we can state following two propositions:

PROPOSITION 1: The difference $n_1-n_2$, if $n_1 >n_2$, is different from the difference $n_2-n_1$, if $n_2 >n_1$.

PROPOSITION 2: The difference $n_1-n_2$, if $n_1 >n_2$, is the same as the difference $n_2-n_1$, if $n_2 >n_1$.

Moving on the proofs:

PROOF OF PROPOSITION 1: Let $n_1 > n_2$, then $n_1=2n_2$. Therefore, $n_1-n_2=2n_2-n_2=n_2$. That’s, the difference is $n_2$.

Let $n_2 >n_1$, then $n_1=\dfrac{1}{2} n_2$. Therefore, $n_2-n_1=n_2-\dfrac{1}{2}n_2=\dfrac{1}{2}n_2$. That’s, the difference is $\dfrac{1}{2}n_2$.

$\Rightarrow$ The proposition is true. $\Box$

PROOF OF PROPOSITION 2: Let $n_1 >n_2$, then $n_1-n_2 = n$, where $n$ is a fixed natural number.

If $n_2 >n_1$, then $n_2-n_1$ again equals to $n$.

Therefore, the proposition is true. $\Box$.

If you re-read the propositions, you’ll find that these are actually contradicting each others. But as both can’t be true, which one should be treated as the correct one?

If you think that proposition 2 is true, then you need to reconsider and read again the propositions. Proposition 2 seems correct at first instance, but it isn’t. Take an example, let $n_1=40$ and $n_2=20$, then $n_1-n_2=20$. Again, let $n_1=10$ and $n_2=20$, then $n_2-n_1=10$. Hence, the proposition 1 is true. $\Box$

Reference: “A curious paradox”, R. Smullyan
Download As PDF

1 comment
  1. at one time n1 or n2 is larger. only one. In your propositions you consider 2 if statements contradictory i.e. once n1>n2 and then n2>n1. its not correct. Anyway i will read the reference paper to clear this problem. Thanks for the problem.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

You May Also Like

Best Time Saving Mathematics Formulas & Theorems

Formulas are the most important part of mathematics and as we all know one is the backbone of the latter. Considering there are thousands of mathematical formulas to help people develop analytical approach and solve problems easily — there are some that go beyond. Some formulas aren’t just timesaving but those also do wonders. In this article I have collected…

Solving Integral Equations (2) – Square Integrable Functions, Norms, Trial Method

Square Integrable function or quadratically integrable function $\mathfrak{L}_2$ function A function $y(x)$ is said to be square integrable or $\mathfrak{L}_2$ function on the interval $(a,b)$ if $$\displaystyle {\int_a^b} {|y(x)|}^2 dx <\infty$$ or $$\displaystyle {\int_a^b} y(x) \bar{y}(x) dx <\infty$$. For further reading, I suggest this Wikipedia page. $y(x)$ is then also called ‘regular function’. The kernel $K(x,t)$ , a function of two variables is…

My Five Favs in Math Webcomics

Cartoons and Comics are very useful in the process of explaining complicated topics, in a very light and humorous way. Like: Source of These Cartoons Here my five most favorite math-webcomics sites. (Click on images to visit them.) 1. Spiked Math 2. xkcd 3. SMBC COMICS 4. Oh! You math! 5. Abstruse Goose Enjoy reading!

Mathematical Logic – The basic introduction

What is Logic? If mathematics is regarded as a language, then logic is its grammar. In other words, logical precision has the same importance in mathematics as grammatical accuracy in a language. As linguistic grammar has sentences, statements— logic has them too. After we discuss about Sentence & Statements, we will proceed to further logical theories . Sentences & Statements…

On Ramanujan’s Nested Radicals

Ramanujan (1887-1920) discovered some formulas on algebraic nested radicals. This article is based on one of those formulas. The main aim of this article is to discuss and derive them intuitively. Nested radicals have many applications in Number Theory as well as in Numerical Methods . The simple binomial theorem of degree 2 can be written as: $ {(x+a)}^2=x^2+2xa+a^2 \…

Test your counting skills with Branifyd game for Android

Without basic operations of counting, like Addition, Subtraction, Multiplication and Division, it is not possible to imagine math problems. Counting is the base of human life. A student, whether he’s a math major or not, must be good at counting numbers.  The counting ability builds from experience and is definitely a time taking process.   Larger you have given time…