Exploring Number Theory: Understand Euclidean Algorithm with IMO 1959 Problem 1

Number Theory is one of the most fascinating and ancient branches of mathematics. In this post, we'll delve into a classic problem from the International Mathematical Olympiad (IMO) 1959, exploring fundamental concepts such as divisibility, greatest common divisors (gcd), and the Euclidean algorithm. This will serve as a strong foundation for understanding more advanced topics in Number Theory.

The Problem: Prove Irreducibility of a Fraction

The problem asks us to prove that the fraction:

$\frac{21 n+4}{14 n+3}$

is irreducible for every natural number $n$. In other words, we need to show that the greatest common divisor (gcd) of the numerator $21 n+4$ and the denominator $14 n+3$ is always 1, meaning these two terms share no common factors for any natural number $n$.

What Does "Irreducible" Mean?

A fraction is irreducible if its numerator and denominator share no common factors other than 1. For example, the fraction $\frac{10}{14}$ is reducible because both 10 and 14 share the factor 2. After dividing both by their gcd (2), we get $\frac{5}{7}$, which is the irreducible form of $\frac{10}{14}$.
In this problem, we're asked to show that no matter which $n$ is chosen, the fraction $\frac{21 n+4}{14 n+3}$ cannot be reduced, meaning the gcd of $21 n+4$ and $14 n+3$ is 1 for all $n$.

Watch the Video

Key Idea: GCD and the Euclidean Algorithm

To solve this, we can use the Euclidean algorithm, a systematic method for finding the gcd of two numbers by repeatedly applying the division lemma. Let's walk through the key steps to understand the solution.

Step 1: Division Lemma

The division lemma states that for any two integers $a$ and $b$, there exist integers $q$ and $r$ such that:

$$
b=a q+r
$$

where $r$ is the remainder when $b$ is divided by $a$. This allows us to express any number as a multiple of another, plus a remainder.

Step 2: Applying the Euclidean Algorithm

We want to compute the gcd of $21 n+4$ and $14 n+3$ by performing successive subtractions, which is at the heart of the Euclidean algorithm.

First, compute the difference between the numerator and the denominator:

$$
(21 n+4)-(14 n+3)=7 n+1
$$

So, we now need to find the gcd of $14 n+3$ and $7 n+1$. Applying the Euclidean algorithm again:

$$
(14 n+3)-2(7 n+1)=1
$$

Now, we see that the gcd of $7 n+1$ and 1 is clearly 1 . Hence, the gcd of $21 n+4$ and $14 n+3$ is also 1 . This confirms that the fraction is irreducible for any $n$.

Why This Problem Matters

This problem provides a beautiful introduction to Number Theory by illustrating how simple concepts like gcd, divisibility, and the Euclidean algorithm can be used to solve complex problems. It opens the door to deeper explorations into prime numbers, modular arithmetic, and advanced number-theoretic functions.

The Power of Number Theory

The IMO 1959 problem showcases the elegance and depth of Number Theory. By understanding the fundamental ideas of gcd and using the Euclidean algorithm, we can solve challenging problems and gain a deeper appreciation for the mathematical structures that govern numbers.

For those interested in diving deeper, there are excellent resources and courses available online to further explore Number Theory. Whether you're preparing for mathematical competitions or simply want to expand your knowledge, mastering these basic ideas will provide a strong foundation for future mathematical adventures.

Euclidean Algorithm for Math Olympiad

[et_pb_section fb_built="1" _builder_version="4.0"][et_pb_row _builder_version="3.25"][et_pb_column type="4_4" _builder_version="3.25" custom_padding="|||" custom_padding__hover="|||"][et_pb_text _builder_version="3.27.4" text_font="Raleway|300|||||||" text_text_color="#ffffff" header_font="Raleway|300|||||||" header_text_color="#e2e2e2" background_color="#0c71c3" custom_padding="20px|20px|20px|20px" border_radii="on|5px|5px|5px|5px" box_shadow_style="preset3"]

Get motivated... try this quiz

