Four-color conjecture (the third of the three major mathematical problems) is one of the three major mathematical problems in the modern world. The four-color conjecture was put forward by Britain. 1852, when Francis guthrie, who graduated from London University, came to a scientific research institute to do map coloring, he found an interesting phenomenon: "It seems that every map can be colored with four colors, which makes countries with the same border painted with different colors." Can this conclusion be strictly proved by mathematical methods? He and his younger brother, Grace, who is in college, are determined to give it a try. The manuscript papers used by the two brothers to prove this problem have been piled up, but the research work has not progressed. 1852, 10 year123 October, his younger brother asked his teacher, the famous mathematician de Morgan, for proof of this problem. Morgan couldn't find a solution to this problem, so he wrote to his good friend, Sir Hamilton, a famous mathematician, for advice. Hamilton demonstrated the four-color problem after receiving Morgan's letter. But until the death of 1865 Hamilton, this problem was not solved. 1872, Kelly, the most famous mathematician in Britain at that time, formally put forward this question to the London Mathematical Society, so the four-color conjecture became a concern of the world mathematical community. Many first-class mathematicians in the world have participated in the great battle of four-color conjecture. During the two years from 1878 to 1880, Kemp and Taylor, two famous lawyers and mathematicians, respectively submitted papers to prove the four-color conjecture and announced that they had proved the four-color theorem. Everyone thought that the four-color conjecture was solved from now on. 1 1 years later, that is, 1890, the mathematician Hurwood pointed out that Kemp's proof and his accurate calculation were wrong. Soon, Taylor's proof was also denied. Later, more and more mathematicians racked their brains for this, but found nothing. Therefore, people began to realize that this seemingly simple topic is actually a difficult problem comparable to Fermat's conjecture: the efforts of previous mathematicians paved the way for later mathematicians to uncover the mystery of the four-color conjecture. Since the 20th century, scientists have basically proved the four-color conjecture according to Kemp's idea. 19 13 years, boekhoff introduced some new skills on the basis of Kemp, and American mathematician Franklin proved in 1939 that maps in 22 countries can be colored in four colors. 1950 someone has been promoted from 22 countries to 35 countries. 1960 proves that maps below 39 countries can be colored with only four colors; And then push it to 50 countries. It seems that this progress is still very slow. After the emergence of electronic computers, the process of proving the four-color conjecture has been greatly accelerated due to the rapid improvement of calculation speed and the emergence of man-machine dialogue. 1976, American mathematicians Appel and Harken spent 1200 hours on two different computers at the University of Illinois in the United States, made 1000 billion judgments, and finally completed the proof of the four-color theorem. The computer proof of the four-color conjecture has caused a sensation in the world. It not only solved a problem that lasted for more than 100 years, but also may become the starting point of a series of new ideas in the history of mathematics. However, many mathematicians are not satisfied with the achievements made by computers, and they are still looking for a simple and clear written proof method. Goldbach conjecture (the second of the three major mathematical problems) is one of the three major mathematical problems in the modern world. Goldbach is a German middle school teacher and a famous mathematician. He was born in 1690, and was elected as an academician of Russian Academy of Sciences in 1725. 1742, Goldbach found in teaching that every even number not less than 6 is the sum of two prime numbers (numbers that can only be divisible by themselves). For example, 6 = 3+3, 12 = 5+7 and so on. 1742 On June 7th, Goldbach wrote to Euler, a great mathematician at that time, and put forward the following conjectures: (a) any >; Even number =6 can be expressed as the sum of two odd prime numbers. (b) Any odd number > 9 can be expressed as the sum of three odd prime numbers. This is the famous Goldbach conjecture. In his reply to him on June 30th, Euler said that he thought this conjecture was correct, but he could not prove it. Describing such a simple problem, even a top mathematician like Euler can't prove it. This conjecture has attracted the attention of many mathematicians. Since Fermat put forward this conjecture, many mathematicians have been trying to conquer it, but they have not succeeded. Of course, some people have done some specific verification work, such as: 6 = 3+3, 8 = 3+5, 10 = 5+5 = 3+7, 12 = 5+7,14 = 7+7 = 3+/kloc. Someone checked the even numbers within 33× 108 and above 6 one by one, and Goldbach conjecture (a) was established. However, the mathematical proof of lattice test needs the efforts of mathematicians. Since then, this famous mathematical problem has attracted the attention of thousands of mathematicians all over the world. 200 years have passed and no one has proved it. Goldbach conjecture has therefore become an unattainable "pearl" in the crown of mathematics. It was not until the 1920s that people began to approach it. 1920, the Norwegian mathematician Bujue proved by an ancient screening method, and reached the conclusion that every even number with larger ratio can be expressed as (99). This method of narrowing the encirclement is very effective, so scientists gradually reduced the number of prime factors in each number from (99) until each number is a prime number, thus proving "Goldbach". At present, the best result is proved by China mathematician Chen Jingrun in 1966, which is called Chen's theorem? "Any large enough even number is the sum of a prime number and a natural number, and the latter is just the product of two prime numbers." This result is often called a big even number and can be expressed as "1+2". Before Chen Jingrun, the progress of even numbers can be expressed as the sum of the products of S prime numbers and T prime numbers (referred to as the "s+t" problem) as follows: 1920, Norwegian Bulun proved "9+9". 1924, Rademacher proved "7+7". 1932, Esterman of England proved "6+6". 1937, Ricei of Italy proved "5+7", "4+9", "3+ 15" and "2+366" successively. 1938, Byxwrao of the Soviet Union proved "5+5". 1940, Byxwrao of the Soviet Union proved "4+4". 1948, Hungary's benevolence and righteousness proved "1+c", where c is the number of nature. 1956, Wang Yuan of China proved "3+4". 1957, China and Wang Yuan successively proved "3+3" and "2+3". 1962, Pan Chengdong of China and Barba of the Soviet Union proved "1+5", and Wang Yuan of China proved "1+4". 1965, Byxwrao and vinogradov Jr of the Soviet Union and Bombieri of Italy proved "1+3". 1966, China Chen Jingrun proved "1+2". Who will finally overcome the problem of "1+ 1"? It is still unpredictable. Fermat's last theorem and its proof (one of the three major mathematical problems) Modern mathematics is like a towering tree, with numerous branches and leaves. There are countless math problems hanging on this vigorous tree. Among them, the four-color map problem, Fermat's last theorem and Goldbach's conjecture are the most dazzling. They are called the three major mathematical problems in modern times. For more than 300 years, Fermat's Last Theorem has made many famous mathematicians in the world exhausted their efforts, and some even spent their whole lives. The mysterious veil of Fermat's Last Theorem was finally unveiled at 1995, which was proved by 43-year-old British mathematician Wells. This is considered as "the greatest mathematical achievement of the 20th century". The origin story of Fermat's last theorem involves two mathematicians separated by 1400 years, one is Diophantine in ancient Greece and the other is Fermat in France. Diophantine activities took place around 250 AD. 1637, Fermat in his thirties was reading the French translation of Diophantine's masterpiece Arithmetic. In his book, he wrote all positive integer solutions of the indefinite equation x2+ y2 =z2 in Latin: "No cube of a number can be divided by the sum of two cubes; The fourth power of any number cannot be divided by the sum of the fourth powers of two numbers. Generally speaking, it is impossible to divide a power higher than a quadratic power by the sum of two powers of the same power. I found a wonderful proof of this judgment, but unfortunately the space here is too small to write. " After Fermat's death, people found this passage written on their eyebrows when sorting out his relics. 1670 His son published Fermat's pagination note, and everyone knows this problem. Later, people called this assertion Fermat's Last Theorem. In mathematical language, it is an equation in the form of xn +yn =zn. When n is greater than 2, there is no positive integer solution. Fermat is an amateur mathematician and is known as the "king of amateur mathematicians". 160 1 year, he was born in a leather merchant's family near Toulouse in southern France. I was educated at home when I was a child. When he grew up, his father sent him to university to study law and became a lawyer after graduation. Member of Toulouse City Council, tel. 1648. He loves mathematics very much and spends all his spare time studying mathematics and physics. Because of his quick thinking, strong memory and indomitable spirit necessary for studying mathematics, he has achieved fruitful results, making him one of the great mathematicians in the17th century. At first, mathematicians tried to rediscover "wonderful proofs" that Fermat had not written, but no one succeeded. Euler, a famous mathematician, proved that equations x3+ y3 =z3 and x4+y4 = z4 cannot have positive integer solutions.

Hope to adopt