2.3.2.The Greatest Common Divisor

On this page
  1. Definition
  2. How can we find the value of gcd(a,b)?
  3. some value of -12x + 30y for x,y∈Z x,y \in \mathbb${Z}x,y∈Z
  4. Theorem 2.3.
  5. 표의 숫자는 유일하지 않음
  6. pf
  7. Corollary 2.3.
  8. 정리

Definition

  • Let a,bZa,b\in \mathbb{Z} . The greatest common divisor of a and b is the positive integer d satisfying
  1. da and db d \mid a \text{ and } d\mid b (common divisor)
  2. if ca and cb ,then cd\text{if } c \mid a \text{ and } c \mid b \text{ ,then } c \le d (greatest)

In this case we write d=gcd(a,b)d=gcd(a,b)

How can we find the value of gcd(a,b)?

  1. Find all positive divisors of a and b
  2. Find all common divisors
  3. Choose the greatest one

some value of -12x + 30y for x,yZ x,y \in \mathbb{Z}

최대공약수와 정수 선형결합

observation

  • There exist x,yZ x,y \in \mathbb{Z} such that 12x+30y=6-12x +30y = 6
    • 어떤 정수 x,y가 존재해서 결과 6이 항상 성립하는가? - 증명해볼것
  • Each number is multiples of 6.
    • 12x+30y=6(2x+5y)\because -12x+30y = 6(-2x+5y)
    • 모든 수가 6의 배수다. 6으로 묶으면 되므로 쉽게 알 수 있다.

Recall : gcd(12,30)=6gcd(-12,30) = 6

Theorem 2.3.

Given a,bZ(a0 or b0),let d=gcd(a,b)a,b \in \mathbb{Z} \left(a \neq 0 \text{ or } b\neq 0 \right), \text{let } d=gcd(a,b) \Rightarrow There exists x,yZx,y \in \mathbb{Z} such that ax+by=dax+by = d

표의 숫자는 유일하지 않음

베주 항등식의 정수 해

ax+by=dax+by=d 식에서 abab 를 더하고 빼면 다른 답을 얻을 수 있다.

pf

베주 항등식 해의 성질

최대공약수 정리의 증명

그래서 ax+byax+by 는 최대공약수가 되는 x,yx,y가 항상 존재한다.

Corollary 2.3.

ax+byx,yZ=kdkZ\\{ax+by \mid x,y \in \mathbb{Z}\\} = \\{kd \mid k \in \mathbb{Z}\\}

표의 모든 숫자 (ax+by)(ax+by)a,ba,b의 최대공약수의 배수들로 이루어진 숫자이다.

최대공약수와 정수 선형결합 따름정리

정리

그래서 이전의 표에 최대공약수가 나오는것은 우연이 아니며, 표의 숫자는 최대공약수의 배수가 된다.

  • definition of gcd(a,b)gcd(a,b)
  • compute the value of gcd(a,b)gcd(a,b)
  • (Theorem 2.3.) there exist x,yZ such that ax+by=d\text{(Theorem 2.3.) there exist } x,y \in \mathbb{Z} \text{ such that } ax + by = d
  • (Corollary 2.3.) ax+byx,yZ=kdkZ\text{(Corollary 2.3.) } \\{ax+by \mid x,y \in \mathbb{Z}\\} = \\{kd \mid k \in \mathbb{Z}\\}
Discussion

Comments