Skip to content
Back to exploration
Discrete mathematics / English

Euclidean Algorithm - An example ← Number Theory

Socratica · YouTube · 2:03

Open original
READ & KEEP

The explanation, unpacked.

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

This educational video introduces the Euclidean algorithm as an efficient method for finding the greatest common divisor (GCD) of two integers without requiring prime factorization. It begins with a brief historical context, noting its origins in Euclid's Elements over 2,300 years ago. The core mechanic is explained: repeatedly perform long division, using the previous divisor and remainder for the next step, until a remainder of zero is reached. The last non-zero remainder is the GCD. The video then provides a detailed, animated walkthrough of calculating the GCD of 1785 and 546, visually demonstrating each division step and culminating in the final answer of 21.

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

Chapters

0:00Introduction to the Euclidean Algorithm0:28Step-by-Step Example: Finding gcd(1785, 546)1:40Conclusion and Final Answer

Learning script

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

The video opens by introducing the Euclidean algorithm, a mathematical method designed to find the greatest common divisor (GCD) of two integers. The narrator highlights its historical significance, noting it has been in use for approximately 2,300 years since its first appearance in Euclid's Elements.

A key advantage of this algorithm is emphasized: it eliminates the need to factor large numbers to determine their GCD. Instead, the method relies on a systematic process of repeated long division. The rule is straightforward: continue dividing until the remainder becomes zero. At that point, the last non-zero remainder obtained is the greatest common divisor.

To illustrate the process, the video presents a concrete example: finding the GCD of 1785 and 546. The first step involves dividing the larger number, 1785, by the smaller number, 546. This division yields a quotient of 3 and a remainder of 147.

The algorithm then iterates. The previous divisor, 546, becomes the new dividend, and the previous remainder, 147, becomes the new divisor. Dividing 546 by 147 results in a quotient of 3 and a remainder of 105.

This pattern of replacing the dividend with the previous divisor and the divisor with the previous remainder continues. Next, 147 is divided by 105, giving a quotient of 1 and a remainder of 42.

Following this, 105 is divided by 42, which produces a quotient of 2 and a remainder of 21.

For the final iteration, 42 is divided by 21. This division results in a quotient of 2 and, crucially, a remainder of 0.

Because the remainder is now zero, the algorithm stops. According to the established rule, the last non-zero remainder from the previous step is the greatest common divisor. In this example, that value is 21. The video concludes by formally stating that the greatest common divisor of 1785 and 546 is 21.

Knowledge cards

01

Euclidean Algorithm Overview

The Euclidean algorithm is an efficient method for computing the greatest common divisor (GCD) of two integers. Its primary advantage is that it does not require the prime factorization of the numbers involved, making it highly effective even for very large integers. The process is iterative and relies on the principle of long division.

02

Core Mechanic of the Algorithm

To apply the Euclidean algorithm, start by dividing the larger integer by the smaller one. Record the quotient and the remainder. For the next step, divide the previous divisor by the previous remainder. Repeat this process—always dividing the most recent divisor by the most recent remainder—until the remainder is exactly zero.

03

Stopping Condition and Result

The algorithm terminates when a division step yields a remainder of zero. At this point, the greatest common divisor of the original two numbers is the last non-zero remainder calculated in the sequence of divisions. This final non-zero remainder is guaranteed to divide both original numbers evenly.

04

Worked Example: gcd(1785, 546)

Finding the GCD of 1785 and 546 involves five division steps: 1. 1785 ÷ 546=3546 = 3 with a remainder of 147. 2. 546 ÷ 147=3147 = 3 with a remainder of 105. 3. 147 ÷ 105=1105 = 1 with a remainder of 42. 4. 105 ÷ 42=242 = 2 with a remainder of 21. 5. 42 ÷ 21=221 = 2 with a remainder of 0. Since the final remainder is 0, the algorithm stops. The last non-zero remainder was 21, so gcd(1785, 546) = 21.

gcd⁡(1785,546)=21\gcd(1785, 546) = 21

Detailed learning notes

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

Symbols · 1

gcd⁡(a,b)\gcd(a, b)

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The text 'Find gcd(1785, 546)' appears on screen at 00:29, and the final conclusion '∴\therefore gcd(1785, 546) = 21' is written at 01:54.

  2. Audio
    Observation

    The narrator states 'finding the greatest common divisor of two integers' at 00:01 and 'the greatest common divisor of 1,785 and 546 is 21' at 01:54.

Symbol

gcd⁡(a,b)\gcd(a, b)

Meaning

The greatest common divisor of two integers a and b.

Domain

Integers

Knowledge points · 2

Euclidean Algorithm Method

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator explains that the Euclidean algorithm is a method for finding the greatest common divisor of two integers by repeatedly performing long division until the remainder is zero.

  2. Diagram
    Observation

    A visual example from 00:18 to 00:27 shows the steps of dividing 104 by 84, then 84 by 20, and finally 20 by 4 to reach a remainder of 0.

Method
Explanation

