Skip to content
Back to exploration
Discrete mathematics / English

Why Does the Euclidean Algorithm Work? : Lessons in Applied Mathematics

eHowEducation · YouTube · 1:34

Open original
READ & KEEP

The explanation, unpacked.

Reviewed learning material · Video analysis · English
Read the full overview

This 94-second introductory clip explains the subtraction form of the Euclidean algorithm for finding the greatest common factor. After a brief title and self-introduction, the presenter works the example 12 and 8 on a transparent board: he subtracts the smaller number from the larger one to get 4, repeats the process with 8 and 4, and obtains 4 again, identifying 4 as the greatest common factor. He then gives an informal reason for correctness: a greatest common factor divides evenly, division is treated as repeated subtraction, and therefore the same divisor must also divide the difference produced by one subtraction step. The clip closes with branding and credits. The mathematics is clear but elementary and example-based rather than fully formal.

Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.

Chapters

0:00Intro0:05Topic introduction0:14Worked example: 12 and 80:44Why the subtraction step works1:24Outro and credits

Learning script

Generated from the video's visuals and explanation; not verbatim speech.

The speaker opens by naming the topic: why the Euclidean algorithm works. He frames the algorithm as a tool for finding the greatest common factor, establishing the goal before any computation begins.

He introduces the concrete example 12 and 8. The board then records the first subtraction step, 12−8=412-8=4, matching his spoken rule that the smaller number is subtracted from the larger number.

The process is repeated on the new pair 8 and 4. The board shows 8−4=48-4=4, and the speaker identifies the final value 4 as the greatest common factor of the original pair.

After finishing the example, he shifts from computation to justification. He describes the greatest common factor informally as a number that divides evenly, then interprets division as repeated subtraction.

Using the written example as reference, he argues that if a divisor subtracts evenly from the larger number down to the smaller number, then the leftover difference must also be divisible by that same number. This is the clip’s main intuitive reason for why the Euclidean subtraction step preserves the common factor.

He closes by restating that this divisibility-preservation idea is why the Euclidean algorithm works. The ending is explanatory rather than formal, relying on the example 12 and 8 and on the repeated-subtraction interpretation of divisibility.

Knowledge cards

01

Purpose of the Euclidean algorithm in this clip

The video introduces the Euclidean algorithm as a method for finding the greatest common factor of two numbers. The presentation uses the subtraction version of the algorithm rather than the modulo version.

02

Subtraction rule demonstrated on 12 and 8

The worked rule is: keep the smaller number, subtract it from the larger number, and repeat. On the board this becomes 12−8=412-8=4, then 8−4=48-4=4, and the final value 4 is identified as the greatest common factor.

(a,b)↦(a−b,b) when a>b(a,b)\mapsto(a-b,b)\text{ when }a>b
03

Informal meaning of greatest common factor

The speaker describes the greatest common factor as a number that divides evenly. This is an informal verbal definition tied to the example rather than a formal statement about maximal common divisors.

04

Why the subtraction step preserves divisibility

The key intuition is that division is treated as repeated subtraction. If a common divisor subtracts evenly, then after replacing the larger number by the difference, that same divisor still divides the difference evenly. This is the reason the clip gives for why the Euclidean algorithm works.

05

Editorial note on terminology and proof depth

The clip uses the older phrase greatest common factor where many modern texts say greatest common divisor. It also gives only the intuitive one-way divisibility preservation step; a full formal proof usually also discusses that the common divisors of (a,b) and (a-b,b) match in both directions.

Detailed learning notes

Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.

Symbols · 3

12, 8, 4

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker says, "Let's say we have two numbers, 12 and 8," and later states, "the greatest common factor is 4."

  2. Formula
    Observation

    The board shows the pair 12 and 8, then the subtraction steps 12-8 and 8-4, ending with 4.

Symbol

12, 8, 4

Meaning

Concrete example values used to demonstrate the Euclidean algorithm and its result.

Domain

Positive integers.

a-b

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker explains, "we keep the smaller number and subtract it from the larger number."

  2. Formula
    Observation

    The written expressions are 12-8 and 8-4.

Symbol

a-b

Meaning

One Euclidean subtraction step: replace the larger number by the difference after subtracting the smaller number.

Domain

Used here for positive integers with a>ba > b.

divides evenly / subtracts evenly

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker says, "when you think of the greatest common factor, it's a number that divides evenly" and "it subtracts evenly."

Uncertainties
  1. The phrase "divides evenly" is informal; the video does not write a formal divisibility notation such as d∣nd \mid n.

Symbol

divides evenly / subtracts evenly

Meaning

Informal spoken description of divisibility: a number can be subtracted repeatedly without leaving a remainder.

