2월 8일 오늘의 상식: 가장 짧은 논문?
게시글 주소: https://orbi.kr/00077480145
세상에서 가장 짧은 논문들은 대개 수학 논문이다
ON A CONJECTURE OF R. J. SIMPSON ABOUT EXACT COVERING CONGRUENCES
DORON ZEILBERGER1
Department of Mathematics, Drexel University, Philadelphia, PA 19104
The following is a counterexample2 to Simpson's conjecture [2]: D = { 6, 15, 35, 14, 210 (140 times) }. It was concocted using the elegant and powerful approach of [1].
REFERENCES
1. Marc A. Berger, Alexander Felzenbaum, and Aviezri S. Fraenkel, New results for covering systems of residue sets, Bulletin (New Series) of the Amer. Math. Soc., 14(1986) 121-125.
2. R. J. Simpson, Disjoint covering systems of congruences, this MONTHLY, 94(1987) 865-868.
----
1 Supported in part by NSF grant DMS 8800663.
2 Another counterexample was found later, and independently, by John Beebee.
이게 놀랍게도 <On a Conjecture of B. J. Simpson about Exact Covering Congruences>라는 논문의 전체 내용이다
대충 내용은 '우리가 어찌저찌해서 B. J. Simpson의 추측에 반례가 있음을 찾아냈다. 그 반례가 바로 D = { 6, 15, 35, 14, 210 (140 times) } 이거다'라는 것이다
B. J. Simpson 씨의 추측이 도대체 뭐길래 이런 논문을 쓰냐고 하냐면
대충 정수론에 관한 추측이다
'x를 mi로 나누었을 때 나머지가 ai이다.'라는 식들이 있다고 하자
만약 유한 개의 mi와 ai를 설정해서 x에 어떤 정수를 집어넣더라도 식들 중 하나를, 그리고 딱 그 하나만 만족시키게 하는 x가 존재한다면 그 식들의 모임을 'exact covering system'이라고 한다
이제 이 exact covering system에서 mi를 나열해서 세트 D = { m1, m2, ..., mn } 을 만들었다고 했을 때(이 세트는 집합과 표기가 비슷하지만 집합이 아니어서 같은 수가 여러 번 나올 수 있다)
이 mi 중 가장 큰 수는 적어도 D 내에서 적어도 두 번 이상 나와야 한다는 것이 원래의 추측인데
논문의 내용은 가장 큰 수가 무려 140번이나 반복되는 것을 반례로 제시한 것으로 보아 나중에 추측의 내용이 '그렇다고 너무 많이 나올 수도 없다' 정도로 바뀐 것 아닐까 싶다
근데 저런 반례들은 정말 어떻게 찾았을까...

이외에 이렇게 오일러의 추측에 반례를 제시하는 논문도 있다
이 논문의 내용은 '컴퓨터를 통해 오일러 추론의 반례를 찾았고 그게 바로 위의 계산식이다'라는 내용이다
오일로 추론이란 a1부터 an까지 n개의 정수가 있고 이들을 k제곱해서 모두 더했을 때, k>n≧2이면 어떤 정수 b의 k제곱이 될 수 없다는 것이다
즉 어떤 정수의 n제곱을 다른 정수들의 n제곱의 합으로 나타내고 싶다면 정수가 적어도 n개 이상 필요하다는 소리인데
그냥 컴퓨터로 27, 84, 110, 133에 5제곱을 한 뒤에 모두 더했을 때 144의 5제곱이 된다는 걸 밝히면서 반례를 제시하고 오일러 추론은 그렇게 논파되고 말았다
참고로 나중에 밝혀진 거지만 2682440, 15365639, 18796760을 네제곱 하고 더해서 20615673의 네제곱을 만들 수도 있다
그리고 그밖에도 오일러 추론에 반례로 들 수 있는 사례가 무수히 많다고 증명되어 있다고 한다