[/et_pb_text][et_pb_code _builder_version="4.0.7" custom_margin="20px||20px||false|false"]
[/et_pb_code][et_pb_text _builder_version="4.2.2" text_font="Raleway|300|||||||" text_text_color="#ffffff" header_font="Raleway|300|||||||" header_text_color="#e2e2e2" background_color="#0c71c3" custom_padding="20px|20px|20px|20px" border_radii="on|5px|5px|5px|5px" box_shadow_style="preset3"]

Understand the problem

[/et_pb_text][et_pb_text _builder_version="3.27.4" text_font="Raleway||||||||" background_color="#f4f4f4" custom_margin="10px||10px" custom_padding="10px|20px|10px|20px" box_shadow_style="preset2"]

Euclidean algorithm is a very important tool of mathematics. Learn more about it using the video and the problems.

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version="3.25"][et_pb_column type="4_4" _builder_version="3.25" custom_padding="|||" custom_padding__hover="|||"][et_pb_text _builder_version="3.27.4" text_font="Raleway|300|||||||" text_text_color="#ffffff" header_font="Raleway|300|||||||" header_text_color="#e2e2e2" background_color="#0c71c3" custom_margin="48px||48px" custom_padding="20px|20px|20px|20px" border_radii="on|5px|5px|5px|5px" box_shadow_style="preset3"]

Tutorial Problems... try these before watching the video.

[/et_pb_text][et_pb_text _builder_version="4.0.7" text_font_size="18px" custom_padding="20px|30px|20px|30px|false|false" border_radii="on|5px|5px|5px|5px" box_shadow_style="preset1"]1. Why is division by zero undefined?
2. Is the divisor greater than or less than the remainder?
3. Find two numbers which are very hard to prime factorize. How can you compute their GCD in a short amount to time?

You may send solutions to support@cheenta.com. Though we usually look into internal students work, we will try to give you some feedback.

[/et_pb_text][et_pb_text _builder_version="3.27.4" text_font="Raleway|300|||||||" text_text_color="#ffffff" header_font="Raleway|300|||||||" header_text_color="#e2e2e2" background_color="#0c71c3" custom_margin="48px||48px" custom_padding="20px|20px|20px|20px" border_radii="on|5px|5px|5px|5px" box_shadow_style="preset3"]

Now watch the discussion video

[/et_pb_text][et_pb_video src="https://youtu.be/niVQtayB5D8" _builder_version="4.2.2"][/et_pb_video][et_pb_text _builder_version="3.27.4" text_font="Raleway|300|||||||" text_text_color="#ffffff" header_font="Raleway|300|||||||" header_text_color="#e2e2e2" background_color="#0c71c3" min_height="12px" custom_margin="50px||50px" custom_padding="20px|20px|20px|20px" border_radii="on|5px|5px|5px|5px" box_shadow_style="preset3"]

Subscribe to Cheenta's youtube channel

[/et_pb_text][et_pb_code _builder_version="4.0.6"]
[/et_pb_code][et_pb_text _builder_version="3.27.4" text_font="Raleway|300|||||||" text_text_color="#ffffff" header_font="Raleway|300|||||||" header_text_color="#e2e2e2" background_color="#0c71c3" custom_margin="50px||50px" custom_padding="20px|20px|20px|20px" border_radii="on|5px|5px|5px|5px" box_shadow_style="preset3"]

Similar Problems

[/et_pb_text][et_pb_post_slider include_categories="10" image_placement="left" use_text_overlay="on" _builder_version="4.0.6"][/et_pb_post_slider][et_pb_divider _builder_version="3.22.4" background_color="#0c71c3"][/et_pb_divider][/et_pb_column][/et_pb_row][/et_pb_section][et_pb_section fb_built="1" fullwidth="on" _builder_version="4.2.2" saved_tabs="all" global_module="50751"][et_pb_fullwidth_header title="Math Olympiad Program" button_one_text="Learn more" button_one_url="https://cheenta.com/matholympiad/" header_image_url="https://cheenta.com/wp-content/uploads/2018/03/matholympiad.png" _builder_version="4.2.2" title_font="Acme||||||||" title_font_size="46px" background_color="#00647a" custom_button_one="on" button_one_text_color="#00647a" button_one_bg_color="#ffffff"]

Cheenta faculty team consists of Olympians, researchers and active mathematicians from leading universities of the world.
We specialize in Math Olympiad training. We have worked with brilliant kids from 4 continents since 2010.