Domain

Integers in the example context.

Knowledge points · 4

Purpose of the Euclidean algorithm

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "This algorithm is used to find the greatest common factor."

Definition
Explanation

In this clip, the Euclidean algorithm is introduced as a method for finding the greatest common factor of two numbers. The presentation uses the subtraction version rather than the modulo version.

Formula
Conditions
  1. Applies to two numbers in the worked example.

  2. The video uses positive integer examples.

Subtraction rule of the Euclidean algorithm

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "we keep the smaller number and subtract it from the larger number" and "We repeat the process."

  2. Formula
    Observation

    The board records 12-8 -> 4 and then 8-4 -> 4.

Method
Explanation

The demonstrated procedure keeps the smaller number, subtracts it from the larger number, replaces the larger number with the difference, and repeats until the desired stopping value is reached.

Formula
(a,b)↦(a−b,b) when a>b(a,b) \mapsto (a-b,b)\text{ when }a>b
Conditions
  1. The video explicitly applies this to the pair 12 and 8.

  2. It assumes one chooses the larger and smaller number at each step.

Prerequisites
  1. Purpose of the Euclidean algorithm

Informal meaning of greatest common factor

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "when you think of the greatest common factor, it's a number that divides evenly"

Uncertainties
  1. The speaker gives an informal description rather than a full formal definition involving maximality among common divisors.

Definition
Explanation

The greatest common factor is described verbally as a number that divides evenly. In context, this means a shared divisor of the numbers under consideration.

Formula
Conditions
  1. Used informally in the explanation of why the algorithm works.

Division as repeated subtraction

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "we know that division is multiple subtractions, so it subtracts evenly"

Uncertainties
  1. This is a conceptual explanation, not a formal theorem statement.

Method
Explanation

The speaker explains divisibility by saying that division is multiple subtractions. This is used to justify why a common divisor also divides the difference produced by one subtraction step.

Formula
Conditions
  1. Applied to whole-number divisibility in the example.

Prerequisites
  1. Informal meaning of greatest common factor
Claims and conditions · 2

A common divisor also divides the difference

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "once it subtracts into the smaller number evenly, we're left with the difference ... we know that it has to go into that difference evenly."

Uncertainties
  1. The claim is stated informally and only illustrated with 8 and 12; the general symbolic form is not written on screen.

Proposition
Statement

If a number divides the smaller number evenly, then after subtracting it repeatedly from the larger number, it also divides the resulting difference evenly.

Hypotheses
  1. There are two numbers in the example.

  2. A chosen divisor divides evenly in the sense described by the speaker.

  3. The subtraction is performed from the larger number using the smaller number.

Quantifiers

Stated informally for the example pair and presented as the reason the algorithm works in general.

The Euclidean algorithm finds the greatest common factor

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "So now we have our answer, the greatest common factor is 4" and "So this is why the Euclidean algorithm works."

Uncertainties
  1. The proof is intuitive and example-based rather than fully formal.

Theorem
Statement

The subtraction-based Euclidean algorithm shown in the clip yields the greatest common factor of the two starting numbers.

Hypotheses
  1. Start with two numbers, illustrated by 12 and 8.

  2. Repeatedly subtract the smaller from the larger.

  3. Use the idea that a common divisor divides differences evenly.

Quantifiers

Presented as a general explanation, but justified in the clip mainly through the example 12 and 8.

Derivations and proofs · 2

Worked example: Euclidean algorithm on 12 and 8

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker narrates each subtraction step and concludes, "the greatest common factor is 4."

  2. Formula
    Observation

    The board shows 12 and 8, then 12-8, then 4, then 8-4, then 4.

Numerical verification
Steps
  1. Expression
    12, 812,\ 8
    Explanation

    Start with the two given numbers.

    Justification

    Directly stated in the audio and written on the board.

    Shown in the video
  2. Expression
    12−8=412-8=4
    Explanation

    Subtract the smaller number from the larger number.

    Justification

    This is the subtraction rule the speaker states for the algorithm.

    Shown in the video
  3. Expression
    8, 48,\ 4
    Explanation

    Keep the smaller number and pair it with the new difference.

    Justification

    The speaker says, "We repeat the process."

    Shown in the video
  4. Expression
    8−4=48-4=4
    Explanation

    Subtract again to obtain the next difference.

    Justification

    Same subtraction rule applied to the new pair.

    Shown in the video
  5. Expression
    44
    Explanation

    The process stops with 4, identified as the greatest common factor.

    Justification

    The speaker explicitly says, "the greatest common factor is 4."

    Shown in the video
Conclusion

