well-ordering을 이용한 divisibillity와 gcd에 관한 논의입니다. gcd(a,b) = au+bv 꼴로 표현할 수 있다는 내용과 division algorithm이 가장 중요한 내용입니다.
특히 gcd에 관한 내용은 gcd의 명제들을 증명하기에 아주 편리합니다.
linear combination으로 구성된 양의 정수 집합이 nonempty이므로 최소원소가 있음을 증명하고 그 최소 원소가 gcd임을 보이는 과정으로 증명합니다.
수학 그리고 코딩