# Euclidean Division of Integers: Theorem and Proof

3

• 27
• 0
• 2.882

• Published on Dec 31, 2020

In this video I go over a pretty extensive “formal” proof of what otherwise seems to be a straight forward theorem known as the Euclidean Division. When an integer, known as the dividend, is divided by another integer, known as the divisor, we get an answer broken up into two parts. The first part is an integer known as the quotient that represents how many times the divisor can divide evenly into the dividend. The second part is the remaining fraction of the divisor that doesn’t divide cleanly, and in which the numerator is known as the Remainder. When working this out by hand such as the division 9/2 = 4+1/2 we can clearly see the breakdown of this division.

The formulization of this process is known as Euclidean Division of Integers, and the theorem is as follows: The division a/b of two integers, where b is not equal to zero, involves the existence and uniqueness of two integers q and r, such that a = bq + r for 0 ≤ r less than |b|. Now the proof of this theorem is also in the algorithm in obtaining these integers q and r. First I show that whether a or b are positive or negative, the theorem gets reduced to just the positive case. Working in an incremental step by step method, I show the Division Algorithm needed to obtain these numbers, thus proving their existence.
The uniqueness proof involves some out of the box thinking to first assume that there are other values that q and r can take to fit the theorem, but then showing that this is impossible. This is a very interesting part of the overall derivation so I highly recommend you watch and understand the very unique reasoning applied in it!

This is a very interesting and extensive proof video of a seemingly basic division procedure but its applications are far-reaching, so make sure to watch this video!

View video notes on the Hive blockchain: https://peakd.com/mathematics/@mes/euclidean-division-of-integers-theorem-and-proof

Related Videos:

Types of Numbers: Natural, Integers, Rational, Irrational, and Real Numbers: http://youtu.be/U22Z1q_Ibqg
Long Division by Hand - An in depth look: http://youtu.be/giBZg5Vqryo
Polynomial Long Division - In depth Look on why it works!: http://youtu.be/E1H584xJS_Y .

SUBSCRIBE via EMAIL: https://mes.fm/subscribe

DONATE! ʕ •ᴥ•ʔ https://mes.fm/donate

Like, Subscribe, Favorite, and Comment Below!

MES Truth: https://mes.fm/truth
Official Website: https://MES.fm
Hive: https://peakd.com/@mes
Gab: https://gab.ai/matheasysolutions
Minds: https://minds.com/matheasysolutions
Pinterest: https://pinterest.com/MathEasySolns
Instagram: https://instagram.com/MathEasySolutions
Email me: contact@mes.fm

Free Calculators: https://mes.fm/calculators

BMI Calculator: https://bmicalculator.mes.fm
Mortgage Calculator: https://mortgagecalculator.mes.fm
Percentage Calculator: https://percentagecalculator.mes.fm

Free Online Tools: https://mes.fm/tools

iPhone and Android Apps: https://mes.fm/mobile-apps

###### Tags :

To comment on this video please connect a HIVE account to your profile: Connect HIVE Account

14:50
37 views a year ago \$
11:12
2 views a year ago \$
02:41:03
11 views a year ago \$
04:57
6 views 2 years ago \$
09:47
3 views a year ago \$

#### More Videos

51:18
7 views a year ago \$
01:14:02
12 views a year ago \$
03:08
15 views a year ago \$
03:56
22 views 10 months ago \$
04:50
12 views a year ago \$
01:06:34
2 views 6 months ago \$
11:19
5 views 5 months ago \$
12:13
1 views a year ago \$
50:17
7 views a week ago \$
03:27
8 views a year ago \$
08:53
10 views a year ago \$
07:26
3 views a year ago \$
04:02
2 views a year ago \$
01:12:58
13 views a year ago \$
00:50
13 views 4 months ago \$
32:39
7 views a year ago \$
01:15:12
17 views 8 months ago \$
23:53
532 views 2 years ago \$
21:58
1 views a year ago \$
30:08
0 views a year ago \$
05:46
0 views a week ago \$
09:31
6 views 3 weeks ago \$
49:52
123 views 2 years ago \$
04:40
15 views a year ago \$
43:59
2 views a year ago \$