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
-
퇴근 20일차 2 1
오늘은 1시간 반 정도 멘토링 세션이 있었음 솔직히 시급 1.2에 이렇게 부려먹는...
-
아 진짜 후회 ㅈㄴ되네 ㅋㅋㅋ 5 6
원래 성대 낮과인데 반수 성적 개박아서 가군 성대 사과계 + 나군 서강대 쓸라다가...
-
ㅃㄹ저메추 5 0
남이 사줌 대학붙으면사준댓음 22살 머사달라하지 곧 먹음
-
치대합격 67 35
-
2506영어 미쳤었음 3 0
그때 한두문제 호머하고 83인가 나옴 ㅋㅋㅋㅋㅋ 호머를안했으면 3이었음
-
2506 영어가 얼마나 어려웠더라 12 1
나 현역때인데 그때 평소 3뜨다가 2떴음 찍맞도 별로 없는데 글 잘읽혔음 근데...
-
대학들 논술 응시료로 꿀빠는 거처럼 다군으로 바꾸면 원서료 짭짤할 거 같은데 왜...
-
서강대 기계공 합격 16 4
홀홀 드디어 공대생
-
오르비 5 0
비오르
-
부친이 응원해줬더요 7 0
ㅋㅋㅋㅋㅋㅋ 귀여우심
-
이건가요? ㅠㅠ 서성한도 안도는 것 같던데
-
맞팔구 6 1
-
나도 드디어 뱃지를.. 5 0
고딩 때 오르비에서 뱃지 단 사람들 전부 멋있어 보였는데 감개무량 ㅜㅜ
-
반디....사랑해 11 2
『한때 꿈속에서 우리는 서로를 몰랐지만, 깨어나 보니 서로 사랑하는 사이였다』
-
복싱 끝 2 1
저녁 수정, 엄마가 해준 불닭게티+소고기+납작만두
-
고려대 26학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다....
-
와 고대뱃지 바로 들어오네? 17 3
https://orbi.kr/00077487308/%EB%82%98%EB%8F%84%...
-
문재인 “우리가 부동산 정책만큼은 실패했다” 22 11
문재인 전 대통령이 “우리가 부동산 정책만큼은 실패했다”고 밝혔다. 경남 양산 자택...
-
연대 어문 6 0
예비 5번인데 끝까지 안빠지겟ㅈㅛ..? 계속 붙들고있는거 너무 피말려요
-
특히 수능보는 과목이면 그정도는 아닌가 그래도 2학기에 교과수업하기도 쉽지 않을거같은데
-
아니 하 2 0
학원 강사 군대가기전에 3개월 하고 가려했는데, 원래 약속한 첫 출근날에 군대땜에...
-
쿼티형이랑 커플뱃지다 2 3
히히
-
물2 장인수T 개념떼고있는데 0 0
이후에 배기범 필수본 한번 더하고 기출들어갈까요?
-
수특 독서 어려운거 맞음? 0 0
비주얼만 훑어봤는데 ㅈㄴ 건들기 싫게 생긴 친구들만 잔뜩인데
-
국어 고수만 들어와보셈 6 0
저기서 어느 시험지가 젤 잘만듬? 나 국어 잘 모르는데 평가원 국어 한번 오랜만에 풀려고
-
정시 추합 등록금 납부 4시까지였는데 11 4
못 냈어요....... 삼수 확정인 거죠?
-
하암 저도 예비1번 안빠지네여 1 0
ㅈㅈ
-
제 주장이 명백히 틀렸다면, 반대주장으로 학계에서 인정받으면 되는거 아님? 8 2
왜냐하면 내주장이 반드시 틀렸다면 내주장의 부정형이 주장은 반드시 참이라는거아님?
-
13일의 금요일 1 0
무려 이번주...히이익
-
연대 합격 7 6
연대 합격!
-
4년제vs치위생 8 0
4년제는 기숙사 해야되고.치위생은 그냥 다니면 돼요 ㅠ 배우고싶운건 4년제이긴한데...
-
생윤,사문 문만 2 0
수능 준비할 때보다 더 열심히 기출을 공부하는 것 같은데 ( 6모 생윤 수특 연계된...
-
내년에는 테토가 될래 2 1
원서영역도 열공해서 추합해보고싶어요
-
눈 딱감고 6 2
OT 뒷풀이 가서 술 안마시고 있어도 될까
-
연대 추합 안빠지네... 9 0
후.... 제발 전화는 안돼요...
-
연경제 제발 ㅜㅜㅜㅜ 5 0
앞에 연대 경제 쓰신 715분 합격하신 건 정말 다행이네요 간절하신 분 같았는데...
-
앞에 2명남았다 0 0
제발 살려주쇼
-
교대 경영 교우 추합 0 0
고대경영 교과 몇번까지 추합인가요?
-
푸라닥 신메뉴 안성재 치킨 후기 18 1
열었을 때 할라피뇨향이 강함 첫입 치킨에서 허브?바질풍미가 났음 치킨따로 할라피뇨...
-
오늘 붙으셨네 ㅊㅊ
-
N수 한 장수생들 필독 8 6
오티 와줘라. 혼자 쓸쓸히 현역들이랑 못 어울리고 서있다가 돌아오고 싶지 않다....
-
전화 추합 0 0
2개년 데이터가 전부 120%정도 돌았고 전 이번예비가 90%위치 정도 되면...
-
제발 빠져라... 1 1
내일 3차 충원 발표 나는데 제발 빠졌으면ㅠ
-
시립대 행정 어디까지빠졌나요 2 0
제발
-
중대 창의ict 추합 2 0
3차기준 338번인데 붙을 수 있을까요?? 끝물이라도 타고싶은데… 중대 추합 창의ict 338
-
중앙대 약대 vs 단국대 치대 9 1
친한 고등학교 동기가 고민인 것 같아서… 부탁드립니다!
-
서울대는 최저가 4 0
왜 없나요?
-
연대 상경계열 펑크네 10 0
711 뚫림
-
내년에 1 0
삼수선언문 적고있는 내모습을 상상중
-
내가 언제 인생에서 고대생이랑 대화를 해볼수 있을까 7 2
진짜 인터넷은 개쩌는거임