[/et_pb_fullwidth_header][/et_pb_section]

How are Bezout's Theorem and Inverse related? - Number Theory

The inverse of a number (modulo some specific integer) is inherently related to GCD (Greatest Common Divisor). Euclidean Algorithm and Bezout's Theorem forms the bridge between these ideas. We explore them in a very lucid manner.

West Bengal RMO 2015 Problem 3 Solution - Triples of Positive Integers


The second stage examination of INMO, the Regional Mathematical Olympiad (RMO) is a three hour examination with six problems. The problems under each topic involve high level of difficulty and sophistication. The book, Challenge and Thrill of Pre-College Mathematics is very useful for preparation of RMO. West Bengal RMO 2015 Problem 3 Solution has been written for RMO preparation series.


Problem:


Show that there are infinitely many triples $ (x,y,z)$ of positive integers, such that $ x^3+y^4=z^{31} $ and $ s=2$.


Discussion


Suppose we have found one such triplet (x, y, z). Then $ x^3 + y^4 = z^{31} $ and $ s=2 $. Multiply $ a^{372} $ and $ s=2 $ to both sides where a is an arbitrary integer.

Clearly we have $ a^{372}x^3 + a^{372}y^4 = a^{372}z^{31} $ and $ s=2 $

$ \Rightarrow (a^{124}x)^3 + (a^{93}y)^4 = (a^{12}z)^{31} $ and $ s=2 $

Hence if (x, y, z) is a triple then $ (a^{124}x, a^{93}y, a^{12}z ) $ and $ s=2 $ is another such triple. Since a can be any arbitrary integer, hence we have found infinitely many such triplets provided we have found at least one

To find one such triple, we use the following intuition: set x, y, z as some powers of 2 such that $ x^3 = y^4 = 2^{r} $ and $ s=2 $. Then r must be of the form 12k. Finally, their sum must be $ x^3 + y^4 = 2^{r} + 2^{r} = 2^{r+1} $ and $ s=2 $. This r+1 must be divisible by 31.

Let $ r = 12s $ and $ s=2 $ and $ r+1 = 31m $ and $ s=2 $ we get $ 12s +1 = 31m $ and $ s=2 $. Since 12 and 31 are coprime there is integer solution to this linear diophantine equation (by Bezoat's theorem). We can solve this linear diophantine equation by euclidean algorithm.

$ 31 = 12 \times 2 + 7 $ and $ s=2 $
$ 12 = 7\times 1 + 5 $  and $ s=2 $
$ 7 = 5\times 1 + 2 $ and $ s=2 $
$ 5 = 2 \times 2 + 1 $ and $ s=2 $
$ \Rightarrow 1 = 5 - 2 \times 2 = 5 - 2 \times (7 - 5 \times 1) $ and $ s=2 $
$ \Rightarrow 1 = 3 \times 5 - 2 \times 7 = 3 \times (12 - 7 \times 1) - 2 \times 7 $ and $ s=2 $
$ \Rightarrow 1 = 3 \times 12 - 5 \times 7 = 3 \times 12 - 5 \times (31 - 12 \times 2) $ and $ s=2 $
$ \Rightarrow 1 = 13 \times 12 - 5 \times 31 $ and $ s=2 $
$ \Rightarrow 1 = 13 \times 12 - 5 \times 31 + 12 \times 31 - 12 \times 31 $ and $ s=2 $
$ \Rightarrow 1 = (13 -31)\times 12 +(12- 5 )\times 31 $ and $ s=2 $
$ \Rightarrow 1 = -18 \times 12 + 7\times 31 $ and $ s=2 $
$ \Rightarrow 1 + 18 \times 12 = 7\times 31 $ and $ s=2 $
Hence we use this to form an equation:
$ 2^{18 \times 12} + 2^{18 \times 12} = 2^{216} + 2^{216} = 2^{217}=2^{7\times 31} $ and $ s=2 $
$ (2^{72})^3 + (2^{54})^4 = (2^7)^{31} $ and $ s=2 $

Hence we have found one such triple : $ (2^{72}, 2^{54} ,2^7 )$ and $ s=2 $ (from which we have shown earlier that infinitely more can be generated)


Chatuspathi: