{{위키데이터 속성 추적}}
{{DISPLAYTITLE:''abc'' 추측}}
[[수론]]에서 '''''abc'' 추측'''({{llang|en|''abc'' conjecture}})은 고차 거듭제곱을 인자로 갖는 두 수의 합은 보통 고차 거듭제곱 인자를 갖지 않는다는 추측이다. 이 추측을 엄밀히 표현할 때 등장하는 세 정수 ''a'', ''b'',''c''의 통상적인 기호 때문에 이 이름이 붙었다

== 정의 ==
양의 정수 ''n''의 '''근기'''({{llang|en|radical}}) <math>\operatorname{rad}(n)</math>는 그 서로 다른 소인수들의 곱이다. 즉,
:<math>\operatorname{rad}(n)=\prod_{p | n}p</math>
이다. 예를 들어, <math>\operatorname{rad}(12)=6</math>이다.

'''''abc'' 추측'''에 따르면, 모든 양의 실수 <math>\epsilon</math>에 대하여, 다음 조건들을 만족시키는 양의 정수의 [[튜플]] <math>(a,b,c)</math>은 유한개이다.
* <math>a,b,c</math>는 [[서로소]]이다.
* <math>a+b=c</math>
* <math>c>\operatorname{rad}(abc)^{1+\epsilon}</math>

만약 <math>\epsilon=0</math>인 경우 ''abc'' 추측은 성립하지 않는다. 예를 들어,
:<math>(a,b,c)=(1,2^{6n}-1,2^{6n})</math>
인 경우 임의의 <math>n>1</math>에 대하여 <math>\operatorname{rad}(abc)<c</math>이다.

== 역사 ==
1985년에 데이비드 매서({{llang|en|David W. Masser}})가 발표하였고,<ref>{{서적 인용 | last=Masser | first=David W. | editor1-last=Chen | editor1-first=W. W. L. | title=Proceedings  of the Symposium on Analytic Number Theory | publisher=Imperial College | location=London | year=1985 | chapter=Open problems | 언어=en}}</ref> 1988년에 조제프 외스트를레({{llang|fr|Joseph Oesterlé}})가 이를 재발견하였다.<ref>{{저널 인용 | last=Oesterlé | first=Joseph | title=Nouvelles approches du «théorème» de Fermat | url= http://www.numdam.org/item?id=SB_1987-1988__30__165_0 | series=Séminaire Bourbaki exp 694 | mr=992208 | zbl=0668.10024  | year=1988 | journal=Astérisque | issn=0303-1179 | issue=161 | pages=165–186|언어=fr}}</ref>

2007년 프랑스의 수학자 뤼시앙 스피로({{llang|fr|Lucien Szpiro}})가 ''abc'' 추측의 증명을 발표하였으나, 곧 오류가 발견되었다. 2012년 8월에 [[모치즈키 신이치]]가 ''abc'' 추측의 증명을 발표하였다. 2012년 10월에 모치즈키의 증명에 약간의 오류가 발견되었으나, 모치즈키는 이것이 비교적 사소한 오류라고 답변하였고, 증명을 교정하였다. 현재 (2014년 1월) 모치즈키 논문의 최종 버전은 2013년 12월에 발표되었다. 모치즈키의 증명이 옳은지는 아직 학계에서 논란이 일고 있다. 특히 논문의 주요 쟁점을 관통하는 내부 국소 타이히뮐러 정의에 대한 증명이 담긴 3.12의 설명이 너무 짧게 압축되어 있어 이에 대한 논란이 많다.

2018년 [[페터 숄체]]와 야코프 스틱스는 모치즈키와 논의하기 위해 [[교토 대학]]을 방문했고,<ref>
{{잡지 인용|url=https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/ |title=Titans of Mathematics Clash Over Epic Proof of ABC Conjecture
 |magazine= Quanta Magazine |date=September 20, 2018 |first= Erica |last= Klarreich }}</ref> 결국 서로 간의 의견 차를 좁히지 못했지만 그들은 입장을 명확히 할 수 있었다. 숄체와 스틱스는 보고서를 작성하여 증명의 논리적 문제점을 지적하고, 이로 인해 발생하는 공백이 "너무도 심각해서 간단한 수정으로는 증명을 살려낼 수 없을 것"이라 주장했다. 이에 대해 모치즈키는 이들이 자신의 이론을 틀리게 간략화하여 잘못 이해한 것이라고 반박하였다.

2020년 4월 [[교토 대학 수리해석 연구소]] 측은 모치즈키의 증명이 확인되어 해당 연구소가 운영하는 저널인 PRIMS에 게재될 것이라고 밝혔으나, 일각에서는 해당 저널의 편집장이 다름아닌 모치즈키 자신이라는 점을 지적하였다.<ref name="nature-2020"/> 이 소식에 관해 키란 케들라야와 [[에드워드 프렌켈]]은 "이것이 많은 수학자들을 모치즈키의 편에 서게 하지는 못할 것으로 보인다"며 회의를 드러냈다.<ref name="nature-2020">{{저널 인용|last1=Castelvecchi |first1=Davide |title=Mathematical proof that rocked number theory will be published |journal=Nature |date=9 April 2020 |volume=580 |issue=7802 |pages=177 |doi=10.1038/d41586-020-00998-2 |pmid=32246118 |bibcode=2020Natur.580..177C |doi-access=free }}</ref> 2021년 3월 RIMS에 모치즈키의 증명이 공식 게재되었다.<ref>{{웹 인용| url= https://www.ems-ph.org/journals/show_issue.php?issn=0034-5318&vol=57&iss=1 | title= Mochizuki's proof of ABC conjecture
 |first= Shinichi |last= Mochizuki | access-date=July 13, 2021 }}</ref>

== 같이 보기 ==
* [[수학의 미해결 문제 목록]]
== 각주 ==
{{각주}}
* {{저널 인용|first=Jerzy |last=Browkin |공저자=Juliusz Brzeziński | title=Some remarks on the ''abc''-conjecture |url=https://archive.org/details/sim_mathematics-of-computation_1994-04_62_206/page/931 | journal=Mathematics of Computation | volume=62 | pages=931–939 | 날짜=1994-04 | doi=10.2307/2153551 | jstor=2153551 | issue=206|언어=en }}
* {{서적 인용|last=Browkin |first=Jerzy |chapter=The ''abc''-conjecture  |날짜=2000 |title=Number Theory |series=Trends in Mathematics |location=Basel |publisher=Birkhäuser |isbn=3-7643-6259-6 |pages=75–106 |언어=en}}
* {{저널 인용|last=Stewart |first=Cameron Leigh |공저자=Kunrui Yu |날짜=2001 |title=On the ''abc'' conjecture II |journal=Duke Mathematical Journal |issn=0012-7094 |volume=108 |issue=1 |pages=169–181 |doi=10.1215/S0012-7094-01-10815-6 |zbl=1036.11032 |언어=en}}

== 외부 링크 ==
* {{eom|title=ABC conjecture}}
* {{매스월드| id=abcConjecture | title=abc Conjecture}}

{{전거 통제}}

[[분류:추측]]
[[분류:수론]]
[[분류:수론의 미해결 문제]]