논문인지 조금 애매하지만 이런 것도 있다
내용은 n2+1개의 단위 정삼각형(변의 길이가 1인 정삼각형)으로 길이가 n보다 큰 정삼각형을 모두 채울 수 있느냐는 것이다
아래 그림은 n2+2개로는 가능하다는 것을 보여주는 것
참고로 얘는 안 된다는 게 밝혀졌다
정삼각형의 한 변의 길이를 n+e(e는 충분히 작은 수)라 했을 때 n2+1이 (n+e)^2보다 크기 때문에 면적만 보면 이론적으로 가능해야 하지만
막상 시도하려고 하면 빈틈과 중복 없이 단위 정삼각형을 채워나가는 것이 불가능하다고 한다
물론 단위 정삼각형이 하나 더 있어서 n2+2개면 다소간에 겹치는 걸 감수하고 1개로 커버를 치면 된다고 하고
사실 잘 이해가 안 된다
대충 그런 게 있구나 하고 넘기면 된다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 0 답글 달기 신고 -
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 36
-
금요일 1시에 등록취소했는데 아직까지 환불이 안될수도 있나요? 고대입니다
-
모르겠다 5 0
그냥 엄마고 친구고 이미 다들켰지만 그냥 내맘대로 글쓸거야
-
진짜 비주류인 씹덕 노래는 거르더라
-
디종 좋아해요 ㅎㅎ
-
우울하다 3 1
머리가아파
-
ㅋㅋㅋㅋ 이건 뭔 경우지 2 0
26카나토미 수1 스텝 1 스텝 2에 똑같은 문제 들어가있는데 이거 뭐지? ㅋㅋㅋㅋ
-
취해서 2 0
집에서 헤드뱅잉하고있슴
-
OT에서 다들 음악 취향 말하는데 10 3
그 나열된거 듣기만 해도 인싸 PTSD 오는 느낌이 있었음 무슨 첨 들어보는 최신...
-
사탐 고민상담좀 들어주세요 1 0
예체능이고 현역 생윤 1 윤사 4 재수 생윤 1 윤사 3 삼수 생윤 2 윤사 3...
-
프세카는 드디어 어펜드 33아다뗌 ㅎㅎ 롤체는 마빵480점갔다가 이쉬탈로이백점꼴아박음다시는안한다씨발
-
과외끝나고 롤할까 집갈까
-
전화추합은 에타인증 어케해요? 3 0
합격증으로 인증하는걸로 아는데 전화추합은 합격증 안주는곳도 있잖아요
-
본인 달에 280
-
재수생의 넋두리 2 3
의대나 메디컬을 가고 싶어서 열심히 재수를 했는데 현역 때 100점이였던 미적분이...
-
하루 강의 듣는개수 0 0
수학 실전개념이나 영어 강좌 탐구강좌 3~4강 정도 듣는데 너무 적음?
-
지금 편의점 알바 교육가는데 5 0
동갑 07년생 준여고생이 교육해주면 어캄? 사겨야되나;;
-
나 공부시키는데 한달에 800 14 1
들어간다는데 지금 집사정도 나쁜데 나 메디컬 못가면 우짜냐 ...ㅠㅠ 그럼진짜할복해야하는데
-
돈이 돈처럼 안 느껴지네 3 2
이게 현물 돈을 잘 안보고 계좌에 찍힌 숫자만 봐서 그런건가 무슨 게임머니 쓰고...
-
누가 음악취향 물어보면 8 0
제이팝이랑 틀딱락 위주라고 하면 대화 진행이 더 이상 안될거 같아서 그냥 고루고루...
-
과외끝나고 롤할까 집갈까
-
강원대 경제정보통계학부 0 0
최초-9 1차-4 2차-3번이였는데 혹시 이번에 전화추합 되신분있나요
-
뭐야 0 0
내 인하대 레어 누가 뺒어갔어
-
되게 중요한 것 같은데 참 어려운 일이네요
-
강 민 철 듣 기 6 0
버킷리스트입니다
-
워마vs어휘끝 1 0
뭐가 좋음 노베이스임
-
최초합한 학교 오티신청 뒷풀이 금액 입금 해놓은상태 말없이 나가는거보다 학생회장한테...
-
실버구간서폿터모집 4 0
제발
-
약대 가면 3 0
진짜 마약류 실물 볼 수 있나요 급합니다.
-
링거맞고잇는데 0 0
평생이러고싶다 나긋나긋하니 졸리고
-
약대 합격함. 47 14
예정된 결과지만 기분 좋네요. 훌륭한 약사가 되겠습니다.ㅅㅅ
-
16번째 댓글을 단 분 33 1
을 땟쥐땃쥐하도록 하겠습니다 ~(⁰▿⁰)~ 시작.
-
그 햄찌 유튜브 채널 재밌던데 2 0
AI 영상인데 재밌고 거부감도 안 드는 게 신기했음뇨 디자인업계 종사자신 것 같던데 ㄹㅇ 능력자심
-
일단 본인은 현역 일반고 수시파이터임. 따라서 내신에 집중하느라 국어 강의는 전혀...
-
고려대 26학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다....
-
수특은 언제 풀었어요? 4 0
기출 1회독 후? 6모전에 수특은 다 끝내고 가셨나요?
-
인하대 레어도 다 먹었으니 0 0
인하의를 노려야겟다 후 수능까지 무수면 마라톤 공부 드간다
-
고사회 추합 5 0
아예 안도는듯... 655.1 다음에 653.x 나오고 바로 끊김 진학사 최종컷...
-
여튼 우리 엄마 무섭네요.. 3 1
이미 내 글에 댓글 달았을지도 모름..
-
오르비언들은 아기 입맛이네 9 0
으른은 델리만쥬 먹어야지 (◍´◡`◍)
-
이런 4 0
이름이 공개됐군..
-
서양권 올림픽 선수들은 0 1
그게 본업이 아니라 본업이 따로 있고 올림픽 종목에 해당하는 체육활동을 취미로 하는...
-
[4] 여러 참신한 풀이 8 0
감기로 쉬게 되어.. 집에서 물리 문제를 풀며 몇 개 정리해봤음 [1]~[3]...
-
이천 잇올이랑 에듀셀파중에 0 0
어디가나음?? 이성 ㅈ도 신경안쓴다 가정했을때
-
제발 도와주세요 20대 중반 늦깎이 노베 수험생 재종기숙vs독학기숙 21 0
제목처럼 늦깎이 20대 중반 노베이스 수험생입니다. 작년에 그냥 공부 안하고 그냥...
-
어떻게 이런곡을 작곡하는거임
-
수열질문 11 1
이새기 선지에없는 214나오는데 뭐임M=200m=14아님?일단 M은 a6=120해서...
-
예비 고2인데 수학인강 5 0
N축, 거리곱, 로피탈 같은 스킬 현우진쌤께서 알려주시나요? 아니라면 어떤 선생님이 알려주시나요?
-
중대 경영 5차 될까요 3 0
중대 경영 4차 기준 50번대인데 5차 중엔 무조건 오겠죠??
-
고졸에서 군수 성공!! 11 11
내가 인생에서 대학교를 갈 줄은 몰랐다... 안녕하숭실~~
-
스블 수2 렉처5 2 0
여기 원래 어려운 파트인가요? 너무 많이 틀리고 강의도 이해 안되는것도 있어서...