조합적으로 증명하는 합동식

정수론의 기초에서 다뤄지는 여러 합동식들 중 조합적인 아이디어로 증명하는 것이 가능한 경우가 있다. 여기서 일부 그러한 증명들을 소개하고자 함. 먼저, 소수 와 정수 에 대해 가 성립한다는 페르마의 소정리를 조합적으로 보일 수 있다. 원 하나를 개의 동일한 부채꼴로 등분한다. 이 부채꼴들을 주어진 개의 색들로 칠한다면, 그 모든 경우의 수는 가 된다. 이 색칠된 결과는 크게 […]

Read More 조합적으로 증명하는 합동식

SD카드의 로고에 왜 원반이 있는가

짧은 트리비아. SD카드 로고에서 왜 D자가 원반 매체처럼 생겼는지를 다룬다. 결론은 토시바가 CD 다음 포맷으로 Super Density Disc를 밀었을 때 만든 로고인데, 포맷 전쟁에서 MMCD와 SD 진영이 힘을 합해 DVD를 만들면서 이 로고는 버려졌으나 나중에 SD카드 포맷이 생기면서 이전에 버린 로고를 그대로 재활용한 것이라고. 따로 검색해봤으나 딱히 기록으로 남겨진 증명은 찾기 힘들고 위키피디아에서 비슷한 언급이 […]

Read More SD카드의 로고에 왜 원반이 있는가

나조토키 책 리뷰

일본에서는 번뜩임에 힌트를 얻어서 패턴을 알아내거나 암호를 해석하는 나조토키(직역하면 수수께끼 풀이) 문제가 많이 있는데, 방탈출 게임에서 자주 볼 수 있는 유형이라고 볼 수 있다. 실제로 이런 나조토키 판에서 큰 존재감을 나타내는 SCRAP의 경우 한국 방탈출의 원조격인 탈출게임들을 프로듀스해오기도 했다. 덕분에 관련 책들도 많이 나오고 있음. 대부분 한 쪽 정도의 수수께끼/퍼즐들을 배치하고 마지막에는 그 답들을 이용하는 […]

Read More 나조토키 책 리뷰

기어오는 혼돈 3-고정점

Li-Yorke 정리에 대한 Euler, Erdős의 글. Division by Zero에서도 다룬 적이 있다. 에 대해 정의된 연속함수 $f:I \rightarrow I$를 본다. 이 때 만약 는 가 아니지만 가 되는 를 -고정점이라고 부르도록 한다. 그러면 2-고정점이 있으면 1-고정점(즉 인 일반적인 의미의 고정점)이 존재한다는 것은 중간값 정리를 이용해 쉽게 구할 수 있다. (만약 가 2-고정점이면 라 할 때 […]

Read More 기어오는 혼돈 3-고정점

해상도 낮은 반려동물들

최근 트위터로 해상도 낮은 고양이 친구들 사진들이 보이는데 그 브릭들에 대한 소개. JEKCA에서 만든 반려동물 브릭 세트이다. 고양이나 강아지의 포즈가 너무 그럴 듯하게 등신대로 잘 묘사되어있어서 갖고싶음. 특히 랙돌… 고양이는 총 18종에 색상 옵션이 있는 애들도 있고 강아지는 훨씬 더 많음. 트윗 타래를 정리. (2017/06/14)

Read More 해상도 낮은 반려동물들

증조할머니의 계산기

증조할머니의 다락방에서 구형 계산기를 발견했다고. “덧셈은 간단하지만 연습이 필요합니다!” 이 기계식 계산기의 실제 작동 영상이다. 다이얼 전화기처럼 원하는 숫자에서 끝지점까지 밀어서 입력하는 식인데 carry 처리까지 수동으로 해야한다… 곱셈 설명 영상도 있는데 그냥 여러번 더하라고 함……. 국립 미국 역사 박물관에도 이 계산기에 대한 설명이 있는데 일본에서 만들어졌으며 19세기부터 써왔다고. 트윗 타래를 정리. (2017/12/29)

Read More 증조할머니의 계산기