친절한 공대생

오랜만에 포스팅합니다. 7의 배수 판정법에 대한 유투브 동영상을 업로드했습니다. 이 블로그에는 그와 별개로 formal한 증명을 업로드해봅니다. 아래 사진이 그 증명이고, 동영상은 유투브로 설명해놓은 것입니다! 어떤 자연수가 7의 배수인지 판별하는 방법은 다음과 같습니다. 예를 들어 26069가 7의 배수인지를 판별해보겠습니다. 1. 자연수를 일의 자리 수와 그 앞의 수로 분리한다.ex) 26069를 9와 2606으로 분리한다. 여기서 9가 일의 자리 수이고 2606이 그 앞의 수이다. 2. 1단계에서 분리한 "일의 자리 수"에 2를 곱하고, 그 수를 "그 앞의 수"에서 뺀다.ex) 2606 - 2 * 9 = 2606 - 18 = 2588 3. 앞선 두 과정을 수가 적당히 작아질 때까지 반복한다.ex) ..