A computer s method of proving the Pythagorean theorem

I don't think it's possible.

First of all, it is important to know that for the time being, the computer is nothing more than a slave to a human being who cannot think. It does not "create" methods, only humans and living beings can create. At present, computers can only operate according to the rules and regulations programmed by human input programs, and are used to achieve the purpose of human beings creating computers to solve problems (such as mass computing, mass statistics, census information analysis and statistical integration).

Second, even if the computer is really created, it must be created by humans and then programmed into the computer, and then the computer says that it was created, and I think it is likely to be hype.

Third, even if computers were to be created, it would be using the great method of factual reasoning. With the supercomputing power of computers, I draw a large number of right-angled triangles, measure them, and conclude that this is really the case.

As everyone knows, great human beings have long argued, and they are absolutely right.

There are many ways to prove the Pythagorean theorem, and there are hundreds of famous methods, some of which I think are already very simple, like a string diagram.

I don't know what basis is there for saying that the computer is the simplest? Is it computationally small, easy to understand, or does it require no creative thinking to prove?

In the past, humans used computers to prove some theories, such as the "four-color theorem", but that was not proved by the computer itself, the computer is just a tool, and every step the computer takes is a human being to let it go. Saying that "inanimate matter can also be creative" means that the whole process does not need human involvement, and the computer can do it on its own. With the current level of AI, I'm afraid it's very difficult.

Jerry. Kagan, huh? I've read his book, it's pure fart, the Pythagorean theorem proving method is all thought up by people, the computer is just involved in the argument, there has never been a computer can invent a certain proof method, his book is all fart.

A cell phone computer can be used to calculate the Pythagorean theorem. The Pythagorean theorem (also known as the Pythagorean theorem) is a theorem that describes the relationship between the three sides of a triangle by stating that in a right triangle, the square of the hypotenuse is equal to the sum of the squares of the two right-angled sides. This theorem can be expressed in mathematical notation, a2 + b2 = c2, where a and b are right-angled side lengths and c is hypotenuse length.

The following is how to use a mobile phone computer to calculate the Pythagorean theorem. First, run the calculator app on your phone, then enter the length of the three sides, press the equal sign, and the calculator will automatically display the value of C2, which is the square of the hypotenuse. If the three edges entered do not satisfy the Pythagorean theorem, the calculator will display a "failure" "error".

Calculating the Pythagorean theorem on a mobile phone computer is very simple, and if you want to know more about the Pythagorean theorem, you can refer to a math book or search engine to find relevant information. As long as you have mastered the basic principles of the Pythagorean theorem, it is easy to calculate the Pythagorean theorem with a mobile phone computer.

1. Substitute the number into the Pythagorean theorem formula Hu Heqi a b c, and first determine which number is given.

2. After the first shot, use the mobile phone trouser calculator to calculate the result, and finally use the prescription to be the result.

Geometry: There are 8 congruent right triangles; Put 4 congruent right-angled triangles (let the right-angled side be a, b, and the hypotenuse side is c), a square with a side length c into a large square, and then put together the other four squares with a side length b and a side length to form another square as shown in the figure

It can be obtained that the side lengths of the two squares are both a+b, so the area is equal, a*a+4*1 2ab=c*c+4*21 2ab; i.e. a*a+b*b=c*c.

The methods of proving the Pythagorean theorem also include the counter-proof method, the inscribed circle proof method for right triangles, the similar triangle proof method, and the Euclid proof.

Here's how to prove the simple Pythagorean theorem:

Make 8 congruent right-angled triangles, let their two right-angled sides be a and b, and the hypotenuse side length is c, and then make three squares with side lengths a, b, and c, and put them together into two squares like in the figure above.

It is found that four right-angled triangles, a square with a side length and a square with a side length b can just form a square with a side length of (a+b); Four right-angled triangles and a square with a side length of c also make up a square with a side length of (a+b).

So it can be seen that the above two large squares are equal in area.

The Pythagorean theorem is a fundamental geometric theorem that states that the sum of the squares of the two right-angled sides of a right-angled triangle is equal to the square of the hypotenuse. In ancient China, the right triangle was called the Pythagorean shape, and the smaller of the right-angled sides was the hook, the other long right-angled side was the strand, and the hypotenuse was the chord, so this theorem was called the Pythagorean theorem, and some people called the Shanggao theorem.

The Pythagorean theorem now has about 500 ways to prove it, making it one of the most provable theorems in mathematics. The Pythagorean theorem is one of the important mathematical theorems discovered and proven by mankind in the early days, one of the most important tools for solving geometric problems with algebraic ideas, and one of the links between numbers and shapes.

In China, Shang Gao during the Shang Dynasty proposed a special case of the Pythagorean theorem of "Pythagorean Three Strands, Four Xuanwu". In the West, the Pythagoreans of ancient Greece in the 6th century BC were the first to propose and prove this theorem, who used the deductive method to prove that the square of the hypotenuse of a right triangle is equal to the sum of the squares of two right angles.

Method 1: This is one of the simplest and most subtle methods of proof, which can be said to be wordless proof with almost no textual explanation. As shown in the picture, on the left is a large square formed by 4 identical right triangles and a small square in the middle.

The area does not change after the graph transformation, and the side length of the large square on the left is the hypotenuse c of the right triangle, and the area is c2; The figure on the right can be divided into two squares, and their side lengths are the two right-angled sides of a right-angled triangle, a and b, respectively, and the area is a2 b2, so a2 b2 c2.

The "chord diagram" on the left in the figure first appeared in 222 A.D. in the Chinese mathematician Zhao Shuang's "Notes on the Pythagorean Square Circle", Zhao Shuang was the first person in the history of mathematics in China to prove the Pythagorean theorem. In August 2002, the International Congress of Mathematicians held in Beijing marked the beginning of a new era of Chinese mathematics.

Proof 2: This solution is probably one of the most interesting proofs of origin, and was proved by the 20th American Sonsuffe (1831-1881) with the following diagram.

This ** is not a mathematician, he has not even studied mathematics. He had only informally taught himself geometry and was fond of fiddling with basic figures, and when he was a member of the House of Representatives, he came up with this ingenious proof, published in the New England Journal of Education in 1876. **The proof of Mr. is as follows:

First of all, the trapezoidal area in the diagram is:

The area of the three triangles that make up the trapezoid is:

Hence the equation as follows:

i.e. a2 b2 c2.

The next two proofs are very simple and easy to understand and are considered the shortest and easiest proofs of all because it takes only a few lines from start to finish. But these proofs rely on the concept of similar triangles, and a lot of groundwork is needed to complete this concept, so I won't go into it here.

Proofs 3: <>

Method 4: This method involves the intersecting string theorem in a circle: m·n p·q (as shown in the left figure), and then looking at the case of ab and cd perpendicular, the intersecting string theorem still holds (as shown in the right figure), so (c a) (c a) b2.

i.e. c2 a2 b2 so, a2 b2 c2.