4 색 추측은 영국에서 제기된 것이다. 1852 년 런던대학을 졸업한 프란시스 거스리 (Francis Guthrie) 가 한 과학연구기관에 와서 지도를 색칠하러 왔을 때 흥미로운 현상을 발견했다 이 결론은 수학적으로 엄격하게 증명할 수 있습니까? 그와 대학에 다니고 있는 동생 그레이스는 한번 해보기로 결심했다. 두 형제가 이 문제를 증명하기 위해 사용한 원고지는 이미 무더기로 쌓여 있지만, 연구 작업은 줄곧 진전이 없었다.
1852, 10 년 10 월 23 일, 그의 남동생은 그의 선생님, 유명한 수학자 드 몰겐에게 이 문제의 증거를 물었다. 모건은 이 문제를 해결할 방법을 찾지 못했기 때문에, 유명한 수학자 해밀턴 경이 조언을 구하는 그의 좋은 친구에게 편지를 썼다. 해밀턴은 몰겐의 편지를 받고 4 색 문제를 논증했다. 하지만 1865 해밀턴이 사망할 때까지 이 문제는 해결되지 않았다.
1872 년 당시 영국에서 가장 유명한 수학자 켈리가 런던 수학회에 정식으로 이 문제를 제기했기 때문에 4 색 추측이 세계 수학계의 관심사가 되었다. 세계의 많은 일류 수학자들이 모두 4 색 추측의 대전에 참가한 적이 있다. 1878 에서 1880 까지 2 년 동안 캄프와 테일러의 유명한 변호사와 수학자 두 명이 각각 4 색 추측을 증명하는 논문을 제출하고 4 색 정리를 증명했다고 발표했다. 모두들 사색 추측이 이때부터 해결되었다고 생각했다.
1 1 년 후, 1890 년 수학자 Hurwood 는 Kemp 의 증명과 자신의 정확한 계산이 잘못되었다고 지적했다. 곧 테일러의 증명도 부정되었다. 나중에 점점 더 많은 수학자들이 이를 위해 머리를 쥐어짜고 있지만, 아무것도 얻지 못했다. 그래서 사람들은 이 겉보기에 간단한 주제가 페르마의 추측에 견줄 만한 문제라는 것을 깨닫기 시작했다. 이전 수학자들의 노력으로 후세 수학자들이 4 색 추측의 신비를 밝혀낼 수 있는 길을 닦았다.
20 세기 이래로 과학자들은 기본적으로 켐프의 생각에 따라 4 색 추측을 증명했다. 19 13 년, boekhoff 는 Kemp 를 기반으로 새로운 기술을 도입했습니다. 미국 수학자 프랭클린은 1939 년에 22 개국 아래의 지도를 4 가지 색상으로 색칠할 수 있음을 증명했습니다. 1950 누군가가 22 개국에서 35 개국으로 진급했다. 1960 에서 39 개국 이하의 지도는 4 가지 색상만으로 채색할 수 있다는 것을 증명했다. 그런 다음 50 개국으로 이동하십시오. 보아하니 이 진도는 여전히 매우 느린 것 같다. 전자컴퓨터가 출현한 후, 계산 속도의 빠른 향상과 인간-기계 대화의 출현으로 4 색 추측의 증명 과정이 크게 빨라졌다. 1976 년 미국 수학자 아펠과 하켄은 미국 일리노이 대학의 두 대의 다른 컴퓨터에서 1200 시간을 들여 1000 억번의 판단을 내렸고, 결국 4 색 정리의 증거를 완성했다. 4 색 추측의 컴퓨터는 세계에서 센세이션을 일으켰다는 것을 증명한다. 그것은 100 년 이상 지속된 난제를 해결했을 뿐만 아니라 수학사에서 일련의 새로운 사상의 출발점이 될 수도 있다. 그러나 많은 수학자들은 컴퓨터가 이룬 성과에 만족하지 않고, 여전히 간단하고 명확한 서면 증명 방법을 찾고 있다.
--
페르마 대정리, 현대세계 3 대 수학 난제 중 하나.
세계가 공인한 대보 뉴욕타임즈는 6 월 24 일 1993 이라는 제목을 게재했다.
수학 문제가 해결되었다는 뉴스에 대해 뉴스 제목은 "오래된 수학 곤경에서 마침내 누군가 전화를 했다" 는 것이다
나는 그것을 발견했다. " 타임스' 제 1 판 개편 문장 한 장에는 긴 머리가 펄럭이고 중세 유럽 가운을 입은 사진도 첨부되어 있다.
남자의 사진. 이 고대인은 프랑스 수학자 피에르 드 페마 (pier de Fermat) 였다
전기는 부록을 참고하세요. 페르마는 17 세기의 가장 뛰어난 수학자 중 한 명으로 수학의 많은 분야에서 큰 성과를 거두었다.
그의 직업은 직업변호사이기 때문에, 그의 수학 조예를 표창하기 위해 세계는 그를' 아마추어 왕자' 라고 부른다
미명, 360 여 년 전 어느 날 페르마는 고대 그리스 수학자 디오펜두스의 책을 읽고 있었다.
나는 수학책을 쓸 때 갑자기 책의 공백에 간단해 보이는 정리를 썼다.
용량은 방정식 x2+y2 =z2 의 양의 정수에 관한 문제이다. N=2 일 때 피타고라스 법칙이라고 합니다.
이 (중국 고대에는 피타고라스 정리라고도 함): x2+y2 =z2, 여기서 Z 는 직각의 빗변을 나타내고 X 와 Y 는 바로 그것이다.
두 가닥, 즉 직각 삼각형의 빗변의 제곱은 두 가닥의 제곱의 합과 같다. 물론, 이 방정식은
정수 솔루션 (실제로 많이 있음) 예: x=3, y=4, z = 5;; X=6, y=8, z =10; X=5, y= 12, z =13 ...
잠깐만요.
페르마는 n>2 가 xn +yn = Zn 을 충족하는 정수 해법을 찾을 수 없다고 주장했다. 예를 들어 방정식 x3 +y3=z3 을 찾을 수 없다.
정수 해법을 구하다.
페르마는 당시 그 이유를 설명하지 않았다. 그는 단지 이 서술을 남겼을 뿐, 그가 이 정리의 증명이 매우 훌륭하다는 것을 발견했다고 말했다.
메서드, 하지만 페이지에 쓸 공간이 부족합니다. 창시자 페르마는 300 이라는 영원한 질문을 남겼습니다.
여러 해 동안 수많은 수학자들이 헛되이 이 문제를 해결하려고 시도했다. 이 페르마는 세기의 난제라고 불리는데, 가장 많다.
후정리는 수학계의 큰 고민이 되어 빨리 해결하기를 갈망한다.
19 세기에 프랑스의 프란시스 수학 연구소는 18 15 년 및 1860 년에 금메달 1 개와 상 2 개를 제공했습니다.
이 난제를 해결한 사람은 누구든 300 프랑을 주지만, 아깝게도 아무도 상을 받지 못한다. 독일의 수학자 울프
셸 (p? Wolfskehl) 은 1908 에 10 만 마크를 제공하여 페르마의 정리가 정확하다는 것을 증명할 수 있는 사람에게 제공한다.
유효 기간은 100 년입니다. 동시에 대공황으로 인해 이 상은 7500 마크까지 평가절하되었습니다.
이것은 여전히 많은 "수학 바보" 를 끌어들입니다.
20 세기 컴퓨터가 발전한 후, 많은 수학자들은 이 정리가 N 이 큰 상황에서 성립되었다는 것을 증명할 수 있다.
1983 년, 컴퓨터 전문가 슬로베니아스키는 컴퓨터 5782 초를 운영하여 N 이 286243- 1 시간 페르마의 정리가 정확하다는 것을 증명했다.
(주 286243- 1 은 천문학적 숫자, 약 25960 자리).
그럼에도 불구하고 수학자들은 아직 보편적인 증거를 찾지 못했다. 그러나, 이 300 여 년 동안 해결되지 않은 수학 난제는 마침내 해결되었다.
네, 이 수학 문제는 영국 수학자 앤드류 와일스가 해결했습니다. 사실 윌리스는
20 세기 30 년 동안 추상 수학의 발전은 이 점을 증명했다.
1950 년대 일본의 수학자 곡산풍 (Yutaka Taniyama) 은 먼저 타원 곡률에 대한 추측을 제기했다가 나중에 다른 수학자에 의해 기록되었다.
무라고로 (muragoro) 는 그것을 발양시켰다. 당시 아무도 이 추측이 페르마의 정리와 무슨 관련이 있는지 생각하지 못했다. 1980 년대, 독일
중국 수학자 프레이는 곡산풍의 추측을 페르마의 정리와 연결시켰는데, 윌리스가 한 일은 바로 이런 연계에 기반을 두고 있다.
곡산풍의 추측을 증명하는 한 가지 형식이 정확하다면, 페르마의 정리도 정확하다. 이 결론은
윌리스 1993 년 6 월 2 1 미국 케임브리지대 뉴턴수학연구소 세미나에서 공식 발표됐다. 이 신문은
보도는 즉시 전체 수학계를 놀라게 했고, 심지어 수학 문벽 밖의 대중도 무한한 관심을 보냈다. 하지만 윌리스의
이 증명서는 즉시 약간의 결함이 발견되어 윌리스와 그의 학생들은 또 14 개월을 들여 그것을 바로잡았다.
그것을 바로 잡으십시오. 1994 년 9 월 19 그들은 마침내 완벽한 방안을 내놓았고 수학의 악몽은 마침내 끝났다. 1997 6
5 월 윌리스는 독일 괴팅겐 대학의 볼프스켈상을 수상했다. 당시 10 만 FAK 는 약 200 만 달러였다.
하지만 윌리스가 그것을 받았을 때, 윌리스는 5 만 달러 정도에 불과했지만, 윌리스는 이미 역사책에 기록되어 영원히 불멸의 존재가 될 것이다. (데이비드 아셀, Northern Exposure (미국 TV 드라마), 전쟁명언)
페르마의 정리가 정확하다는 것을 증명하다
즉, xn+yn = Zn 은 n33 에 대한 양의 정수 솔루션이 없습니다
X4+ y4 = Z4, xp+ yp = ZP (P 는 홀수 소수임) 에 정수 해법이 없다는 것을 증명하기만 하면 됩니다.
--
고드바흐는 현대 세계의 세 가지 주요 수학 문제 중 하나라고 추측했다.
고드바흐는 독일 중학교 교사, 유명한 수학자이다. 그는 1690 년에 태어났고 1725 년에 러시아 과학원원사로 선출되었다. 1742 년, 고드바흐는 6 보다 작지 않은 짝수마다 두 개의 소수 (자기로만 나눌 수 있는 수 있는 수) 의 합계라는 것을 알게 되었다. 예를 들어 6 = 3+3, 12 = 5+7 등이 있습니다. 1742 년 6 월 7 일, 고드바흐는 위대한 이탈리아 수학자 오일러에게 이 문제를 알리기 위해 편지를 썼다. 오일러는 6 월 30 일 그에게 보낸 회신에서 이 추측이 옳다고 생각했지만 증명할 수 없다고 말했다. 이렇게 간단한 문제를 묘사하면 오일러와 같은 최고의 수학자들조차도 증명할 수 없다. 이 추측은 많은 수학자들의 관심을 불러일으켰다. 그들은 3 억 3 천만까지 짝수를 검사하기 시작했는데, 이것은 추측이 정확하다는 것을 보여준다. 그러나 더 큰 숫자에 대해서는 추측이 정확해야 하지만 증명할 수는 없다. 오일러는 죽을 때까지 증명하지 못했다. 그 이후로, 이 유명한 수학 문제는 전 세계 수천 명의 수학자들의 주의를 끌었다. 200 년이 지났는데, 아무도 증명하지 못했다. 고드바흐는 이로 인해 수학 왕관에 오를 수 없는' 명주' 가 되었다고 추측했다. 1920 년대까지 사람들은 그것에 접근하기 시작했다. 1920 년 노르웨이 수학자 부각은 오래된 선별방법으로 모든 짝수가 (99) 로 표현될 수 있다는 결론을 내렸다. 포위망을 좁히는 이 방법은 매우 효과적이어서 과학자들은 (99) 부터 각 숫자의 소수를 점차 줄여 각 숫자가 소수가 될 때까지' 고드바흐' 를 증명했다. 1924, 수학자 라드 마할이 증명했습니다 (7+7); 1932 년 수학자 에스만이 증명했습니다 (6+6). 1938 에서 수학자 Buchstaber 는 (55) 를 증명했고 1940 에서는 (4+4) 를 증명했다. 1956 년 수학자 비노그라도프가 증명했다 (3+3); 1958 에서 중국 수학자 왕원이 증명했다 (23). 이후 우리나라 청년 수학자 진경윤도 고드바흐의 추측에 힘쓰고 있다. 10 년의 고된 연구를 거쳐, 마침내 이전 연구의 기초 위에서 중대한 돌파구를 이룩하고, 먼저 증명하였다 (L 12). 이 시점에서 고드바흐는 마지막 단계 (1+ 1) 에 불과하다고 추측했다. 진경윤의 논문은 1973 년 중국과학원과학회보 제 17 호에 발표됐다. 이 성과는 국제수학계의 관심을 받아 중국의 수론 연구가 세계 선두로 도약하게 되었다. 진경윤의 관련 이론은' 진정리' 라고 불린다. 1996 년 3 월 하순, 진경윤이 수학 왕관의 구슬을 벗으려 할 때, "그는 고드바흐 추측 (1+ 1) 의 휘황찬란한 정상에서 불과 몇 피트 떨어져 있을 때 기진맥진했다