x = yq + (x % y), q는 x를 y로 나눈 몫
이라고 하고 양변에 G를 곱하면
Gx = Gyq + G(x % y)
즉
A = Bq + G(x % y)
또한
A = Bq' + (A % B), q'은 A를 B로 나눈 몫
이라고 하면 x/y = A/B이므로 q = q'
따라서 A % B = G(x % y). QED
x = yq + (x % y), q는 x를 y로 나눈 몫
이라고 하고 양변에 G를 곱하면 Gx = Gyq + G(x % y)
즉 A = Bq + G(x % y)
또한 A = Bq' + (A % B), q'은 A를 B로 나눈 몫
이라고 하면 x/y = A/B이므로 q = q'
따라서 A % B = G(x % y). QED
ps. 음... 해놓고 보니 너무 당연하군요. ^^;
오오.. 정의 해놓으신것 잘봤습니다.
답변 감사합니다.^^
고작 블로킹 하나, 고작 25점 중에 1점, 고작 부활동
"만약 그 순간이 온다면 그때가 네가 배구에 빠지는 순간이야"
X//Y => X 를 Y 로 나눈 몱
X%Y => X 를 Y 로 나눈 나머지
라 정의해 봅시다..
A = Gx
B = Gy
에서
1.
A = (A%B) + (A//B) * B 이므로,
(A%B) = A - (A//B) * B 입니다.
2.
(A//B) = (x//y) 입니다.
이의 증명은 생략하겠습니다...
이를 전개하면...
(A%B)
= A - (A//B) * B
= Gx - (x//y) * Gy
= G * (x - (x//y) * y) <= "x = (x//y) * y + (x%y)" 이므로, 1에 의해
= G * (x%y)
즉...
A % B = G ( x % y )
WOW Wow!!!
Computer Science is no more about computers than astronomy is about telescopes.
-- E. W. Dijkstra
[code:1]x = yq + (x % y), q는 x를
x = yq + (x % y), q는 x를 y로 나눈 몫이라고 하고 양변에 G를 곱하면Gx = Gyq + G(x % y)즉A = Bq + G(x % y)또한A = Bq' + (A % B), q'은 A를 B로 나눈 몫이라고 하면 x/y = A/B이므로 q = q' 따라서 A % B = G(x % y). QEDps. 음... 해놓고 보니 너무 당연하군요. ^^;
Re: 10 % 8 = 2(5 % 4) 이라는 식이 왜 성립되나요?
라고 하는데요
A % B = x % y 되지 안나요? 왜 G가 묵기죠?
[quote="doldori"][code:1]x = yq + (x
오오.. 정의 해놓으신것 잘봤습니다.
답변 감사합니다.^^
고작 블로킹 하나, 고작 25점 중에 1점, 고작 부활동
"만약 그 순간이 온다면 그때가 네가 배구에 빠지는 순간이야"
Re: 10 % 8 = 2(5 % 4) 이라는 식이 왜 성립되나요?
Re: 10 % 8 = 2(5 % 4) 이라는 식이 왜 성립되나요?
35 % 20 = 1.75
5 x (7 % 4) = 8.75
나머지가 같다는 말인가요?
% 나머지 가 같다는 말이군요 / 가 아니고...
X//Y => X 를 Y 로 나눈 몱X%Y => X 를 Y
X//Y => X 를 Y 로 나눈 몱
X%Y => X 를 Y 로 나눈 나머지
라 정의해 봅시다..
A = Gx
B = Gy
에서
1.
A = (A%B) + (A//B) * B 이므로,
(A%B) = A - (A//B) * B 입니다.
2.
(A//B) = (x//y) 입니다.
이의 증명은 생략하겠습니다...
이를 전개하면...
(A%B)
= A - (A//B) * B
= Gx - (x//y) * Gy
= G * (x - (x//y) * y) <= "x = (x//y) * y + (x%y)" 이므로, 1에 의해
= G * (x%y)
즉...
A % B = G ( x % y )
WOW Wow!!!
Computer Science is no more about computers than astronomy is about telescopes.
-- E. W. Dijkstra
댓글 달기