The Euclidean algorithm finds the greatest common divisor (GCD) of two integers without needing to factor them. The process involves repeatedly performing long division: divide the larger number by the smaller number, then divide the previous divisor by the remainder, and continue this process. When the remainder becomes zero, the last non-zero remainder is the GCD.

Formula
Conditions
  1. Applies to two integers.

  2. Requires repeated long division.

  3. Stops when the remainder is zero.

Greatest Common Divisor (GCD)

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator introduces the concept as the 'greatest common divisor of two integers' at 00:01 and concludes with the specific value for 1785 and 546 at 01:54.

  2. Formula
    Observation

    The notation 'gcd(1785, 546)' is displayed on screen from 00:29 onwards.

Definition
Explanation

The greatest common divisor of two integers is the largest positive integer that divides both numbers without leaving a remainder. In the video, it is found using the Euclidean algorithm.

Formula
gcd⁡(a,b)\gcd(a, b)
Conditions
  1. Defined for two integers.

Claims and conditions · 1

GCD is the Last Non-Zero Remainder

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator states, 'When you get a remainder of zero, you stop and the method is over. The last nonzero remainder is the greatest common divisor.'

  2. Diagram
    Observation

    An arrow points to the remainder '21' in the second-to-last division step at 01:51, identifying it as the result.

Theorem
Statement

In the Euclidean algorithm, when the division process yields a remainder of zero, the greatest common divisor of the original two integers is the last non-zero remainder obtained.

Hypotheses
  1. The Euclidean algorithm is applied to two integers.

  2. The process of repeated long division is followed until a remainder of zero is reached.

Quantifiers

For any two integers.

Derivations and proofs · 2

Visual Example of Euclidean Algorithm

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The visual sequence shows 104 divided by 84 (quotient 1, remainder 20), then 84 divided by 20 (quotient 4, remainder 4), and finally 20 divided by 4 (quotient 5, remainder 0).

Visual argument
Steps
  1. Expression
    104÷84=1 R 20104 \div 84 = 1 \text{ R } 20
    Explanation

    Divide the initial larger number by the smaller number.

    Justification

    First step of the Euclidean algorithm.

    Shown in the video
  2. Expression
    84÷20=4 R 484 \div 20 = 4 \text{ R } 4
    Explanation

    Divide the previous divisor (84) by the previous remainder (20).

    Justification

    Second step of the Euclidean algorithm.

    Shown in the video
  3. Expression
    20÷4=5 R 020 \div 4 = 5 \text{ R } 0
    Explanation

    Divide the previous divisor (20) by the previous remainder (4). The remainder is zero, so the process stops.

    Justification

    Third step of the Euclidean algorithm.

    Shown in the video
Conclusion

The last non-zero remainder is 4, which is the greatest common divisor of 104 and 84.

Step-by-Step Derivation for gcd(1785, 546)

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The screen sequentially displays the long division steps: 1785 by 546, 546 by 147, 147 by 105, 105 by 42, and 42 by 21.

  2. Audio
    Observation

    The narrator verbally guides through each division step, stating the quotients and remainders.

Proof
Steps
  1. Expression
    1785=546×3+1471785 = 546 \times 3 + 147
    Explanation

    Divide 1785 by 546 to get a quotient of 3 and a remainder of 147.

    Justification

    First step of the Euclidean algorithm.

    Shown in the video
  2. Expression
    546=147×3+105546 = 147 \times 3 + 105
    Explanation

    Divide the previous divisor (546) by the previous remainder (147) to get a quotient of 3 and a remainder of 105.

    Justification

    Second step of the Euclidean algorithm.

    Shown in the video
  3. Expression
    147=105×1+42147 = 105 \times 1 + 42
    Explanation

    Divide the previous divisor (147) by the previous remainder (105) to get a quotient of 1 and a remainder of 42.

    Justification

    Third step of the Euclidean algorithm.

    Shown in the video
  4. Expression
    105=42×2+21105 = 42 \times 2 + 21
    Explanation

    Divide the previous divisor (105) by the previous remainder (42) to get a quotient of 2 and a remainder of 21.

    Justification

    Fourth step of the Euclidean algorithm.

    Shown in the video
  5. Expression
    42=21×2+042 = 21 \times 2 + 0
    Explanation

    Divide the previous divisor (42) by the previous remainder (21) to get a quotient of 2 and a remainder of 0.

    Justification

    Fifth step of the Euclidean algorithm; the process stops because the remainder is zero.

    Shown in the video
Conclusion

The last non-zero remainder is 21, therefore gcd⁡(1785,546)=21\gcd(1785, 546) = 21.

Worked examples · 1

Finding gcd(1785, 546)

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The problem 'Find gcd(1785, 546)' is displayed at 00:29, and the final answer '∴\therefore gcd(1785, 546) = 21' is shown at 01:54.

  2. Audio
    Observation

    The narrator explicitly states the problem and the final solution.

Problem

Find the greatest common divisor of 1785 and 546 using the Euclidean algorithm.

Given
  1. a=1785a = 1785

  2. b=546b = 546

Goal

Determine gcd⁡(1785,546)\gcd(1785, 546).