For the example pair 12 and 8, the subtraction-based Euclidean algorithm ends at 4, which the video identifies as the greatest common factor.

Intuitive justification for why the subtraction step preserves divisibility

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker explains that a greatest common factor divides evenly, that division is multiple subtractions, and that the divisor must go into the difference evenly.

Uncertainties
  1. The argument is verbal and intuitive; no formal algebraic proof is written on screen.

Intuitive argument
Steps
  1. Expression
    d divides evenlyd\text{ divides evenly}
    Explanation

    Begin with the idea that the greatest common factor is a number that divides evenly.

    Justification

    Stated verbally by the speaker.

    Shown in the video
  2. Expression
    division=multiple subtractions\text{division}=\text{multiple subtractions}
    Explanation

    Interpret divisibility as repeated subtraction without remainder.

    Justification

    The speaker explicitly says, "division is multiple subtractions."

    Shown in the video
  3. Expression
    a−ba-b
    Explanation

    After subtracting the smaller number from the larger one, the result is the difference.

    Justification

    This matches the worked example 12−8=412-8=4 and the spoken explanation.

    Shown in the video
  4. Expression
    d divides a−bd\text{ divides }a-b
    Explanation

    Because the same divisor subtracts evenly, it also goes into the difference evenly.

    Justification

    This is the speaker’s informal key step explaining why the algorithm works.

    Shown in the video
Conclusion

The clip’s explanation is that a common divisor remains a divisor of the difference produced by one Euclidean subtraction step, which is why repeating the subtraction process still leads to the greatest common factor.

Worked examples · 1

Find the greatest common factor of 12 and 8 using the Euclidean algorithm

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "Let's say we have two numbers, 12 and 8 ... the greatest common factor is 4."

  2. Formula
    Observation

    The board displays 12, 8, 12-8, 4, 8-4, 4.

Problem

Use the subtraction version of the Euclidean algorithm to find the greatest common factor of 12 and 8.

Given
  1. The two numbers are 12 and 8.

  2. At each step, keep the smaller number and subtract it from the larger number.

Goal

Determine the greatest common factor.

Steps
  1. Expression
    12−8=412-8=4
    Explanation

    Subtract the smaller number from the larger number.

    Justification

    This is the rule stated for the algorithm.

    Shown in the video
  2. Expression
    8−4=48-4=4
    Explanation

    Repeat the process with the new pair 8 and 4.

    Justification

    The speaker says to repeat the process until the answer is obtained.

    Shown in the video
  3. Expression
    44
    Explanation

    The final value reached is identified as the greatest common factor.

    Justification

    The speaker explicitly states, "the greatest common factor is 4."

    Shown in the video
Answer

4

Verification

The video verifies the result by ending the subtraction process at 4 and verbally identifying that value as the greatest common factor.

Visual events · 2

Board progression of the Euclidean subtraction example

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The presenter writes on a transparent board while facing the camera.

  2. Formula
    Observation

    The visible writing progresses from 12 and 8 to 12-8, then 4, then 8-4, then another 4.

Objects
  1. Presenter

  2. transparent board

  3. marker

  4. numbers 12, 8, 4

  5. subtraction expressions 12-8 and 8-4

Changes
  1. First the pair 12 and 8 is written.

  2. Then the expression 12-8 is added and simplified to 4.

  3. Then the next subtraction 8-4 is written and simplified to 4.

  4. The final board state shows the completed example ending in 4.

Invariants
  1. The example stays focused on the same two starting numbers, 12 and 8.

  2. The method shown remains subtraction of the smaller number from the larger number.

Interpretation

The visual sequence tracks the algorithm step by step, making the replacement of the larger number by the difference explicit.

Gestural explanation linking the written example to the divisibility argument

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    While explaining why the method works, the presenter gestures toward the written numbers and subtraction results.

Uncertainties
  1. Exact finger positions are not always clear from the sampled frames.

Objects
  1. Written numbers 12, 8, 4

  2. presenter’s hand and marker

Changes
  1. The presenter points between the original numbers and the computed differences while speaking about even subtraction and the difference.

Invariants
  1. The board content remains the completed example from the earlier calculation.

Interpretation

The gestures connect the abstract claim about divisibility to the concrete example already written on the board.

Misconceptions · 2

Terminology: greatest common factor versus greatest common divisor

Clear evidence
Supplementary explanation
Evidence
  1. Audio
    Observation

    The speaker repeatedly uses "greatest common factor" while explaining divisibility.

Misconception

Learners may treat "factor" and "divisor" as unrelated terms or may not notice that the clip uses the older phrase "greatest common factor."

Clarification

In this context, "greatest common factor" is being used for what is more commonly called the greatest common divisor in many modern texts. The mathematical procedure shown is the same subtraction-based Euclidean algorithm.

