|
lcm(b, a) = b/[b]a × lcm(a, [b]a) (단, [b]a≠0) |
(증명)
두 수 b, a에 대하여
b를 a로 나눈 몫을 Q, 나머지를 R이라 합시다.
이제
b, a의 공배수를 u,
a, R의 공배수를 v라 하면...
공배수 중 최소값이 최소공배수이므로
u의 최소값 min(u)와
v의 최소값 min(v)의
관계를 유도하면 됩니다.
물론 목표는 다음 관계식입니다.
목표: min(u) = (b/R)·min(v) |
u는
b, a의 공배수이므로
u = b×s , u = a×t … ①
v는
a, R의 공배수이므로
v = a×y , v = R×z … ②
따라서
①에서
u = bs = at … ①'
②에서
v = ay = Rz … ②'
①'에서
b/a = t/s
여기에 [제비의 리(除比의 理)]를 적용하면
R/a = t'/s … ③
(단, R은 b를 a로 나눈 나머지, t'는 t를 s로 나눈 나머지)
또한 ②'에서
R/a = y/z … ④
③, ④에서
R/a = t'/s = y/z … ⑤
위와 같이
R/a는 분수입니다.
분수는 무한히 많은 방법으로 나타낼 수 있습니다.
이를테면
4/2 = 8/4 = 12/6 = … 처럼...
하지만 그러한 분수들을 기약분수로 나타내서
가능하면 분모, 분자가 최소가 되도록 할 수도 있습니다.
기약분수로 나타냈을 때
그 분수의 분모, 분자는 최소가 됩니다.
4/2 = 8/4 = 12/6 = … = 2/1 처럼...
즉
R/a = t'/s = y/z … ⑤에서
분수 R/a에 대한 또 다른 분수 표현식인
t'/s 및 y/z의 s, z 등에 값들을 바꿔가면서
다양한 분수를 얻어낼 수 있지만
기약분수로 나타내면 그 표현이 같아집니다.
기약분수로 나타내려면
선택할 수 있는 값 중에
최소값을 취하면 됩니다.
즉
min(s) = min(z) … ⑥
그런데
⑥을 ①에 적용하면
min(u) = b×min(s) … ⑦
⑥을 ②에 적용하면
min(v) = R×min(z) … ⑧
이제
⑥, ⑦, ⑧에서
min(u) / b = min(v) / R
즉
min(u) = b/R × min(v)
(단, R≠0)
즉
lcm(b, a) = b/[b]a × lcm(a, [b]a)
(단, [b]a≠0)
¶ (증명 끝)