Steps
  1. Expression
    1785÷546=3 R 1471785 \div 546 = 3 \text{ R } 147
    Explanation

    Perform the first long division.

    Justification

    Euclidean algorithm step 1.

    Shown in the video
  2. Expression
    546÷147=3 R 105546 \div 147 = 3 \text{ R } 105
    Explanation

    Divide the previous divisor by the previous remainder.

    Justification

    Euclidean algorithm step 2.

    Shown in the video
  3. Expression
    147÷105=1 R 42147 \div 105 = 1 \text{ R } 42
    Explanation

    Repeat the process.

    Justification

    Euclidean algorithm step 3.

    Shown in the video
  4. Expression
    105÷42=2 R 21105 \div 42 = 2 \text{ R } 21
    Explanation

    Repeat the process.

    Justification

    Euclidean algorithm step 4.

    Shown in the video
  5. Expression
    42÷21=2 R 042 \div 21 = 2 \text{ R } 0
    Explanation

    Repeat the process until the remainder is zero.

    Justification

    Euclidean algorithm step 5.

    Shown in the video
Answer

21

Verification

The last non-zero remainder in the sequence of divisions is 21.

Visual events · 3

Title Card

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The title card 'Example Euclidean Algorithm' is displayed with a classical Greek border design.

Objects
  1. Text 'Example Euclidean Algorithm'

  2. Greek key border

Changes
  1. None

Invariants
  1. Static image

Interpretation

Introduces the topic of the video.

Euclid and Initial Visual Example

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    An illustration of Euclid appears, followed by a quick visual demonstration of the algorithm on the numbers 104 and 84.

Objects
  1. Illustration of Euclid

  2. Long division steps for 104 and 84

Changes
  1. The long division steps appear sequentially from left to right.

Invariants
  1. The Euclid illustration remains static.

Interpretation

Provides historical context and a brief visual overview of how the algorithm operates before diving into a detailed example.

Detailed Animation of gcd(1785, 546)

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The screen clears and the problem 'Find gcd(1785, 546)' is presented. Long division steps are animated sequentially across the screen.

Objects
  1. Problem statement

  2. Sequential long division calculations

  3. Arrows indicating the flow of numbers

  4. Final conclusion text

Changes
  1. Each division step appears one by one.

  2. Arrows connect the divisor and remainder of one step to become the dividend and divisor of the next.

  3. The final answer is written at the bottom.

Invariants
  1. The problem statement remains at the top.

Interpretation

Visually demonstrates the step-by-step execution of the Euclidean algorithm, highlighting the recursive nature of using the previous divisor and remainder for the next calculation.

Misconceptions · 1

Misconception: Factoring is Required for GCD

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator states, 'What makes this method so powerful is you don't have to factor the numbers to find the greatest common divisor.'

Misconception

To find the greatest common divisor of two numbers, you must first find their prime factorizations.

Clarification

The Euclidean algorithm allows you to find the GCD efficiently through repeated long division, completely bypassing the need to factor the numbers.

Concept relations · 2

Euclidean Algorithm Method → Greatest Common Divisor (GCD)

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator introduces the Euclidean algorithm specifically as a method for finding the greatest common divisor.

Application
Explanation

The Euclidean algorithm is a specific computational method used to find the greatest common divisor of two integers.

Step-by-Step Derivation for gcd(1785, 546) → GCD is the Last Non-Zero Remainder

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The final step of the derivation shows a remainder of 0, and an arrow points to the previous remainder (21) as the answer, directly illustrating the claim.

Proof dependency
Explanation

The step-by-step derivation for the example serves as a practical demonstration and verification of the general rule that the last non-zero remainder is the GCD.

Find an answer · 2

How do I find the greatest common divisor of two numbers without factoring them?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The entire introductory segment explains the purpose and basic mechanics of the algorithm.

Knowledge points
  1. Euclidean Algorithm Method
  2. Greatest Common Divisor (GCD)

Why does the Euclidean algorithm stop when the remainder is zero, and what is the final answer?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The narrator explicitly states the stopping condition and the reason for it.

Knowledge points
  1. GCD is the Last Non-Zero Remainder
Coverage and review notes

Covered · Introduction to the Euclidean algorithm, its purpose, historical context, and a brief visual example.

Covered · Detailed step-by-step execution of the Euclidean algorithm to find gcd(1785, 546), including the stopping rule and final conclusion.

Covered · Closing visual and audio tail; no new mathematical claim.

Explore the knowledge in this video

Open video knowledge graph →

  • Euclidean algorithm ApplicationAt 0:00
    Why this connection?

    From 0 to 123 seconds, the lesson states the repeated-division procedure and stopping rule, gives a short 104 and 84 warm-up, then completes all five divisions for 1785 and 546. It applies the algorithm rather than proving the general theorem.

  • Greatest common divisor ApplicationAt 1:40
    Why this connection?

    From 100 to 122 seconds, the lesson reaches 42=21⋅2+042 = 21\cdot 2 + 0, identifies 21 as the last nonzero remainder, and concludes gcd(1785,546)=21.

Questions this video answers

Understand why

↗
Find a method

↗
Find a method

↗