The clip explains only part of the full invariant

Approximate timing
Supplementary explanation
Evidence
  1. Audio
    Observation

    The speaker emphasizes that a divisor of the smaller number also divides the difference evenly.

Uncertainties
  1. The video does not explicitly discuss the converse preservation of common divisors.

Misconception

Viewers might infer that the spoken argument alone proves the whole correctness of the Euclidean algorithm.

Clarification

The video gives the intuitive key step that a common divisor divides the difference. A full formal proof usually also notes that the set of common divisors of (a,b) and (a-b,b) is the same in both directions. That extra detail is not stated in the clip.

Concept relations · 5

Purpose of the Euclidean algorithm → Subtraction rule of the Euclidean algorithm

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker first names the purpose of the algorithm and then immediately demonstrates the subtraction rule on 12 and 8.

Application
Explanation

The stated purpose of finding the greatest common factor is carried out by the subtraction rule demonstrated on the example.

Subtraction rule of the Euclidean algorithm → Find the greatest common factor of 12 and 8 using the Euclidean algorithm

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board shows the rule being applied as 12-8 and then 8-4.

Application
Explanation

The worked example is a direct application of the subtraction rule.

Informal meaning of greatest common factor → Division as repeated subtraction

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The speaker defines the greatest common factor informally as a number that divides evenly, then says division is multiple subtractions.

Proof dependency
Explanation

The explanation of why the algorithm works depends on interpreting divisibility through repeated subtraction.

Division as repeated subtraction → A common divisor also divides the difference

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The repeated-subtraction idea is used to argue that the divisor goes into the difference evenly.

Proof dependency
Explanation

The proposition that a common divisor also divides the difference is justified by the speaker’s repeated-subtraction interpretation of divisibility.

A common divisor also divides the difference → The Euclidean algorithm finds the greatest common factor

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    After explaining the difference step, the speaker concludes, "So this is why the Euclidean algorithm works."

Uncertainties
  1. The conclusion is intuitive rather than fully formal.

Proof dependency
Explanation

The clip presents the preservation of divisibility under subtraction as the main reason the Euclidean algorithm returns the greatest common factor.

Find an answer · 5

What is the Euclidean algorithm used for in this video?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "This algorithm is used to find the greatest common factor."

Knowledge points
  1. Purpose of the Euclidean algorithm

How do you perform each step of the subtraction version of the Euclidean algorithm?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "we keep the smaller number and subtract it from the larger number" and "We repeat the process."

Knowledge points
  1. Subtraction rule of the Euclidean algorithm
  2. Find the greatest common factor of 12 and 8 using the Euclidean algorithm

Why does the example with 12 and 8 end with 4?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board shows 12−8=412-8=4 and 8−4=48-4=4.

Knowledge points
  1. Find the greatest common factor of 12 and 8 using the Euclidean algorithm
  2. Worked example: Euclidean algorithm on 12 and 8

Why does a common divisor also divide the difference in the Euclidean algorithm?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "division is multiple subtractions" and "it has to go into that difference evenly"

Knowledge points
  1. Division as repeated subtraction
  2. A common divisor also divides the difference
  3. Intuitive justification for why the subtraction step preserves divisibility

Is greatest common factor the same idea as greatest common divisor here?

Clear evidence
Supplementary explanation
Evidence
  1. Audio
    Observation

    The speaker uses "greatest common factor" throughout.

Knowledge points
  1. Informal meaning of greatest common factor
  2. Terminology: greatest common factor versus greatest common divisor
Coverage and review notes

Covered · Intro logo and music; no mathematical content.

Covered · Speaker introduces himself and states that the Euclidean algorithm is used to find the greatest common factor.

Covered · Worked subtraction example on 12 and 8, ending with 4 as the greatest common factor.

Covered · Informal explanation of why the subtraction method preserves divisibility and therefore why the algorithm works.

Covered · Outro graphics and credits; no mathematical content.

Explore the knowledge in this video

Open video knowledge graph →

  • Euclidean algorithm ExplanationAt 0:14
    Why this connection?

    From 14 to 84 seconds, the source computes 12−812-8 and 8−48-4, then explains that a common divisor divides the difference. The reviewed material explicitly states that the converse preservation step is absent, so this is not classified as a complete proof.

  • Greatest common divisor ApplicationAt 0:14
    Why this connection?

    From 14 to 44 seconds, the board correctly shows 12−8=412-8=4 and 8−4=48-4=4, ending with the greatest common factor 4.

Questions this video answers

Meet the concept

↗
Understand why

↗
Find a method

↗
Meet the concept

↗