Что такое математические ошибки

From Wikipedia, the free encyclopedia

«Invalid proof» redirects here. For any type of invalid proof besides mathematics, see Fallacy.

«0 = 1» redirects here. For the algebraic structure where this equality holds, see Null ring.

In mathematics, certain kinds of mistaken proof are often exhibited, and sometimes collected, as illustrations of a concept called mathematical fallacy. There is a distinction between a simple mistake and a mathematical fallacy in a proof, in that a mistake in a proof leads to an invalid proof while in the best-known examples of mathematical fallacies there is some element of concealment or deception in the presentation of the proof.

For example, the reason why validity fails may be attributed to a division by zero that is hidden by algebraic notation. There is a certain quality of the mathematical fallacy: as typically presented, it leads not only to an absurd result, but does so in a crafty or clever way.[1] Therefore, these fallacies, for pedagogic reasons, usually take the form of spurious proofs of obvious contradictions. Although the proofs are flawed, the errors, usually by design, are comparatively subtle, or designed to show that certain steps are conditional, and are not applicable in the cases that are the exceptions to the rules.

The traditional way of presenting a mathematical fallacy is to give an invalid step of deduction mixed in with valid steps, so that the meaning of fallacy is here slightly different from the logical fallacy. The latter usually applies to a form of argument that does not comply with the valid inference rules of logic, whereas the problematic mathematical step is typically a correct rule applied with a tacit wrong assumption. Beyond pedagogy, the resolution of a fallacy can lead to deeper insights into a subject (e.g., the introduction of Pasch’s axiom of Euclidean geometry,[2] the five colour theorem of graph theory). Pseudaria, an ancient lost book of false proofs, is attributed to Euclid.[3]

Mathematical fallacies exist in many branches of mathematics. In elementary algebra, typical examples may involve a step where division by zero is performed, where a root is incorrectly extracted or, more generally, where different values of a multiple valued function are equated. Well-known fallacies also exist in elementary Euclidean geometry and calculus.[4][5]

Howlers[edit]

{displaystyle {begin{array}{l};;;{dfrac {d}{dx}}{dfrac {1}{x}}\={dfrac {d}{d}}{dfrac {1}{x^{2}}}\={dfrac {d!!!backslash }{d!!!backslash }}{dfrac {1}{x^{2}}}\=-{dfrac {1}{x^{2}}}end{array}}}

Anomalous cancellation in calculus

Examples exist of mathematically correct results derived by incorrect lines of reasoning. Such an argument, however true the conclusion appears to be, is mathematically invalid and is commonly known as a howler. The following is an example of a howler involving anomalous cancellation:

{displaystyle {frac {16}{64}}={frac {16!!!/}{6!!!/4}}={frac {1}{4}}.}

Here, although the conclusion 16/64 = 1/4 is correct, there is a fallacious, invalid cancellation in the middle step.[note 1] Another classical example of a howler is proving the Cayley–Hamilton theorem by simply substituting the scalar variables of the characteristic polynomial by the matrix.

Bogus proofs, calculations, or derivations constructed to produce a correct result in spite of incorrect logic or operations were termed «howlers» by Maxwell.[2] Outside the field of mathematics the term howler has various meanings, generally less specific.

Division by zero[edit]

The division-by-zero fallacy has many variants. The following example uses a disguised division by zero to «prove» that 2 = 1, but can be modified to prove that any number equals any other number.

  1. Let a and b be equal, nonzero quantities
    a=b
  2. Multiply by a
    a^{2}=ab
  3. Subtract b2
    a^{2}-b^{2}=ab-b^{2}
  4. Factor both sides: the left factors as a difference of squares, the right is factored by extracting b from both terms
    (a-b)(a+b)=b(a-b)
  5. Divide out (ab)
    a+b=b
  6. Use the fact that a = b
    b+b=b
  7. Combine like terms on the left
    2b=b
  8. Divide by the non-zero b
    2=1
Q.E.D.[6]

The fallacy is in line 5: the progression from line 4 to line 5 involves division by a − b, which is zero since a = b. Since division by zero is undefined, the argument is invalid.

Analysis[edit]

Mathematical analysis as the mathematical study of change and limits can lead to mathematical fallacies — if the properties of integrals and differentials are ignored. For instance, a naive use of integration by parts can be used to give a false proof that 0 = 1.[7] Letting u = 1/log x and dv = dx/x, we may write:

int {frac {1}{x,log x}},dx=1+int {frac {1}{x,log x}},dx

after which the antiderivatives may be cancelled yielding 0 = 1. The problem is that antiderivatives are only defined up to a constant and shifting them by 1 or indeed any number is allowed. The error really comes to light when we introduce arbitrary integration limits a and b.

{displaystyle int _{a}^{b}{frac {1}{x,log x}},dx=1|_{a}^{b}+int _{a}^{b}{frac {1}{x,log x}},dx=0+int _{a}^{b}{frac {1}{xlog x}},dx=int _{a}^{b}{frac {1}{xlog x}},dx}

Since the difference between two values of a constant function vanishes, the same definite integral appears on both sides of the equation.

Multivalued functions[edit]

Many functions do not have a unique inverse. For instance, while squaring a number gives a unique value, there are two possible square roots of a positive number. The square root is multivalued. One value can be chosen by convention as the principal value; in the case of the square root the non-negative value is the principal value, but there is no guarantee that the square root given as the principal value of the square of a number will be equal to the original number (e.g. the principal square root of the square of −2 is 2). This remains true for nth roots.

Positive and negative roots[edit]

Care must be taken when taking the square root of both sides of an equality. Failing to do so results in a «proof» of[8] 5 = 4.

Proof:

Start from

-20=-20
Write this as

25-45=16-36
Rewrite as

{displaystyle 5^{2}-5times 9=4^{2}-4times 9}
Add 81/4 on both sides:

{displaystyle 5^{2}-5times 9+{frac {81}{4}}=4^{2}-4times 9+{frac {81}{4}}}
These are perfect squares:

{displaystyle left(5-{frac {9}{2}}right)^{2}=left(4-{frac {9}{2}}right)^{2}}
Take the square root of both sides:

{displaystyle 5-{frac {9}{2}}=4-{frac {9}{2}}}
Add 9/2 on both sides:

5=4
Q.E.D.

The fallacy is in the second to last line, where the square root of both sides is taken: a2 = b2 only implies a = b if a and b have the same sign, which is not the case here. In this case, it implies that a = –b, so the equation should read

{displaystyle 5-{frac {9}{2}}=-left(4-{frac {9}{2}}right)}

which, by adding 9/2 on both sides, correctly reduces to 5 = 5.

Another example illustrating the danger of taking the square root of both sides of an equation involves the following fundamental identity[9]

cos ^{2}x=1-sin ^{2}x

which holds as a consequence of the Pythagorean theorem. Then, by taking a square root,

{displaystyle cos x={sqrt {1-sin ^{2}x}}}

Evaluating this when x = π , we get that

{displaystyle -1={sqrt {1-0}}}

or

{displaystyle -1=1}

which is incorrect.

The error in each of these examples fundamentally lies in the fact that any equation of the form

x^{2}=a^{2}

where aneq 0, has two solutions:

x=pm a

and it is essential to check which of these solutions is relevant to the problem at hand.[10] In the above fallacy, the square root that allowed the second equation to be deduced from the first is valid only when cos x is positive. In particular, when x is set to π, the second equation is rendered invalid.

Square roots of negative numbers[edit]

Invalid proofs utilizing powers and roots are often of the following kind:

1={sqrt {1}}={sqrt {(-1)(-1)}}={sqrt {-1}}{sqrt {-1}}=icdot i=-1.

The fallacy is that the rule {displaystyle {sqrt {xy}}={sqrt {x}}{sqrt {y}}} is generally valid only if at least one of x and y is non-negative (when dealing with real numbers), which is not the case here.[11]

Alternatively, imaginary roots are obfuscated in the following:

{displaystyle i={sqrt {-1}}=left(-1right)^{frac {2}{4}}=left(left(-1right)^{2}right)^{frac {1}{4}}=1^{frac {1}{4}}=1}

The error here lies in the third equality, as the rule {displaystyle a^{bc}=(a^{b})^{c}} only holds for positive real a and real b, c.

Complex exponents[edit]

When a number is raised to a complex power, the result is not uniquely defined (see Exponentiation § Failure of power and logarithm identities). If this property is not recognized, then errors such as the following can result:

{displaystyle {begin{aligned}e^{2pi i}&=1\left(e^{2pi i}right)^{i}&=1^{i}\e^{-2pi }&=1\end{aligned}}}

The error here is that the rule of multiplying exponents as when going to the third line does not apply unmodified with complex exponents, even if when putting both sides to the power i only the principal value is chosen. When treated as multivalued functions, both sides produce the same set of values, being {e2πn | n ∈ ℤ}.

Geometry[edit]

Many mathematical fallacies in geometry arise from using an additive equality involving oriented quantities (such as adding vectors along a given line or adding oriented angles in the plane) to a valid identity, but which fixes only the absolute value of (one of) these quantities. This quantity is then incorporated into the equation with the wrong orientation, so as to produce an absurd conclusion. This wrong orientation is usually suggested implicitly by supplying an imprecise diagram of the situation, where relative positions of points or lines are chosen in a way that is actually impossible under the hypotheses of the argument, but non-obviously so.

In general, such a fallacy is easy to expose by drawing a precise picture of the situation, in which some relative positions will be different from those in the provided diagram. In order to avoid such fallacies, a correct geometric argument using addition or subtraction of distances or angles should always prove that quantities are being incorporated with their correct orientation.

Fallacy of the isosceles triangle[edit]

Fallacy of the isosceles triangle2.svg

The fallacy of the isosceles triangle, from (Maxwell 1959, Chapter II, § 1), purports to show that every triangle is isosceles, meaning that two sides of the triangle are congruent. This fallacy was known to Lewis Carroll and may have been discovered by him. It was published in 1899.[12][13]

Given a triangle △ABC, prove that AB = AC:

  1. Draw a line bisecting ∠A.
  2. Draw the perpendicular bisector of segment BC, which bisects BC at a point D.
  3. Let these two lines meet at a point O.
  4. Draw line OR perpendicular to AB, line OQ perpendicular to AC.
  5. Draw lines OB and OC.
  6. By AAS, △RAO ≅ △QAO (∠ORA = ∠OQA = 90°; ∠RAO = ∠QAO; AO = AO (common side)).
  7. By RHS,[note 2] △ROB ≅ △QOC (∠BRO = ∠CQO = 90°; BO = OC (hypotenuse); RO = OQ (leg)).
  8. Thus, AR = AQ, RB = QC, and AB = AR + RB = AQ + QC = AC.

Q.E.D.

As a corollary, one can show that all triangles are equilateral, by showing that AB = BC and AC = BC in the same way.

The error in the proof is the assumption in the diagram that the point O is inside the triangle. In fact, O always lies on the circumcircle of the △ABC (except for isosceles and equilateral triangles where AO and OD coincide). Furthermore, it can be shown that, if AB is longer than AC, then R will lie within AB, while Q will lie outside of AC, and vice versa (in fact, any diagram drawn with sufficiently accurate instruments will verify the above two facts). Because of this, AB is still AR + RB, but AC is actually AQ − QC; and thus the lengths are not necessarily the same.

Proof by induction[edit]

There exist several fallacious proofs by induction in which one of the components, basis case or inductive step, is incorrect. Intuitively, proofs by induction work by arguing that if a statement is true in one case, it is true in the next case, and hence by repeatedly applying this, it can be shown to be true for all cases. The following «proof» shows that all horses are the same colour.[14][note 3]

  1. Let us say that any group of N horses is all of the same colour.
  2. If we remove a horse from the group, we have a group of N − 1 horses of the same colour. If we add another horse, we have another group of N horses. By our previous assumption, all the horses are of the same colour in this new group, since it is a group of N horses.
  3. Thus we have constructed two groups of N horses all of the same colour, with N − 1 horses in common. Since these two groups have some horses in common, the two groups must be of the same colour as each other.
  4. Therefore, combining all the horses used, we have a group of N + 1 horses of the same colour.
  5. Thus if any N horses are all the same colour, any N + 1 horses are the same colour.
  6. This is clearly true for N = 1 (i.e., one horse is a group where all the horses are the same colour). Thus, by induction, N horses are the same colour for any positive integer N, and so all horses are the same colour.

The fallacy in this proof arises in line 3. For N = 1, the two groups of horses have N − 1 = 0 horses in common, and thus are not necessarily the same colour as each other, so the group of N + 1 = 2 horses is not necessarily all of the same colour. The implication «every N horses are of the same colour, then N + 1 horses are of the same colour» works for any N > 1, but fails to be true when N = 1. The basis case is correct, but the induction step has a fundamental flaw.

See also[edit]

  • Anomalous cancellation – Kind of arithmetic error
  • Division by zero – Class of mathematical expression
  • List of incomplete proofs
  • Mathematical coincidence – Coincidence in mathematics
  • Paradox – Statement that apparently contradicts itself
  • Proof by intimidation – Marking an argument as obvious or trivial

Notes[edit]

  1. ^ The same fallacy also applies to the following:

    {displaystyle {begin{aligned}{frac {19}{95}}={frac {19!!!/}{9!!!/5}}&={frac {1}{5}}\{frac {26}{65}}={frac {26!!!/}{6!!!/5}}&={frac {2}{5}}\{frac {49}{98}}={frac {49!!!/}{9!!!/8}}&={frac {4}{8}}={frac {1}{2}}end{aligned}}}

  2. ^ Hypotenuse–leg congruence
  3. ^ George Pólya’s original «proof» was that any n girls have the same colour eyes.

References[edit]

  1. ^ Maxwell 1959, p. 9
  2. ^ a b Maxwell 1959
  3. ^ Heath & Heiberg 1908, Chapter II, §I
  4. ^ Barbeau, Ed (1991). «Fallacies, Flaws, and Flimflam» (PDF). The College Mathematics Journal. 22 (5). ISSN 0746-8342.
  5. ^ «soft question – Best Fake Proofs? (A M.SE April Fools Day collection)». Mathematics Stack Exchange. Retrieved 2019-10-24.
  6. ^ Heuser, Harro (1989), Lehrbuch der Analysis – Teil 1 (6th ed.), Teubner, p. 51, ISBN 978-3-8351-0131-9
  7. ^ Barbeau, Ed (1990), «Fallacies, Flaws and Flimflam #19: Dolt’s Theorem», The College Mathematics Journal, 21 (3): 216–218, doi:10.1080/07468342.1990.11973308
  8. ^ Frohlichstein, Jack (1967). Mathematical Fun, Games and Puzzles (illustrated ed.). Courier Corporation. p. 207. ISBN 0-486-20789-7. Extract of page 207
  9. ^ Maxwell 1959, Chapter VI, §I.1
  10. ^ Maxwell 1959, Chapter VI, §II
  11. ^ Nahin, Paul J. (2010). An Imaginary Tale: The Story of «i«. Princeton University Press. p. 12. ISBN 978-1-4008-3029-9. Extract of page 12
  12. ^ S.D.Collingwood, ed. (1899), The Lewis Carroll Picture Book, Collins, pp. 190–191
  13. ^ Robin Wilson (2008), Lewis Carroll in Numberland, Penguin Books, pp. 169–170, ISBN 978-0-14-101610-8
  14. ^ Pólya, George (1954). Induction and Analogy in Mathematics. Mathematics and plausible reasoning. Vol. 1. Princeton. p. 120.
  • Barbeau, Edward J. (2000), Mathematical fallacies, flaws, and flimflam, MAA Spectrum, Mathematical Association of America, ISBN 978-0-88385-529-4, MR 1725831.
  • Bunch, Bryan (1997), Mathematical fallacies and paradoxes, New York: Dover Publications, ISBN 978-0-486-29664-7, MR 1461270.
  • Heath, Sir Thomas Little; Heiberg, Johan Ludvig (1908), The thirteen books of Euclid’s Elements, Volume 1, The University Press.
  • Maxwell, E. A. (1959), Fallacies in mathematics, Cambridge University Press, ISBN 0-521-05700-0, MR 0099907.

External links[edit]

  • Invalid proofs at Cut-the-knot (including literature references)
  • Classic fallacies with some discussion
  • More invalid proofs from AhaJokes.com
  • Math jokes including an invalid proof

From Wikipedia, the free encyclopedia

«Invalid proof» redirects here. For any type of invalid proof besides mathematics, see Fallacy.

«0 = 1» redirects here. For the algebraic structure where this equality holds, see Null ring.

In mathematics, certain kinds of mistaken proof are often exhibited, and sometimes collected, as illustrations of a concept called mathematical fallacy. There is a distinction between a simple mistake and a mathematical fallacy in a proof, in that a mistake in a proof leads to an invalid proof while in the best-known examples of mathematical fallacies there is some element of concealment or deception in the presentation of the proof.

For example, the reason why validity fails may be attributed to a division by zero that is hidden by algebraic notation. There is a certain quality of the mathematical fallacy: as typically presented, it leads not only to an absurd result, but does so in a crafty or clever way.[1] Therefore, these fallacies, for pedagogic reasons, usually take the form of spurious proofs of obvious contradictions. Although the proofs are flawed, the errors, usually by design, are comparatively subtle, or designed to show that certain steps are conditional, and are not applicable in the cases that are the exceptions to the rules.

The traditional way of presenting a mathematical fallacy is to give an invalid step of deduction mixed in with valid steps, so that the meaning of fallacy is here slightly different from the logical fallacy. The latter usually applies to a form of argument that does not comply with the valid inference rules of logic, whereas the problematic mathematical step is typically a correct rule applied with a tacit wrong assumption. Beyond pedagogy, the resolution of a fallacy can lead to deeper insights into a subject (e.g., the introduction of Pasch’s axiom of Euclidean geometry,[2] the five colour theorem of graph theory). Pseudaria, an ancient lost book of false proofs, is attributed to Euclid.[3]

Mathematical fallacies exist in many branches of mathematics. In elementary algebra, typical examples may involve a step where division by zero is performed, where a root is incorrectly extracted or, more generally, where different values of a multiple valued function are equated. Well-known fallacies also exist in elementary Euclidean geometry and calculus.[4][5]

Howlers[edit]

{displaystyle {begin{array}{l};;;{dfrac {d}{dx}}{dfrac {1}{x}}={dfrac {d}{d}}{dfrac {1}{x^{2}}}={dfrac {d!!!backslash }{d!!!backslash }}{dfrac {1}{x^{2}}}=-{dfrac {1}{x^{2}}}end{array}}}

Anomalous cancellation in calculus

Examples exist of mathematically correct results derived by incorrect lines of reasoning. Such an argument, however true the conclusion appears to be, is mathematically invalid and is commonly known as a howler. The following is an example of a howler involving anomalous cancellation:

{displaystyle {frac {16}{64}}={frac {16!!!/}{6!!!/4}}={frac {1}{4}}.}

Here, although the conclusion 16/64 = 1/4 is correct, there is a fallacious, invalid cancellation in the middle step.[note 1] Another classical example of a howler is proving the Cayley–Hamilton theorem by simply substituting the scalar variables of the characteristic polynomial by the matrix.

Bogus proofs, calculations, or derivations constructed to produce a correct result in spite of incorrect logic or operations were termed «howlers» by Maxwell.[2] Outside the field of mathematics the term howler has various meanings, generally less specific.

Division by zero[edit]

The division-by-zero fallacy has many variants. The following example uses a disguised division by zero to «prove» that 2 = 1, but can be modified to prove that any number equals any other number.

  1. Let a and b be equal, nonzero quantities
    a=b
  2. Multiply by a
    a^{2}=ab
  3. Subtract b2
    a^{2}-b^{2}=ab-b^{2}
  4. Factor both sides: the left factors as a difference of squares, the right is factored by extracting b from both terms
    (a-b)(a+b)=b(a-b)
  5. Divide out (ab)
    a+b=b
  6. Use the fact that a = b
    b+b=b
  7. Combine like terms on the left
    2b=b
  8. Divide by the non-zero b
    2=1
Q.E.D.[6]

The fallacy is in line 5: the progression from line 4 to line 5 involves division by a − b, which is zero since a = b. Since division by zero is undefined, the argument is invalid.

Analysis[edit]

Mathematical analysis as the mathematical study of change and limits can lead to mathematical fallacies — if the properties of integrals and differentials are ignored. For instance, a naive use of integration by parts can be used to give a false proof that 0 = 1.[7] Letting u = 1/log x and dv = dx/x, we may write:

int {frac {1}{x,log x}},dx=1+int {frac {1}{x,log x}},dx

after which the antiderivatives may be cancelled yielding 0 = 1. The problem is that antiderivatives are only defined up to a constant and shifting them by 1 or indeed any number is allowed. The error really comes to light when we introduce arbitrary integration limits a and b.

{displaystyle int _{a}^{b}{frac {1}{x,log x}},dx=1|_{a}^{b}+int _{a}^{b}{frac {1}{x,log x}},dx=0+int _{a}^{b}{frac {1}{xlog x}},dx=int _{a}^{b}{frac {1}{xlog x}},dx}

Since the difference between two values of a constant function vanishes, the same definite integral appears on both sides of the equation.

Multivalued functions[edit]

Many functions do not have a unique inverse. For instance, while squaring a number gives a unique value, there are two possible square roots of a positive number. The square root is multivalued. One value can be chosen by convention as the principal value; in the case of the square root the non-negative value is the principal value, but there is no guarantee that the square root given as the principal value of the square of a number will be equal to the original number (e.g. the principal square root of the square of −2 is 2). This remains true for nth roots.

Positive and negative roots[edit]

Care must be taken when taking the square root of both sides of an equality. Failing to do so results in a «proof» of[8] 5 = 4.

Proof:

Start from

-20=-20
Write this as

25-45=16-36
Rewrite as

{displaystyle 5^{2}-5times 9=4^{2}-4times 9}
Add 81/4 on both sides:

{displaystyle 5^{2}-5times 9+{frac {81}{4}}=4^{2}-4times 9+{frac {81}{4}}}
These are perfect squares:

{displaystyle left(5-{frac {9}{2}}right)^{2}=left(4-{frac {9}{2}}right)^{2}}
Take the square root of both sides:

{displaystyle 5-{frac {9}{2}}=4-{frac {9}{2}}}
Add 9/2 on both sides:

5=4
Q.E.D.

The fallacy is in the second to last line, where the square root of both sides is taken: a2 = b2 only implies a = b if a and b have the same sign, which is not the case here. In this case, it implies that a = –b, so the equation should read

{displaystyle 5-{frac {9}{2}}=-left(4-{frac {9}{2}}right)}

which, by adding 9/2 on both sides, correctly reduces to 5 = 5.

Another example illustrating the danger of taking the square root of both sides of an equation involves the following fundamental identity[9]

cos ^{2}x=1-sin ^{2}x

which holds as a consequence of the Pythagorean theorem. Then, by taking a square root,

{displaystyle cos x={sqrt {1-sin ^{2}x}}}

Evaluating this when x = π , we get that

{displaystyle -1={sqrt {1-0}}}

or

{displaystyle -1=1}

which is incorrect.

The error in each of these examples fundamentally lies in the fact that any equation of the form

x^{2}=a^{2}

where aneq 0, has two solutions:

x=pm a

and it is essential to check which of these solutions is relevant to the problem at hand.[10] In the above fallacy, the square root that allowed the second equation to be deduced from the first is valid only when cos x is positive. In particular, when x is set to π, the second equation is rendered invalid.

Square roots of negative numbers[edit]

Invalid proofs utilizing powers and roots are often of the following kind:

1={sqrt {1}}={sqrt {(-1)(-1)}}={sqrt {-1}}{sqrt {-1}}=icdot i=-1.

The fallacy is that the rule {displaystyle {sqrt {xy}}={sqrt {x}}{sqrt {y}}} is generally valid only if at least one of x and y is non-negative (when dealing with real numbers), which is not the case here.[11]

Alternatively, imaginary roots are obfuscated in the following:

{displaystyle i={sqrt {-1}}=left(-1right)^{frac {2}{4}}=left(left(-1right)^{2}right)^{frac {1}{4}}=1^{frac {1}{4}}=1}

The error here lies in the third equality, as the rule {displaystyle a^{bc}=(a^{b})^{c}} only holds for positive real a and real b, c.

Complex exponents[edit]

When a number is raised to a complex power, the result is not uniquely defined (see Exponentiation § Failure of power and logarithm identities). If this property is not recognized, then errors such as the following can result:

{displaystyle {begin{aligned}e^{2pi i}&=1left(e^{2pi i}right)^{i}&=1^{i}e^{-2pi }&=1end{aligned}}}

The error here is that the rule of multiplying exponents as when going to the third line does not apply unmodified with complex exponents, even if when putting both sides to the power i only the principal value is chosen. When treated as multivalued functions, both sides produce the same set of values, being {e2πn | n ∈ ℤ}.

Geometry[edit]

Many mathematical fallacies in geometry arise from using an additive equality involving oriented quantities (such as adding vectors along a given line or adding oriented angles in the plane) to a valid identity, but which fixes only the absolute value of (one of) these quantities. This quantity is then incorporated into the equation with the wrong orientation, so as to produce an absurd conclusion. This wrong orientation is usually suggested implicitly by supplying an imprecise diagram of the situation, where relative positions of points or lines are chosen in a way that is actually impossible under the hypotheses of the argument, but non-obviously so.

In general, such a fallacy is easy to expose by drawing a precise picture of the situation, in which some relative positions will be different from those in the provided diagram. In order to avoid such fallacies, a correct geometric argument using addition or subtraction of distances or angles should always prove that quantities are being incorporated with their correct orientation.

Fallacy of the isosceles triangle[edit]

Fallacy of the isosceles triangle2.svg

The fallacy of the isosceles triangle, from (Maxwell 1959, Chapter II, § 1), purports to show that every triangle is isosceles, meaning that two sides of the triangle are congruent. This fallacy was known to Lewis Carroll and may have been discovered by him. It was published in 1899.[12][13]

Given a triangle △ABC, prove that AB = AC:

  1. Draw a line bisecting ∠A.
  2. Draw the perpendicular bisector of segment BC, which bisects BC at a point D.
  3. Let these two lines meet at a point O.
  4. Draw line OR perpendicular to AB, line OQ perpendicular to AC.
  5. Draw lines OB and OC.
  6. By AAS, △RAO ≅ △QAO (∠ORA = ∠OQA = 90°; ∠RAO = ∠QAO; AO = AO (common side)).
  7. By RHS,[note 2] △ROB ≅ △QOC (∠BRO = ∠CQO = 90°; BO = OC (hypotenuse); RO = OQ (leg)).
  8. Thus, AR = AQ, RB = QC, and AB = AR + RB = AQ + QC = AC.

Q.E.D.

As a corollary, one can show that all triangles are equilateral, by showing that AB = BC and AC = BC in the same way.

The error in the proof is the assumption in the diagram that the point O is inside the triangle. In fact, O always lies on the circumcircle of the △ABC (except for isosceles and equilateral triangles where AO and OD coincide). Furthermore, it can be shown that, if AB is longer than AC, then R will lie within AB, while Q will lie outside of AC, and vice versa (in fact, any diagram drawn with sufficiently accurate instruments will verify the above two facts). Because of this, AB is still AR + RB, but AC is actually AQ − QC; and thus the lengths are not necessarily the same.

Proof by induction[edit]

There exist several fallacious proofs by induction in which one of the components, basis case or inductive step, is incorrect. Intuitively, proofs by induction work by arguing that if a statement is true in one case, it is true in the next case, and hence by repeatedly applying this, it can be shown to be true for all cases. The following «proof» shows that all horses are the same colour.[14][note 3]

  1. Let us say that any group of N horses is all of the same colour.
  2. If we remove a horse from the group, we have a group of N − 1 horses of the same colour. If we add another horse, we have another group of N horses. By our previous assumption, all the horses are of the same colour in this new group, since it is a group of N horses.
  3. Thus we have constructed two groups of N horses all of the same colour, with N − 1 horses in common. Since these two groups have some horses in common, the two groups must be of the same colour as each other.
  4. Therefore, combining all the horses used, we have a group of N + 1 horses of the same colour.
  5. Thus if any N horses are all the same colour, any N + 1 horses are the same colour.
  6. This is clearly true for N = 1 (i.e. one horse is a group where all the horses are the same colour). Thus, by induction, N horses are the same colour for any positive integer N. i.e. all horses are the same colour.

The fallacy in this proof arises in line 3. For N = 1, the two groups of horses have N − 1 = 0 horses in common, and thus are not necessarily the same colour as each other, so the group of N + 1 = 2 horses is not necessarily all of the same colour. The implication «every N horses are of the same colour, then N + 1 horses are of the same colour» works for any N > 1, but fails to be true when N = 1. The basis case is correct, but the induction step has a fundamental flaw.

See also[edit]

  • Anomalous cancellation – Kind of arithmetic error
  • Division by zero – Class of mathematical expression
  • List of incomplete proofs
  • Mathematical coincidence – Coincidence in mathematics
  • Paradox – Statement that apparently contradicts itself
  • Proof by intimidation – Marking an argument as obvious or trivial

Notes[edit]

  1. ^ The same fallacy also applies to the following:

    {displaystyle {begin{aligned}{frac {19}{95}}={frac {19!!!/}{9!!!/5}}&={frac {1}{5}}{frac {26}{65}}={frac {26!!!/}{6!!!/5}}&={frac {2}{5}}{frac {49}{98}}={frac {49!!!/}{9!!!/8}}&={frac {4}{8}}={frac {1}{2}}end{aligned}}}

  2. ^ Hypotenuse–leg congruence
  3. ^ George Pólya’s original «proof» was that any n girls have the same colour eyes.

References[edit]

  1. ^ Maxwell 1959, p. 9
  2. ^ a b Maxwell 1959
  3. ^ Heath & Heiberg 1908, Chapter II, §I
  4. ^ Barbeau, Ed (1991). «Fallacies, Flaws, and Flimflam» (PDF). The College Mathematics Journal. 22 (5). ISSN 0746-8342.
  5. ^ «soft question – Best Fake Proofs? (A M.SE April Fools Day collection)». Mathematics Stack Exchange. Retrieved 2019-10-24.
  6. ^ Heuser, Harro (1989), Lehrbuch der Analysis – Teil 1 (6th ed.), Teubner, p. 51, ISBN 978-3-8351-0131-9
  7. ^ Barbeau, Ed (1990), «Fallacies, Flaws and Flimflam #19: Dolt’s Theorem», The College Mathematics Journal, 21 (3): 216–218, doi:10.1080/07468342.1990.11973308
  8. ^ Frohlichstein, Jack (1967). Mathematical Fun, Games and Puzzles (illustrated ed.). Courier Corporation. p. 207. ISBN 0-486-20789-7. Extract of page 207
  9. ^ Maxwell 1959, Chapter VI, §I.1
  10. ^ Maxwell 1959, Chapter VI, §II
  11. ^ Nahin, Paul J. (2010). An Imaginary Tale: The Story of «i«. Princeton University Press. p. 12. ISBN 978-1-4008-3029-9. Extract of page 12
  12. ^ S.D.Collingwood, ed. (1899), The Lewis Carroll Picture Book, Collins, pp. 190–191
  13. ^ Robin Wilson (2008), Lewis Carroll in Numberland, Penguin Books, pp. 169–170, ISBN 978-0-14-101610-8
  14. ^ Pólya, George (1954). Induction and Analogy in Mathematics. Mathematics and plausible reasoning. Vol. 1. Princeton. p. 120.
  • Barbeau, Edward J. (2000), Mathematical fallacies, flaws, and flimflam, MAA Spectrum, Mathematical Association of America, ISBN 978-0-88385-529-4, MR 1725831.
  • Bunch, Bryan (1997), Mathematical fallacies and paradoxes, New York: Dover Publications, ISBN 978-0-486-29664-7, MR 1461270.
  • Heath, Sir Thomas Little; Heiberg, Johan Ludvig (1908), The thirteen books of Euclid’s Elements, Volume 1, The University Press.
  • Maxwell, E. A. (1959), Fallacies in mathematics, Cambridge University Press, ISBN 0-521-05700-0, MR 0099907.

External links[edit]

  • Invalid proofs at Cut-the-knot (including literature references)
  • Classic fallacies with some discussion
  • More invalid proofs from AhaJokes.com
  • Math jokes including an invalid proof

From Wikipedia, the free encyclopedia

«Invalid proof» redirects here. For any type of invalid proof besides mathematics, see Fallacy.

«0 = 1» redirects here. For the algebraic structure where this equality holds, see Null ring.

In mathematics, certain kinds of mistaken proof are often exhibited, and sometimes collected, as illustrations of a concept called mathematical fallacy. There is a distinction between a simple mistake and a mathematical fallacy in a proof, in that a mistake in a proof leads to an invalid proof while in the best-known examples of mathematical fallacies there is some element of concealment or deception in the presentation of the proof.

For example, the reason why validity fails may be attributed to a division by zero that is hidden by algebraic notation. There is a certain quality of the mathematical fallacy: as typically presented, it leads not only to an absurd result, but does so in a crafty or clever way.[1] Therefore, these fallacies, for pedagogic reasons, usually take the form of spurious proofs of obvious contradictions. Although the proofs are flawed, the errors, usually by design, are comparatively subtle, or designed to show that certain steps are conditional, and are not applicable in the cases that are the exceptions to the rules.

The traditional way of presenting a mathematical fallacy is to give an invalid step of deduction mixed in with valid steps, so that the meaning of fallacy is here slightly different from the logical fallacy. The latter usually applies to a form of argument that does not comply with the valid inference rules of logic, whereas the problematic mathematical step is typically a correct rule applied with a tacit wrong assumption. Beyond pedagogy, the resolution of a fallacy can lead to deeper insights into a subject (e.g., the introduction of Pasch’s axiom of Euclidean geometry,[2] the five colour theorem of graph theory). Pseudaria, an ancient lost book of false proofs, is attributed to Euclid.[3]

Mathematical fallacies exist in many branches of mathematics. In elementary algebra, typical examples may involve a step where division by zero is performed, where a root is incorrectly extracted or, more generally, where different values of a multiple valued function are equated. Well-known fallacies also exist in elementary Euclidean geometry and calculus.[4][5]

Howlers[edit]

{displaystyle {begin{array}{l};;;{dfrac {d}{dx}}{dfrac {1}{x}}={dfrac {d}{d}}{dfrac {1}{x^{2}}}={dfrac {d!!!backslash }{d!!!backslash }}{dfrac {1}{x^{2}}}=-{dfrac {1}{x^{2}}}end{array}}}

Anomalous cancellation in calculus

Examples exist of mathematically correct results derived by incorrect lines of reasoning. Such an argument, however true the conclusion appears to be, is mathematically invalid and is commonly known as a howler. The following is an example of a howler involving anomalous cancellation:

{displaystyle {frac {16}{64}}={frac {16!!!/}{6!!!/4}}={frac {1}{4}}.}

Here, although the conclusion 16/64 = 1/4 is correct, there is a fallacious, invalid cancellation in the middle step.[note 1] Another classical example of a howler is proving the Cayley–Hamilton theorem by simply substituting the scalar variables of the characteristic polynomial by the matrix.

Bogus proofs, calculations, or derivations constructed to produce a correct result in spite of incorrect logic or operations were termed «howlers» by Maxwell.[2] Outside the field of mathematics the term howler has various meanings, generally less specific.

Division by zero[edit]

The division-by-zero fallacy has many variants. The following example uses a disguised division by zero to «prove» that 2 = 1, but can be modified to prove that any number equals any other number.

  1. Let a and b be equal, nonzero quantities
    a=b
  2. Multiply by a
    a^{2}=ab
  3. Subtract b2
    a^{2}-b^{2}=ab-b^{2}
  4. Factor both sides: the left factors as a difference of squares, the right is factored by extracting b from both terms
    (a-b)(a+b)=b(a-b)
  5. Divide out (ab)
    a+b=b
  6. Use the fact that a = b
    b+b=b
  7. Combine like terms on the left
    2b=b
  8. Divide by the non-zero b
    2=1
Q.E.D.[6]

The fallacy is in line 5: the progression from line 4 to line 5 involves division by a − b, which is zero since a = b. Since division by zero is undefined, the argument is invalid.

Analysis[edit]

Mathematical analysis as the mathematical study of change and limits can lead to mathematical fallacies — if the properties of integrals and differentials are ignored. For instance, a naive use of integration by parts can be used to give a false proof that 0 = 1.[7] Letting u = 1/log x and dv = dx/x, we may write:

int {frac {1}{x,log x}},dx=1+int {frac {1}{x,log x}},dx

after which the antiderivatives may be cancelled yielding 0 = 1. The problem is that antiderivatives are only defined up to a constant and shifting them by 1 or indeed any number is allowed. The error really comes to light when we introduce arbitrary integration limits a and b.

{displaystyle int _{a}^{b}{frac {1}{x,log x}},dx=1|_{a}^{b}+int _{a}^{b}{frac {1}{x,log x}},dx=0+int _{a}^{b}{frac {1}{xlog x}},dx=int _{a}^{b}{frac {1}{xlog x}},dx}

Since the difference between two values of a constant function vanishes, the same definite integral appears on both sides of the equation.

Multivalued functions[edit]

Many functions do not have a unique inverse. For instance, while squaring a number gives a unique value, there are two possible square roots of a positive number. The square root is multivalued. One value can be chosen by convention as the principal value; in the case of the square root the non-negative value is the principal value, but there is no guarantee that the square root given as the principal value of the square of a number will be equal to the original number (e.g. the principal square root of the square of −2 is 2). This remains true for nth roots.

Positive and negative roots[edit]

Care must be taken when taking the square root of both sides of an equality. Failing to do so results in a «proof» of[8] 5 = 4.

Proof:

Start from

-20=-20
Write this as

25-45=16-36
Rewrite as

{displaystyle 5^{2}-5times 9=4^{2}-4times 9}
Add 81/4 on both sides:

{displaystyle 5^{2}-5times 9+{frac {81}{4}}=4^{2}-4times 9+{frac {81}{4}}}
These are perfect squares:

{displaystyle left(5-{frac {9}{2}}right)^{2}=left(4-{frac {9}{2}}right)^{2}}
Take the square root of both sides:

{displaystyle 5-{frac {9}{2}}=4-{frac {9}{2}}}
Add 9/2 on both sides:

5=4
Q.E.D.

The fallacy is in the second to last line, where the square root of both sides is taken: a2 = b2 only implies a = b if a and b have the same sign, which is not the case here. In this case, it implies that a = –b, so the equation should read

{displaystyle 5-{frac {9}{2}}=-left(4-{frac {9}{2}}right)}

which, by adding 9/2 on both sides, correctly reduces to 5 = 5.

Another example illustrating the danger of taking the square root of both sides of an equation involves the following fundamental identity[9]

cos ^{2}x=1-sin ^{2}x

which holds as a consequence of the Pythagorean theorem. Then, by taking a square root,

{displaystyle cos x={sqrt {1-sin ^{2}x}}}

Evaluating this when x = π , we get that

{displaystyle -1={sqrt {1-0}}}

or

{displaystyle -1=1}

which is incorrect.

The error in each of these examples fundamentally lies in the fact that any equation of the form

x^{2}=a^{2}

where aneq 0, has two solutions:

x=pm a

and it is essential to check which of these solutions is relevant to the problem at hand.[10] In the above fallacy, the square root that allowed the second equation to be deduced from the first is valid only when cos x is positive. In particular, when x is set to π, the second equation is rendered invalid.

Square roots of negative numbers[edit]

Invalid proofs utilizing powers and roots are often of the following kind:

1={sqrt {1}}={sqrt {(-1)(-1)}}={sqrt {-1}}{sqrt {-1}}=icdot i=-1.

The fallacy is that the rule {displaystyle {sqrt {xy}}={sqrt {x}}{sqrt {y}}} is generally valid only if at least one of x and y is non-negative (when dealing with real numbers), which is not the case here.[11]

Alternatively, imaginary roots are obfuscated in the following:

{displaystyle i={sqrt {-1}}=left(-1right)^{frac {2}{4}}=left(left(-1right)^{2}right)^{frac {1}{4}}=1^{frac {1}{4}}=1}

The error here lies in the third equality, as the rule {displaystyle a^{bc}=(a^{b})^{c}} only holds for positive real a and real b, c.

Complex exponents[edit]

When a number is raised to a complex power, the result is not uniquely defined (see Exponentiation § Failure of power and logarithm identities). If this property is not recognized, then errors such as the following can result:

{displaystyle {begin{aligned}e^{2pi i}&=1left(e^{2pi i}right)^{i}&=1^{i}e^{-2pi }&=1end{aligned}}}

The error here is that the rule of multiplying exponents as when going to the third line does not apply unmodified with complex exponents, even if when putting both sides to the power i only the principal value is chosen. When treated as multivalued functions, both sides produce the same set of values, being {e2πn | n ∈ ℤ}.

Geometry[edit]

Many mathematical fallacies in geometry arise from using an additive equality involving oriented quantities (such as adding vectors along a given line or adding oriented angles in the plane) to a valid identity, but which fixes only the absolute value of (one of) these quantities. This quantity is then incorporated into the equation with the wrong orientation, so as to produce an absurd conclusion. This wrong orientation is usually suggested implicitly by supplying an imprecise diagram of the situation, where relative positions of points or lines are chosen in a way that is actually impossible under the hypotheses of the argument, but non-obviously so.

In general, such a fallacy is easy to expose by drawing a precise picture of the situation, in which some relative positions will be different from those in the provided diagram. In order to avoid such fallacies, a correct geometric argument using addition or subtraction of distances or angles should always prove that quantities are being incorporated with their correct orientation.

Fallacy of the isosceles triangle[edit]

Fallacy of the isosceles triangle2.svg

The fallacy of the isosceles triangle, from (Maxwell 1959, Chapter II, § 1), purports to show that every triangle is isosceles, meaning that two sides of the triangle are congruent. This fallacy was known to Lewis Carroll and may have been discovered by him. It was published in 1899.[12][13]

Given a triangle △ABC, prove that AB = AC:

  1. Draw a line bisecting ∠A.
  2. Draw the perpendicular bisector of segment BC, which bisects BC at a point D.
  3. Let these two lines meet at a point O.
  4. Draw line OR perpendicular to AB, line OQ perpendicular to AC.
  5. Draw lines OB and OC.
  6. By AAS, △RAO ≅ △QAO (∠ORA = ∠OQA = 90°; ∠RAO = ∠QAO; AO = AO (common side)).
  7. By RHS,[note 2] △ROB ≅ △QOC (∠BRO = ∠CQO = 90°; BO = OC (hypotenuse); RO = OQ (leg)).
  8. Thus, AR = AQ, RB = QC, and AB = AR + RB = AQ + QC = AC.

Q.E.D.

As a corollary, one can show that all triangles are equilateral, by showing that AB = BC and AC = BC in the same way.

The error in the proof is the assumption in the diagram that the point O is inside the triangle. In fact, O always lies on the circumcircle of the △ABC (except for isosceles and equilateral triangles where AO and OD coincide). Furthermore, it can be shown that, if AB is longer than AC, then R will lie within AB, while Q will lie outside of AC, and vice versa (in fact, any diagram drawn with sufficiently accurate instruments will verify the above two facts). Because of this, AB is still AR + RB, but AC is actually AQ − QC; and thus the lengths are not necessarily the same.

Proof by induction[edit]

There exist several fallacious proofs by induction in which one of the components, basis case or inductive step, is incorrect. Intuitively, proofs by induction work by arguing that if a statement is true in one case, it is true in the next case, and hence by repeatedly applying this, it can be shown to be true for all cases. The following «proof» shows that all horses are the same colour.[14][note 3]

  1. Let us say that any group of N horses is all of the same colour.
  2. If we remove a horse from the group, we have a group of N − 1 horses of the same colour. If we add another horse, we have another group of N horses. By our previous assumption, all the horses are of the same colour in this new group, since it is a group of N horses.
  3. Thus we have constructed two groups of N horses all of the same colour, with N − 1 horses in common. Since these two groups have some horses in common, the two groups must be of the same colour as each other.
  4. Therefore, combining all the horses used, we have a group of N + 1 horses of the same colour.
  5. Thus if any N horses are all the same colour, any N + 1 horses are the same colour.
  6. This is clearly true for N = 1 (i.e. one horse is a group where all the horses are the same colour). Thus, by induction, N horses are the same colour for any positive integer N. i.e. all horses are the same colour.

The fallacy in this proof arises in line 3. For N = 1, the two groups of horses have N − 1 = 0 horses in common, and thus are not necessarily the same colour as each other, so the group of N + 1 = 2 horses is not necessarily all of the same colour. The implication «every N horses are of the same colour, then N + 1 horses are of the same colour» works for any N > 1, but fails to be true when N = 1. The basis case is correct, but the induction step has a fundamental flaw.

See also[edit]

  • Anomalous cancellation – Kind of arithmetic error
  • Division by zero – Class of mathematical expression
  • List of incomplete proofs
  • Mathematical coincidence – Coincidence in mathematics
  • Paradox – Statement that apparently contradicts itself
  • Proof by intimidation – Marking an argument as obvious or trivial

Notes[edit]

  1. ^ The same fallacy also applies to the following:

    {displaystyle {begin{aligned}{frac {19}{95}}={frac {19!!!/}{9!!!/5}}&={frac {1}{5}}{frac {26}{65}}={frac {26!!!/}{6!!!/5}}&={frac {2}{5}}{frac {49}{98}}={frac {49!!!/}{9!!!/8}}&={frac {4}{8}}={frac {1}{2}}end{aligned}}}

  2. ^ Hypotenuse–leg congruence
  3. ^ George Pólya’s original «proof» was that any n girls have the same colour eyes.

References[edit]

  1. ^ Maxwell 1959, p. 9
  2. ^ a b Maxwell 1959
  3. ^ Heath & Heiberg 1908, Chapter II, §I
  4. ^ Barbeau, Ed (1991). «Fallacies, Flaws, and Flimflam» (PDF). The College Mathematics Journal. 22 (5). ISSN 0746-8342.
  5. ^ «soft question – Best Fake Proofs? (A M.SE April Fools Day collection)». Mathematics Stack Exchange. Retrieved 2019-10-24.
  6. ^ Heuser, Harro (1989), Lehrbuch der Analysis – Teil 1 (6th ed.), Teubner, p. 51, ISBN 978-3-8351-0131-9
  7. ^ Barbeau, Ed (1990), «Fallacies, Flaws and Flimflam #19: Dolt’s Theorem», The College Mathematics Journal, 21 (3): 216–218, doi:10.1080/07468342.1990.11973308
  8. ^ Frohlichstein, Jack (1967). Mathematical Fun, Games and Puzzles (illustrated ed.). Courier Corporation. p. 207. ISBN 0-486-20789-7. Extract of page 207
  9. ^ Maxwell 1959, Chapter VI, §I.1
  10. ^ Maxwell 1959, Chapter VI, §II
  11. ^ Nahin, Paul J. (2010). An Imaginary Tale: The Story of «i«. Princeton University Press. p. 12. ISBN 978-1-4008-3029-9. Extract of page 12
  12. ^ S.D.Collingwood, ed. (1899), The Lewis Carroll Picture Book, Collins, pp. 190–191
  13. ^ Robin Wilson (2008), Lewis Carroll in Numberland, Penguin Books, pp. 169–170, ISBN 978-0-14-101610-8
  14. ^ Pólya, George (1954). Induction and Analogy in Mathematics. Mathematics and plausible reasoning. Vol. 1. Princeton. p. 120.
  • Barbeau, Edward J. (2000), Mathematical fallacies, flaws, and flimflam, MAA Spectrum, Mathematical Association of America, ISBN 978-0-88385-529-4, MR 1725831.
  • Bunch, Bryan (1997), Mathematical fallacies and paradoxes, New York: Dover Publications, ISBN 978-0-486-29664-7, MR 1461270.
  • Heath, Sir Thomas Little; Heiberg, Johan Ludvig (1908), The thirteen books of Euclid’s Elements, Volume 1, The University Press.
  • Maxwell, E. A. (1959), Fallacies in mathematics, Cambridge University Press, ISBN 0-521-05700-0, MR 0099907.

External links[edit]

  • Invalid proofs at Cut-the-knot (including literature references)
  • Classic fallacies with some discussion
  • More invalid proofs from AhaJokes.com
  • Math jokes including an invalid proof

Дистанционный тур муниципального этапа краевого форума

«Молодежь и наука»

К чему может привести математическая ошибка

Физико-математическая секция

Проектно-исследовательская работа

Архипова Татьяна Викторовна

11.07.2000 г

Муниципальное бюджетное общеобразовательное учреждение «Локшинская средняя общеобразовательная школа»

7 класс

Леонова Ирина Алексеевна

Муниципальное бюджетное общеобразовательное учреждение «Локшинская средняя общеобразовательная школа»

учитель математики

89233222436

shkolalokshino@mail.ru

Аннотация

Архипова Татьяна Викторовна

с.Локшино, МБОУ «Локшинская СОШ», 7 класс

«К чему может привести математическая ошибка»

Руководитель: Леонова Ирина Алексеевна, учитель математики МБОУ «Локшинская СОШ»

Цели работы:

собрать и оформить информацию о последствиях математической ошибки;

показать значимость математической ошибки.

Гипотеза: математическая ошибка может привести как к курьёзным ситуациям, так и к серьёзным проблемам (авариям, катастрофам, разрушениям)

Методы, используемые при исследовании  

  • Изучение источников: литературы, энциклопедий, сайтов в Интернете.
  • Проведение и анализ анкетирования.
  • Наблюдения, сопоставления.
  • Анализ и классификация ошибок в работах учащихся 7 класса.
  • Отбор и классификация материала.
  • Оформление результата

Основные результаты научного исследования 

Нашла своё подтверждение гипотеза: математическая ошибка может привести как к курьёзным ситуациям, так и к серьёзным проблемам (авариям, катастрофам, разрушениям).

Собран, классифицирован и оформлен материал о последствиях математической ошибки. Продемонстрирована значимость математической ошибки.

Основная часть работы.

  1. Введение.

В математических вопросах нельзя пренебрегать даже самыми                         мелкими ошибками.

                                                                                  И. Ньютон.

Актуальность данной проблемы имеет как личный аспект, так и масштабный характер (ошибиться может каждый). Но к чему может привести математическая ошибка – это ключевой вопрос, в котором и хотелось разобраться. Ведь математика касается всех сфер нашей жизни, как частной, так и в масштабе государства.

После опроса одноклассников и анкетирования учащихся 6-8 классов пришла к выводу, что не только я, но и мои ровесники не задумывались над этой проблемой.  Захотелось не только получить ответ на ключевой вопрос, но и поделиться информацией с учащимися школы.

Информацию решено было искать в различных источниках: в математических книгах, справочниках, Интернете.   Исследовать математические ошибки, которые делают одноклассники. Найти примеры ошибок, которые приводили к курьёзным ситуациям. Узнать, что такое софизмы. Историю софизмов. Типы софизмов. Разобрать интересные задачи.

Обратиться в Интернет за информацией  «Были ли случаи, когда математические ошибки повлекли за собой серьёзные проблемы: катастрофы, аварии, разрушения».  

  1. Основное содержание.

Цели работы: 

собрать и оформить информацию о последствиях математической ошибки;

показать значимость математической ошибки.

Гипотеза: математическая ошибка может привести как к курьёзным ситуациям, так и к серьёзным проблемам (авариям, катастрофам, разрушениям)

Методы, используемые при исследовании:

  • изучение источников: литературы, энциклопедий, сайтов в Интернете;
  • наблюдения, сопоставления;
  • анализ и классификация ошибок в работах учащихся 7 класса;
  • отбор и классификация материала;

Основные задачи:

  • провести анкетирование на тему «К чему может привести  математическая ошибка» среди учащихся 6-8 классов;
  • исследовать типичные ошибки одноклассников;  
  • найти примеры ошибок, которые приводили к курьёзным ситуациям;
  • узнать, что такое софизмы, историю софизмов разобрать интересные задачи;
  • найти в Интернете ответ на вопрос: были ли случаи, когда математические ошибки, повлекли за собой серьёзные проблемы: катастрофы, аварии, разрушения.  

Описание хода работы

1). Провела анкетирование среди учащихся 6-8 классов. В анкетировании приняли участие 23 ученика. Было предложено ответить на следующие вопросы:

  1. Как часто на уроках математики вы допускаете ошибки?
  2. Задумывались ли вы о последствиях математической ошибки?
  3. Знакомы ли вам примеры, когда математическая ошибка привела к катастрофе?
  4.  Подумайте и запишите, к чему может привести математическая ошибка?
  5. Знаете ли вы, что такое софизмы?
  6. Хотели бы вы познакомиться с курьёзными случаями математических ошибок?

На вопрос «Как часто на уроках математики вы допускаете ошибки?» ответили «часто» и «почти всегда» — 12 человек. На вопрос «Задумывались ли вы о последствиях математической ошибки?» ответили  «нет»  — 11 человек.

На вопрос «Знакомы ли вам примеры, когда математическая ошибка привела к катастрофе?» ответили «нет» — 15 человек.

На вопрос  «Знаете ли вы, что такое софизмы?» ответили «нет» — все 23 ученика.

На вопрос  «Хотели бы вы познакомиться с курьёзными случаями математических ошибок?» ответили положительно – 8 человек.

Ответы на задание «Подумайте и запишите, к чему может привести математическая ошибка?» были следующие: «от неудовлетворительной оценки за домашнюю работу до аварий на дорогах, столкновений поездов и т.д.», «при строительстве дома допустили ошибку и дом разрушился», «при построении самолёта ошиблись в расчётах и он разбился», «продавец ошибся, и у него недостача», «при полёте самолёта неправильно вычислили запас топлива и это привело к гибели людей».

Анкетирование показало, что школьники не задумываются о последствиях математической ошибки и не знакомы с математическими софизмами.

 2).  Наблюдения на уроках математики и анализ ошибок в тетрадях одноклассников показал, что ошибками могут стать неправильные расчёты, неправильное применение определений, аксиом, теорем, незнание формул, правил. Ряд ошибок одноклассники допускают из-за неразборчивого почерка, неаккуратно выполненного чертежа, по невнимательности. Некоторые ошибки носят курьёзный характер.

         3). Оказалось, что на основе математических ошибок, искусно скрытых, основаны, так называемые, математические софизмы.

Изучив литературу, узнала, что такое софизмы. Разобралась в некоторых из них. Узнала историю. Познакомилась с основными типами софизмов. Выбрала наиболее интересные задания и включила их в работу.

Софизм – доказательство ложного утверждения, причём ошибка в доказательстве искусно замаскирована [1]. Каким бы ни был софизм, он всегда содержит одну или несколько замаскированных ошибок.

Что касается типичных ошибок в софизмах, то они таковы: запрещенные действия, пренебрежение условиями теорем, формул и правил, ошибочный чертеж, опора на ошибочные умозаключения.  

Софистами называли группу древнегреческих философов 4-5 века до н.э., достигших большого искусства в логике. В период падения нравов древнегреческого общества (5 век) появляются так называемые учителя красноречия, которые целью своей деятельности считали и называли приобретение и распространения мудрости, вследствие чего они именовали себя софистами. Известнейший ученый и философ Сократ поначалу был софистом, активно участвовал в спорах и обсуждениях софистов, но вскоре стал критиковать учение софистов и софистику в целом. Такому же примеру последовали и его ученики (Ксенофонт и Платон).          

Примеры софизмов.     

Алгебраический софизм [2].

 Найти двузначное число, обладающее следующими свойствами. Цифра десятков на 4 меньше цифры единиц. Если из числа, записанного теми же цифрами, но в обратном порядке, вычесть искомое число, то получится 27.

Обозначив цифру десятков через х, а цифру единиц — через у, мы легко составим систему уравнений для этой задачи:

х=у-4,

(10у+х)-(10х+у)=27.

Подставим во второе уравнение значение х из первого, найдем:

10у+у-4-(10(у-4)+у)=27, а после преобразований: 36=27.

У нас не определились значения неизвестных, зато мы узнали, что 36=27…

Что это значит? Где ошибка???

Это означает лишь, что двузначного числа, удовлетворяющего поставленным условиям, не существует и что составленные уравнения противоречат один другому. В самом деле: умножив обе части первого уравнения на 9, мы найдем из него:

9у-9х=36,

а из второго (после раскрытия скобок и приведения подобных членов):

9у-9х=27.

Одна и та же величина 9у-9х согласно первому уравнению равна 36, а согласно второму 27. Это, безусловно, невозможно, т.к. 36 не равно 27.

Подобное же недоразумение ожидает решающего следующую систему уравнений:

х2у2=8,

ху=4.

Разделив первое уравнение на второе, получаем:

ху=2, а сопоставляя полученное уравнение со вторым, видим, что

т.е. 4=2. Чисел, удовлетворяющих этой системе  не существует. (Системы уравнений, которые, подобно сейчас рассмотрены, не имеют решений,  называются  несовместными.)

         Логический софизм «Ахиллес никогда не догонит черепаху» [1].

Древнегреческий философ Зенон доказывал, что Ахиллес, один из самых сильных и храбрых героев, осаждавших древнюю Трою, никогда не догонит черепаху, которая, как известно, отличается крайне медленной скоростью передвижения.

Вот примерная схема рассуждений Зенона. Предположим, что Ахиллес и черепаха начинают свое движение одновременно, и Ахиллес стремится догнать черепаху. Примем для определенности, что Ахиллес движется в 10 раз быстрее черепахи, и что их отделяют друг от друга 100 шагов.

Когда Ахиллес пробежит расстояние в 100 шагов, отделяющее его от того места, откуда начала двигаться черепаха, то в этом месте он туже ее не застанет, так как  она пройдет вперед расстояние в 10 шагов. Когда Ахиллес минует и эти 10 шагов, то и там черепахи уже не будет, поскольку она успеет перейти на 1 шаг вперед. Достигнув и этого места, Ахиллес опять не найдет там черепахи, потому что она успеет пройти расстояние, равное 1/10 шага, и снова окажется несколько впереди его. Это рассуждение можно продолжать до бесконечности, и придется признать, что быстроногий  Ахиллес никогда не догонит медленно ползающую черепаху.

Где ошибка???

Рассматриваемый софизм Зенона даже на сегодняшний день далек от своего окончательного разрешения, поэтому здесь я обозначу только некоторые его аспекты.

Сначала определим время t, за которое Ахиллес догонит черепаху. Оно легко находится из уравнения a+vt=wt, где а -расстояние между Ахиллесом и черепахой до начала движения, v и w – скорости черепахи и Ахиллеса соответственно. Это время при принятых в софизме условиях  (v=1 шаг/с и w=10 шагов/с) равно 11, 111111… сек.

Другими словами, примерно через 11, 1 с. Ахиллес догонит черепаху. Подойдем теперь к утверждениям софизма с точки зрения математики, проследим логику Зенона. Предположим, что Ахиллес должен пройти столько же отрезков, сколько их пройдет черепаха. Если черепаха  до момента встречи с Ахиллесом пройдет m отрезков, то Ахиллес должен пройти те же m отрезков плюс еще один отрезок, который разделял их до начала движения. Следовательно, мы приходим к равенству m=m+1, что невозможно. Отсюда следует, что Ахиллес никогда не догонит черепаху!!!

Итак, путь, пройденный Ахиллесом, с одной стороны, состоит из бесконечной последовательности отрезков, которые принимают бесконечный ряд значений, а с другой стороны, эта бесконечная последовательность, очевидно не имеющая конца, все же завершилась, и завершилась она своим пределом, равном сумме геометрической прогрессии.

Трудности, которые возникают при оперировании понятиями непрерывного и бесконечного и столь мастерски вскрываются парадоксами и софизмами Зенона, до сих пор не преодолены, а разрешение противоречий, содержащихся в них, послужило более глубокому осмыслению основ математики.

Геометрический софизм-фокус [3].

На прямоугольном куске картона начерчен прямоугольник с 13 одинаковыми палочками на равном расстоянии друг от друга. Разрезав его пополам и чуть сдвинув обе части, заметим любопытные явление: вместо 13 палочек окажется всего 12. Одна палочка исчезла бесследно. Куда же она подевалась?

Если сопоставить длину палочек на прямоугольниках, то обнаружится, что палочки на втором фото на 1/12 длиннее палочек первого фото. Исчезнувшая 13-я палочка улетучилась не бесследно: она словно растворилась в12 остальных, удлинив каждую из них на 1/12 своей длины.  Геометрическую причину этого понять очень легко. Прямая МN и та прямая, которая проходит через верхние концы всех палочек, образуют угол, стороны которого пересечены рядом параллельных прямых. Из подобия треугольников следует, что прямая MN отсекает от второй палочки 1/12 её длины, от третьей 2/12, от четвертой 3/12 и т.д. Когда же сдвигаются обе части картона, то приставляя отсеченный отрезок каждой палочки (начиная с второй) к нижней части предыдущей. А так как каждый отсеченный отрезок больше предыдущего на1/12, то каждая палочка должна удлиниться на 1/12 своей длины. На глаз это удлинение незаметно, так что исчезновение 13-й палочки на первый взгляд представляется довольно загадочным.

4). Процесс поиска скрытых ошибок в софизмах оказался очень интересным и поучительным. Но в жизни достаточно курьёзных ошибок, которые совершаются неосознанно, большей частью по невнимательности.

В Интернете удалось найти курьёзные случаи математических ошибок. Один пример из рубрики «Математические киноляпы» [7].  Мультфильм “Дональд в Матемагии’’, 1959 г. Геометрические фигурки (прямоугольник, треугольник и круг) дружно сообщают утенку, что “число пи равняется трем целым, один-четыре-один-пять-девять-два-шесть-пять-три-пять-восемь-девять-семь-четыре-семь и так далее…’’ А теперь сравните с правильным значением: 3,14159265358979323…

Ещё один пример: Сериал “Звездный путь’’ Военный суд, 1967 г. Керк говорит, что компьютер может усилить звук в число раз, равное “единице в сороковой степени’’ (one to the fourth power), а это равно единице.

5). Через Интернет я узнала о фактах, приводящих и к негативным последствиям из-за математических просчётов. Интернет пестрит заголовками: «Маленькие математические ошибки мирового масштаба», «К аварии привела  математическая ошибка», «Простые математические ошибки – причины разрушений и человеческих жертв».   Некоторые подробности:  РИА новости [5]  сообщает: «К неудачному запуску трех спутников системы ГЛОНАСС могла привести математическая ошибка в программе, заложенной в бортовой комплекс ракеты-носителя. Сейчас ее эксперты занимаются выяснением всех обстоятельств аварии. По некоторым данным, ракета-носитель «Протон-М» после запуска отклонилась от заданной траектории на восемь градусов. Дмитрий Медведев  поручил найти виновных в утрате спутников и проверить расходование средств на выполнение программы создания отечественной навигационной группировки».

Особый интерес представляет информация под заголовком «Шесть маленьких математических ошибок, обернувшихся чудовищными катастрофами» [6].  Эта статья адресована школьникам с подробным  описанием математических ошибок, которые привели к катастрофам. 

Приведу два примера: «Это был ультрасовременный реактивный пассажирский самолёт с уникальными для того времени техническими характеристиками и герметичной кабиной. К сожалению,  в 1954-м две «Кометы» развалились прямо в полёте, угробив в общей сложности 56 человек. Причина до смешного проста: квадратные иллюминаторы».  

«Угол взлетно-посадочной полосы становится причиной крушения истребителей» —   сообщает РИА Новости [5]. «Не надо быть пилотом, чтобы понять – посадить самолёт на авианосец чрезвычайно сложно… Но была еще одна проблема… (угол взлетно-посадочной полосы был равен 0º )». Как удалось исправить ситуацию? «…отвернули посадочную полосу примерно на 9º». Эта инновация позволила обезопасить приземление.

И ещё один пример математической ошибки, который захотелось разобрать подробнее [6]: Мост Такома-Нэрроуз разрушился из-за того, что был слишком цельным. Мост Такома-Нэрроуз (Один из крупнейших в США висячих мостов;  прим. mixednews) считался чудом инженерной мысли, пока не рухнул в пролив  Такома-Нэрроуз.   Причина случившегося до смешного проста: мост был слишком цельным, без полостей. Вы замечали, какими хрупкими выглядят самые большие мосты? Они буквально просвечиваются. Если вы думаете, что это делается для красоты или экономии металла, вы глубоко заблуждаетесь. Настоящее предназначение всего этого ажура – пропускать воздух. Вы можете укрепить мост как угодно прочно – и он всё равно будет раскачиваться на ветру. Этого нельзя не учитывать. Проектировщики моста через пролив Такома решили не забивать себе голову подобной ерундой.  Они решили, что для ветра тут и без того достаточно места.   Они ошибались. С самого начала было ясно – с мостом что-то не так. Как только поднимался ветер,  полотно начинало  изгибаться, трястись и выручиваться, за что ещё во время возведения  мост получил в народе прозвище «Галопирующая Герти». В один прекрасный день частота колебаний ветрового потока совпала с собственной частотой колебаний конструкций моста. Центральный пролет моста затрепетал, как осенний лист, забился в конвульсиях и рухнул.        

Строительство нового моста завершилось только в 1943-м. На этот раз в конструкцию были введены открытые фермы, стойки жёсткости, деформационные швы и системы гашения вибраций.  

 Все приведённые выше примеры заставляют задуматься над тем, что фактов, когда математическая ошибка ведет к серьёзным авариям, катастрофам, разрушениям значительно больше, чем можно было себе представить.

  1. Заключение.

Основные результаты исследования.  

Собран и оформлен материал о последствиях математической ошибки. Продемонстрирована значимость математической ошибки.

Нашла своё подтверждение гипотеза: математическая ошибка может привести не только к курьёзным ситуациям, но и к серьёзным проблемам (авариям, катастрофам, разрушениям).

В ходе работы над темой научилась разбирать математические ошибки, поняла, что поиск ошибок – очень полезное занятие. Поиск ошибок приучает  внимательно и настороженно продвигаться вперед, тщательно следить за точностью формулировок, правильностью записи чертежей, за законностью математических операций.  Если нашел ошибку, значит, ты ее осознал, а осознание ошибки предупреждает от ее повторения в дальнейших математических рассуждениях.  

Главный вывод исследования: последствия даже маленьких математических ошибок могут быть непредсказуемыми. Необходимо помнить об этом каждому и учиться находить и своевременно исправлять свои ошибки. Взять себе за правило: не позволять себе  допускать даже самых незначительных математических ошибок.  

Список литературы

  1. А.П.Савин Энциклопедический словарь юного математика – М.: Педагогика, 1989.-352 с.
  2. Я.И.Перельман Занимательная алгебра – Москва: Государственное издательство физико-математической литературы, 1959.- 184 с.
  3. Е.И.Игнатьев В царстве смекалки – Москва: Наука, 1984.- 192 с.
  4. М.Гарднер Математические чудеса и тайны — Москва: Наука, 1982.- 128 с.

Источники, представленные в Internet:

  1. РИА Новости  (RIA.RU).
  2. http://mixednews.ru/archives/15234
  3. http://hijos.ru/2011/11/06/matematicheskie-kinolyapy/

Математическая ошибка

Cтраница 1

Математическая ошибка, допущенная при обработке результатов анализа, обесценивает всю работу, на которую часто расходуется много труда и време-ни. Поэтому аналитик должен правильно и аккуратно выполнять расчеты, помня, что ошибка в расчете равноценна ошибке в анализе.
 [1]

Математическая ошибка, допущенная при обработке результатов анализа, обесценивает всю работу, на которую часто расходуется много труда и времени. По — этому аналитик должен правильно и аккуратно выполнять расчеты, помня, что ошибка в расчете равноценна ошибке в анализе.
 [2]

Однако математическая ошибка, допущенная в работе, свела на нет полученные результаты.
 [3]

Существенные ошибки могут возникнуть в результате математических ошибок, ошибок в применении учетной политики, неверного истолкования фактов, обмана или оплошности. Корректировка этих ошибок должна включаться в определение прибыли или убытка за отчетный период.
 [4]

Мне кажется, что в некоторых пунктах он впал в математические ошибки и, разумеется, что конечный результат не является исчерпывающим выражением взаимодействия между реальными молекулами; но он так талантливо и смело взялся за этот трудный вопрос, что его исследование даст, вероятно, заметный толчок развитию учения о молекулярном строении тел. Несомненно, эта диссертация заставила многих исследователей изучить голландский язык, на котором она написана.
 [5]

Является ли статья технически безупречной, то есть не содержащей технических или математических ошибок или других несообразностей.
 [6]

Математическая ошибка, допущенная при обработке результатов анализа, обесценивает всю работу, на которую часто расходуется много труда и времени. Поэтому аналитик должен правильно и аккуратно выполнять расчеты, помня, что ошибка в расчете равноценна ошибке в анализе.
 [7]

Арно ( соавтор Пор-Рояля логики. Гюйгенс вместе со мной заметил, что обычно математические ошибки, называемые паралогизмами, вызываются неряшливостью формы. И, конечно, не пустяк то, что Аристотель вывел для этих форм строгие законы и тем самым оказался первым, кто вне математики писал MaTeMaTH4ecKii ( Fragmente…
 [8]

Эти замечания не означают, что инженер может позволить себе пренебрегать математической строгостью. Инженер, который получает неверные результаты благодаря математическим ошибкам, плохой инженер. Он должен рассматривать строгость не как вещь в себе, а как средство избежать подобные ошибки.
 [9]

Какую бы высокую квалификацию ни имел аналитик и насколько бы точно он ни работал, математическая ошибка, допущенная в вычислениях, сделает бессмысленной всю выполненную, может быть, очень длительную работу. Поэтому техник-аналитик должен помнить, что ошибка в расчете равносильна ошибке в анализе.
 [10]

Внутреннее сопротивление вольтметра 1Мом, установленное по умолчанию, в большинстве случаев оказывает пренебрежимо малое влияние на работу схемы. Его значение можно изменить, однако использование вольтметра с очень высоким внутренним сопротивлением в схемах с низким выходным импедансом может привести к математической ошибке во время моделирования работы схемы.
 [11]

Внутреннее сопротивление амперметра 1 мОм ( миллиОм), устанавливаемое по умолчанию, в большинстве случаев оказывает пренебрежимо малое влияние на работу схемы. Можно снизить это сопротивление, однако использование амперметра с очень низким сопротивлением в схемах с высоким выходным импедансом ( относительно выводов амперметра) может привести к математической ошибке во время моделирования работы схемы.
 [12]

Пейпет обобщил формулу Телкес на случай произвольной связи между Re и R и предпринял попытку ее исследования. Однако Пей-пету не удалось получить не только формулы Альтенкирха ( как это должно было бы быть), но даже правильного условия максимума т, так как в процессе исследования им была допущена грубая математическая ошибка.
 [13]

В пяти структурах из числа приведенных в табл. 1 — 2 в местах V обнаружена повышенная электронная плотность, которую почти с полной уверенностью можно приписать катионам, находящимся в центрах гидратных комплексов и не плавающим в объеме полостей. В нескольких типах структур катионы, очевидно, занимают места I. В последних двух структурах заполнение этих мест не катионами, а кислородом почти наверняка является результатом математической ошибки.
 [14]

Внутреннее правдоподобие может уменьшаться в связи с появлением ошибок чисто математического характера. Эти ошибки могут быть весьма разнообразными. Прикладное математическое исследование не может и не должно по своей строгости находиться на уровне чистой математики, однако это не значит, что исследователь можег допускать математические ошибки, приводящие к заведомо неверным результатам. Важно предотвратить математические ошибки, которые могут возникать из-за недостаточной разработанности аспектов приложений той или иной области математики к конкретным задачам. Условия возможности применяемых упрощений при этом оказываются недостаточно ясными. В результате может получиться, что исследователь приходит к неправильному решению, полагая, что он упрощает или даже уточняет его.
 [15]

Страницы:  

   1

   2


Это была одна из тех досадных мелочей, которые легко упустить при проектировании; но как только что-нибудь происходит, они становятся очевидны даже ребёнку.

Вот плитка шоколада. Как вы думаете, в каком месте она переломится, если на неё надавить?

Правильно, вдоль этих выемок.

Так вот, квадратное окно состоит из четырех 90-градусных выемок, а стало быть, у него есть четыре слабых места. Если бы на ваш дом надавили, то трещина непременно прошла бы через угол какого-нибудь окна:

Вы замечали, что иллюминаторы во всех самолётах круглые? Это делается не для красоты — круглая форма не позволяет разорвать самолёт на куски. Давление распределяется по всей кривой, вместо того, чтобы идти трещинами по углам (как выяснилось) и разрывать самолёт в клочья.

Поверьте, выяснить это было нелегко. Эксперты понятия не имели, почему конструкция самолёта разваливается, пока не протестировали структуру путём многократной симуляции давления на кабину. Конечно же, фюзеляж, в конце концов, лопнул, и разрыв начинался как раз с этих пресловутых углов.

С тех пор иллюминаторы у всех самолётов только круглые.

2. Угол взлётно-посадочной полосы становится причиной крушения истребителей

Не надо быть пилотом, чтобы понять — посадить самолёт на авианосец чрезвычайно сложно. Эта взлетно-посадочная полоса в миниатюре, напичканная другими самолётами, вдобавок ещё и качается на волнах.

Но была и ещё одна проблема… До смешного простая.

Первые авианосцы выглядели вот так:

Плавающая взлетно-посадочная полоса. Какой ещё она может быть?
С одной стороны — самолёты, ожидающие взлёта, с другой стороны пытаетесь приземлиться вы. Если не остановитесь вовремя — будет один большой клубок адского пламени. А остановиться вовремя, это вам не баран покашлял — поимка тормозного троса требовала серьёзного навыка. В итоге авианосцы пошли по мультяшной логике и установили сети, которые могли бы останавливать самолёты, не поймавшие тормозной трос. Тем не менее, прозевавшие тормозной трос самолёты иногда умудрялись перескакивать даже через сеть.

И какой была блестящая инновация, позволившая намного более обезопасить приземление?

Они отвернули посадочную полосу примерно на 9 градусов. Всего-то делов!

Но с кривым углом самолёт, который не поймал трос, мог дать полный газ, снова пойти на взлёт, и совершить ещё одну попытку. А другие самолёты спокойно ждали вне ВПП от греха подальше.

3. Огромная галерея обвалилась из-за (казалось бы) несущественного изменения дизайна

Хозяева Hyatt Regency — нового отеля в Канзас Сити, мечтали, чтобы всё у них было со всякими сопелками и свистелками. Архитектурная фирма, ответственная за дизайн здания, выступила с предложением сделать несколько галерей, которые крепились бы к потолку. Задумка была очень изящной. Вот только её воплощение привело к гибели более ста человек.

Недостаток проекта был прост до смешного: один длинный стержень был заменен на два коротких.

Если и есть принцип, одинаковый для всех человеческих существ, так это то, что мы всегда предпочитаем путь наименьшего сопротивления. Первоначальный план заключался в том, чтобы расположить две галереи одна над другой, причём обе должны были поддерживаться одним длинным стержнем, прикреплённым к потолку. Вот так:

Выглядит довольно просто, не так ли? Вся конструкция висит на одном длинном стержне, что делает её настолько же прочной, насколько и сложной для сборки — стержень должен проходить сквозь обе галереи.

Штука в том, что с большими деталями сложно управляться — затащить в дом стол гораздо легче в разобранном виде. Кроме того, у стержня должна быть резьба по всей длине — чтобы можно было закрутить гайку до верхней галереи.

Сталелитейная компания, ответственная за изготовление стержня, внесла в конструкцию одно небольшое изменение — заменила один длинный стержень двумя короткими. Вот так:

Это небольшое изменение убило 114 человек, покалечило 216 и обошлось компании в 140 миллионов долларов по судебным искам.

Один стержень, две гайки. Каждая гайка должна была нести вес только своей собственной платформы. Что есть хорошо, потому что каждая гайка (и сварная балка, к которой она прикручивается) может выдержать вес только одной галереи.

После изменения дизайна получилось, что верхняя гайка должна была нести вес двух галерей. Трагедия была неминуема. Однако, несмотря на очевидность, никто из инженеров и профессионалов-строителей этой ошибки так и не заметил.

И вот, однажды ночью во время конкурса танцев несущая гайка не выдержала, и обе галереи рухнули.

В ходе последующих судебных разбирательств выяснилось, что ни сталелитейная компания, ни инженерные фирмы, отвечающие за строительство, не потрудились даже сделать расчёт, который показал бы этот вопиющий изъян.

4. Причиной гибели нескольких сот человек стали дверные петли ночного клуба

В Бостоне тридцатых-сороковых самым модным местом был ночной клуб Cocoanut Grove. Там всегда кипела жизнь, собирались местные знаменитости. Ну и, естественно, частенько было не протолкнуться. Иногда народу собиралось чуть не вдвое больше официальной вместимости заведения, которая составляла 460 человек.

Ни хозяев, ни посетителей это не смущало. До 1942 года, когда при пожаре погибло 492 человека.

Парадокс в том, что виновником большинства смертей стал совсем не огонь, а… дверные петли.

Причина до смешного проста:

Помощник официанта в потёмках не мог найти электрическую розетку. Чтобы оглядеться, он зажег спичку и случайно подпалил какую-то легковоспламеняющуюся деталь интерьера. Парень не успел и глазом моргнуть, как огонь перекинулся на яркие декорации, имитирующие тропический лес, и вскоре весь клуб оказался в дыму и пламени. Всё произошло так молниеносно, что тела некоторых жертв так и нашли потом сидящими со стаканами в руках.

Среди многочисленных нарушений техники безопасности — начиная от количества посетителей до использования сухой хвои в оформлении клуба — был один фатальный недостаток, о котором никто даже и подумать не мог: все двери заведения открывались внутрь.

Пожарные подсчитали, что если бы двери открывались наружу, список жертв сократился бы на триста имён.

5. Мост Такома-Нэрроуз разрушился из-за того, что был слишком цельным

Мост Такома-Нэрроуз (один из крупнейших в США висячих мостов) считался чудом инженерной мысли, пока не рухнул в пролив Такома-Нэрроуз, погубив оставленную в машине собаку. Её хозяин благополучно добежал до безопасного места (при этом предусмотрительно захватив с собой камеру, с помощью которой снял уникальные, сенсационные кадры).

Теперь будущим физикам и инженерам на примере этого моста объясняют, как не надо делать.

Причина случившегося до смешного проста: мост был слишком цельным, без полостей.

Вы замечали, какими хрупкими выглядят самые большие мосты? Они буквально просвечиваются:

Если вы думаете, что это делается для красоты или экономии металла, вы глубоко заблуждаетесь. Настоящее предназначение всего этого ажура — пропускать воздух.

Вы можете укрепить мост как угодно прочно — и он всё равно будет раскачиваться на ветру. Этого нельзя не учитывать.

Проектировщики моста через пролив Такома решили не забивать себе голову подобной ерундой. Они решили, что для ветра тут и без того достаточно места:

Они ошибались

С самого начала было ясно — с мостом что-то не так. Как только поднимался ветер, полотно начинало изгибаться, трястись и выручиваться, за что ещё во время возведения мост получил в народе прозвище «Галопирующая Герти».

В один прекрасный день частота колебаний ветрового потока совпала с собственной частотой колебаний конструкций моста. Центральный пролет моста затрепетал, как осенний лист, забился в конвульсиях и рухнул в пролив.

Строительство нового моста завершилось только в 1943-м. На этот раз в конструкцию были введены открытые фермы, стойки жёсткости, деформационные швы и системы гашения вибраций.

Вот как это выглядит сейчас:

6. Титаник затонул оттого, что центральный винт не мог менять направление движения

Теорий о том, как можно было предотвратить гибель Титаника — уйма. Одни считают, что айсберг надо было таранить в лоб, а не обходить, другие — что не стоило гневить Бога хвастливыми заявлениями о непотопляемости корабля…

Креатив креативом, но большинство критиков всё же грешат на недостаточное внимание, которое создатели Титаника уделили мерам безопасности.

Истинная причина трагедии оказалась до смешного простой: центральный винт рулевого механизма не мог менять направление движения.

На Титанике было установлено три винта. Два наружных, которые приводились в движение поршневыми двигателями, и центральный — управляемый паровой турбиной.

У паровых турбин по сравнению с их поршневыми аналогами есть существенное преимущество — сочетание меньшего размера и большей эффективности. Но есть и недостаток — они могут вращаться только в одну сторону. Пар не может менять направление, а значит и вал, приводимый в движение паром, будет крутиться только в одну сторону.

Поэтому, когда старший помощник капитана по фамилии Мэрдок попытался дать «полный назад» чтобы избежать столкновения с айсбергом, внешние винты завертелась в обратную сторону, в то время как центральный просто остановился.

Тем не менее, центральный винт находился непосредственно перед рулевым пером. После его отключения на рулевое перо стало попадать меньше воды, отчего управлять судном стало крайне трудно.

Если бы центральный винт, в случае необходимости, мог дать задний ход, и не мешал управлять движением судна (или если бы они вообще не давали задний ход), то вполне возможно, что Титаник вообще не задел бы айсберг, и жизни 1514 человек и восьми собак оказались бы вне опасности…

Материал из MachineLearning.

Перейти к: навигация, поиск

Содержание

  • 1 Введение
    • 1.1 Постановка вопроса. Виды погрешностей
  • 2 Виды мер точности
  • 3 Предельные погрешности
  • 4 Погрешности округлений при представлении чисел в компьютере
  • 5 Погрешности арифметических операций
  • 6 Погрешности вычисления функций
  • 7 Числовые примеры
  • 8 Список литературы
  • 9 См. также

Введение

Постановка вопроса. Виды погрешностей

Процесс исследования исходного объекта методом математического моделирования и вычислительного эксперимента неизбежно носит приближенный характер, так как на каждом этапе вносятся погрешности. Построение математической модели связано с упрощением исходного явления, недостаточно точным заданием коэффициентов уравнения и других входных данных. По отношению к численному методу, реализующему данную математическую модель, указанные погрешности являются неустранимыми, поскольку они неизбежны в рамках данной модели.

При переходе от математической модели к численному методу возникают погрешности, называемые погрешностями метода. Они связаны с тем, что всякий численный метод воспроизводит исходную математическую модель приближенно. Наиболее типичными погрешностями метода являются погрешность дискретизации и погрешность округления.
При построении численного метода в качестве аналога исходной математической задачи обычно рассматривается её дискретная модель. Разность решений дискретизированной задачи и исходной называется погрешностью дискретизации. Обычно дискретная модель зависит от некоторого параметра (или их множества) дискретизации, при стремлении которого к нулю должна стремиться к нулю и погрешность дискретизации.
Дискретная модель представляет собой систему большого числа алгебраических уравнений. Для её решения используется тот или иной численный алгоритм. Входные данные этой системы, а именно коэффициенты и правые части, задаются в ЭВМ не точно, а с округлением. В процессе работы алгоритма погрешности округления обычно накапливаются, и в результате, решение, полученное на ЭВМ, будет отличаться от точного решения дискретизированной задачи. Результирующая погрешность называется погрешностью округления (вычислительной погрешностью). Величина этой погрешности определяется двумя факторами: точностью представления вещественных чисел в ЭВМ и чувствительностью данного алгоритма к погрешностям округления.

Итак, следует различать погрешности модели, дискретизации и округления. В вопросе преобладания какой-либо погрешности ответ неоднозначен. В общем случае нужно стремиться, чтобы все погрешности имели один и тот же порядок. Например, нецелесообразно пользоваться разностными схемами, имеющими точность 10−6, если коэффициенты исходных уравнений задаются с точностью 10−2.

Виды мер точности

Мерой точности вычислений являются абсолютные и относительные погрешности. Абсолютная погрешность определяется формулой

Delta(tilde a)=|tilde a-a|,

где tilde a – приближение к точному значению a.
Относительная погрешность определяется формулой

delta(tilde a)=frac{|tilde a-a|}{a}.

Относительная погрешность часто выражается в процентах. Абсолютная и относительная погрешности тесно связаны с понятием верных значащих цифр. Значащими цифрами числа называют все цифры в его записи, начиная с первой ненулевой цифры слева. Например, число 0,000129 имеет три значащих цифры. Значащая цифра называется верной, если абсолютная погрешность числа не превышает половины веса разряда, соответствующего этой цифре. Например, tilde a=9348, абсолютная погрешность Delta(tilde a)=15. Записывая число в виде

9348=9cdot10^3+3cdot10^2+4cdot10^1+8cdot10^0,

имеем 0,5cdot10^1<Delta(tilde a)<0,5cdot10^2, следовательно, число имеет две верных значащих цифр (9 и 3).

В общем случае абсолютная погрешность должна удовлетворять следующему неравенству:

Delta(tilde a)<0,5cdot10^{m-n+1} ,

где m — порядок (вес) старшей цифры, n — количество верных значащих цифр.
В рассматриваемом примере Delta(tilde a)le0,5cdot10^{3-2+1}le0,5cdot10^2=50.

Относительная погрешность связана с количеством верных цифр приближенного числа соотношением:

delta(tilde a)lefrac{Delta(tilde a)}{alpha_m}10^mlefrac{10^{m-n+1}}{alpha_m10^m}lefrac{1}{alpha_m10^{n-1}},

где alpha_m — старшая значащая цифра числа.

Для двоичного представления чисел имеем delta(tilde a)le2^{-n}.

Тот факт, что число tilde a является приближенным значением числа a с абсолютной погрешностью Delta(tilde a), записывают в виде

a=tilde apmDelta(tilde a),

причем числа tilde a и Delta(tilde a) записываются с одинаковым количеством знаков после запятой, например, a=2,347pm0,002 или a=2,347pm2cdot10^{-3}.

Запись вида

a=tilde a(1pmdelta(tilde a))

означает, что число tilde a является приближенным значение числа a с относительной погрешностью delta(tilde a).

Так как точное решение задачи как правило неизвестно, то погрешности приходится оценивать через исходные данные и особенности алгоритма. Если оценка может быть вычислена до решения задачи, то она называется априорной. Если оценка вычисляется после получения приближенного решения задачи, то она называется апостериорной.

Очень часто степень точности решения задачи характеризуется некоторыми косвенными вспомогательными величинами. Например точность решения системы алгебраических уравнений

AX=F

характеризуется невязкой

R=F-Atilde X,

где tilde X — приближенное решение системы.
Причём невязка достаточно сложным образом связана с погрешностью решения Delta(X)=tilde X-X, причём если невязка мала, то погрешность может быть значительной.

Предельные погрешности

Пусть искомая величина a является функцией параметров t_1, ldots , t_n in Omega, qquad a* — приближенное значение a. Тогда предельной абсолютной погрешностью называется величина

D(a^*) = suplimits_{(t_1, ldots ,t_n) in Omega } left|{a(t_1, ldots ,t_n) - a^*}right| ,

Предельной относительной погрешностью называется величина D(a*)/| a*|.

Пусть left|{t_j - t_j^*}right| le Delta (t_j^* ), qquad j = 1 div n — приближенное значение a^* = a(t_1^*, ldots ,t_n^* ). Предполагаем, что a — непрерывно дифференцируемая функция своих аргументов. Тогда, по формуле Лагранжа,

a(t_1, ldots ,t_n) - a^* = sumlimits_{j = 1}^n gamma_j (alpha )(t_j - t_j^*),

где gamma_j (alpha ) = a^{prime}_{t_j}(t_1^* + alpha (t_1 - t_1^*), ldots ,t_n^* + alpha (t_n - t_n^*)), qquad 0 le alpha le 1.

Отсюда

left|{a(t_1, ldots ,t_n) - a^*}right| le D_1 (a^*) = sumlimits_{j = 1}^n b_j Delta (t_j^*),

где b_j = suplimits_Omega left|{a^{prime}_{t_j}(t_1, ldots ,t_n)}right|.

Можно показать, что при малых rho = sqrt{{(Delta (t_1^* ))}^2 + ldots + {(Delta (t_n^* ))}^2 } эта оценка не может быть существенно улучшена. На практике иногда пользуются грубой (линейной) оценкой

left|{a(t_1, ldots ,t_n) - a^*}right| le D_2 (a^*),

где D_2 (a^*) = sumlimits_{j = 1} left|{gamma_j (0)}right| Delta (t^*).

Несложно показать, что:

  1. Delta ( pm t_1^* pm , ldots , pm t_n^*) = Delta (t_1^* ) + ldots + Delta (t_n^* ) — предельная погрешность суммы или разности равна сумме предельных погрешностей.
  2. delta (t_1^* cdots t_m^* cdot d_1^{* - 1} cdots d_m^{* - 1} ) = delta (t_1^* ) + ldots + delta (t_m^*) + delta (d_1^*) + ldots + delta (d_n^*) — предельная относительная погрешность произведения или частного приближенного равна сумме предельных относительных погрешностей.

Погрешности округлений при представлении чисел в компьютере

Одним из основных источников вычислительных погрешностей является приближенное представление чисел в компьютере, обусловленное конечностью разрядной сетки (см. Международный стандарт представления чисел с плавающей точкой в ЭВМ). Число a, не представимое в компьютере, подвергается округлению, т. е. заменяется близким числом tilde a, представимым в компьютере точно.
Найдем границу относительной погрешности представления числа с плавающей точкой. Допустим, что применяется простейшее округление – отбрасывание всех разрядов числа, выходящих за пределы разрядной сетки. Система счисления – двоичная. Пусть надо записать число, представляющее бесконечную двоичную дробь

a=underbrace{pm2^p}_{order}underbrace{left(frac{a_1}{2}+frac{a_2}{2^2}+dots+frac{a_t}{2^t}+frac{a_{t+1}}{2^{t+1}}+dotsright)}_{mantissa},

где a_j={01, qquad (j=1,2,...) — цифры мантиссы.
Пусть под запись мантиссы отводится t двоичных разрядов. Отбрасывая лишние разряды, получим округлённое число

tilde a=pm2^pleft(frac{a_1}{2}+frac{a_2}{2^2}+dots+frac{a_t}{2^t}right).

Абсолютная погрешность округления в этом случае равна

a-tilde a=pm2^pleft(frac{a_{t+1}}{2^{t+1}}+frac{a_{t+2}}{2^{t+2}}+dotsright).

Наибольшая погрешность будет в случае a_{t+1}=1, qquad a_{t+2}=1,, тогда

|a-tilde a|lepm2^pfrac{1}{2^{t+1}}underbrace{left(1+frac{1}{2}+frac{1}{2^2}+dotsright)}_{=2}=2^{p-t}.

Т.к. |M|ge0,5, где M — мантисса числа a, то всегда a_1=1. Тогда |a|ge2^pcdot2^{-1}=2^{p-1} и относительная погрешность равна frac{|a-tilde a|}{|a|}le2^{-t+1}. Практически применяют более точные методы округления и погрешность представления чисел равна

( 1 )

frac{|a-tilde a|}{|a|}le2^{-t},

т.е. точность представления чисел определяется разрядностью мантиссы t.
Тогда приближенно представленное в компьютере число можно записать в виде tilde a=a(1pmepsilon), где |epsilon|le2^{-t}«машинный эпсилон» – относительная погрешность представления чисел.

Погрешности арифметических операций

При вычислениях с плавающей точкой операция округления может потребоваться после выполнения любой из арифметических операций. Так умножение или деление двух чисел сводится к умножению или делению мантисс. Так как в общем случае количество разрядов мантисс произведений и частных больше допустимой разрядности мантиссы, то требуется округление мантиссы результатов. При сложении или вычитании чисел с плавающей точкой операнды должны быть предварительно приведены к одному порядку, что осуществляется сдвигом вправо мантиссы числа, имеющего меньший порядок, и увеличением в соответствующее число раз порядка этого числа. Сдвиг мантиссы вправо может привести к потере младших разрядов мантиссы, т.е. появляется погрешность округления.

Округленное в системе с плавающей точкой число, соответствующее точному числу x, обозначается через fl(x) (от англ. floating – плавающий). Выполнение каждой арифметической операции вносит относительную погрешность, не большую, чем погрешность представления чисел с плавающей точкой (1). Верна следующая запись:

fl(abox b)=abox b(1pmepsilon),

где box — любая из арифметических операций, |epsilon|le2^{-t}.

Рассмотрим трансформированные погрешности арифметических операций. Арифметические операции проводятся над приближенными числами, ошибка арифметических операций не учитывается (эту ошибку легко учесть, прибавив ошибку округления соответствующей операции к вычисленной ошибке).

Рассмотрим сложение и вычитание приближенных чисел. Абсолютная погрешность алгебраической суммы нескольких приближенных чисел равна сумме абсолютных погрешностей слагаемых.

Если сумма точных чисел равна

S=a_1+a_2+dots+a_n,

сумма приближенных чисел равна

tilde S=a_1+Delta(a_1)+a_2+Delta(a_2)+dots+a_n+Delta(a_n),

где Delta(a_i), qquad i=1,2,...,n— абсолютные погрешности представления чисел.

Тогда абсолютная погрешность суммы равна

Delta(S)=Delta(a_1)+Delta(a_2)+dots+Delta(a_n).

Относительная погрешность суммы нескольких чисел равна

( 2 )

delta(S)=frac{Delta(S)}{S}=frac{a_1}{S}left(frac{Delta(a_1)}{a_1}right)+frac{a_2}{S}left(frac{Delta(a_2)}{a_2}right)+dots=frac{a_1delta(a_1)+a_2delta(a_2)+dots}{S},

где delta(a_i), qquad i=1,2,...,n — относительные погрешности представления чисел.

Из (2) следует, что относительная погрешность суммы нескольких чисел одного и того же знака заключена между наименьшей и наибольшей из относительных погрешностей слагаемых:

min quad delta(a_k)ledelta(S)le max quad delta(a_k), qquad k=1,2,...,n, quad a_k>0.

При сложении чисел разного знака или вычитании чисел одного знака относительная погрешность может быть очень большой (если числа близки между собой). Так как даже при малых Delta(a_i) величина S может быть очень малой. Поэтому вычислительные алгоритмы необходимо строить таким образом, чтобы избегать вычитания близких чисел.

Необходимо отметить, что погрешности вычислений зависят от порядка вычислений. Далее будет рассмотрен пример сложения трех чисел.

S=x_1+x_2+x_3,
tilde S_1=(x_1+x_2)(1+delta_1),

( 3 )

tilde S=(tilde S_1+x_3)(1+delta_2)=(x_1+x_2)(1+delta_1)(1+delta_2)+x_3(1+delta_2).

При другой последовательности действий погрешность будет другой:

tilde S_1=(x_3+x_2)(1+delta_1),
tilde S=(x_3+x_2)(1+delta_1)(1+delta_2)+x_1(1+delta_2).

Из (3) видно, что результат выполнения некоторого алгоритма, искаженный погрешностями округлений, совпадает с результатом выполнения того же алгоритма, но с неточными исходными данными. Т.е. можно применять обратный анализ: свести влияние погрешностей округления к возмущению исходных данных. Тогда вместо (3) будет следующая запись:

tilde S=tilde x_1+tilde x_2+tilde x_3,

где tilde x_1=x_1(1+delta_1)(1+delta_2), quad tilde x_2=x_2(1+delta_1)(1+delta_2), quad tilde x_3=x_3(1+delta_2).

При умножении и делении приближенных чисел складываются и вычитаются их относительные погрешности.

S=a_1cdot a_2,
tilde S=a_1cdot a_2(1+delta(a_1))(1+delta(a_2))a_1cdot a_2(1+delta(a_1)+delta(a_2)),

с точностью величин второго порядка малости относительно delta.

Тогда delta(S)=delta(a_1)+delta(a_2).

Если S=frac{a_1}{a_2}, то Delta(S)=frac{a_1(1+delta_1)}{a_2(1+delta_2)}-frac{a_1}{a_2}=frac{a_1(delta_1-delta_2)}{a_2(1+delta_2)}approx frac{a_1}{a_2}(delta_1-delta_2), qquad delta(S)delta_1-delta_2.

При большом числе n арифметических операций можно пользоваться приближенной статистической оценкой погрешности арифметических операций, учитывающей частичную компенсацию погрешностей разных знаков:

delta_Sigma approx delta_{fl} quad sqrt{n},

где delta_Sigma – суммарная погрешность, |delta_{fl}|leepsilon – погрешность выполнения операций с плавающей точкой, epsilon – погрешность представления чисел с плавающей точкой.

Погрешности вычисления функций

Рассмотрим трансформированную погрешность вычисления значений функций.

Абсолютная трансформированная погрешность дифференцируемой функции y=f(x), вызываемая достаточно малой погрешностью аргумента Delta(x), оценивается величиной Delta(y)=|f'(x)|Delta(x).

Если f(x)>0, то delta(y)=frac{|f'(x)|}{f(x)}Delta(x)=left|(ln(f(x)))'right|cdotDelta(x).

Абсолютная погрешность дифференцируемой функции многих аргументов y=f(x_1, x_2, ..., x_n), вызываемая достаточно малыми погрешностями Delta(x_1), Delta(x_2), ..., Delta(x_n) аргументов x_1, x_2, ...,x_n оценивается величиной:

Delta(y)=sumlimits_{i=1}^nleft|frac{partial f}{partial x_i}right|Delta(x_i).

Если f(x_1,x_2,...,x_n)>0, то delta(y)=sumlimits_{i=1}^nfrac{1}{f}cdotleft|frac{partial f}{partial x_i}right|cdotDelta(x_i)=sumlimits_{i=1}^{n}left|frac{partial l_n(f)}{partial x_i}right|Delta(x_i).

Практически важно определить допустимую погрешность аргументов и допустимую погрешность функции (обратная задача). Эта задача имеет однозначное решение только для функций одной переменной y=f(x), если f(x) дифференцируема и f'(x)not=0:

Delta(x)=frac{1}{|f'(x)|}Delta(y).

Для функций многих переменных задача не имеет однозначного решения, необходимо ввести дополнительные ограничения. Например, если функция y=f(x_1,x_2,...,x_n) наиболее критична к погрешности Delta(x_i), то:

Delta(x_i)=frac{Delta(y)}{left|frac{partial f}{partial x_i}right|}qquad (погрешностью других аргументов пренебрегаем).

Если вклад погрешностей всех аргументов примерно одинаков, то применяют принцип равных влияний:

Delta(x_i)=frac{Delta(y)}{nleft|frac{partial f}{partial x_i}right|},qquad i=overline{1,n}.

Числовые примеры

Специфику машинных вычислений можно пояснить на нескольких элементарных примерах.

ПРИМЕР 1. Вычислить все корни уравнения

x^4 - 4x^3 + 8x^2 - 16x + 15.underbrace{99999999}_8 = {(x - 2)}^4 - 10^{- 8} = 0.

Точное решение задачи легко найти:

(x - 2)^2 = pm 10^{- 4},
x_1= 2,01; x_2= 1,99; x_{3,4}= 2 pm 0,01i.

Если компьютер работает при delta _M > 10^{ - 8}, то свободный член в исходном уравнении будет округлен до 16,0 и, с точки зрения представления чисел с плавающей точкой, будет решаться уравнение (x-2)^4= 0, т.е. x_{1,2,3,4} = 2, что, очевидно, неверно. В данном случае малые погрешности в задании свободного члена approx10^{-8} привели, независимо от метода решения, к погрешности в решении approx10^{-2}.

ПРИМЕР 2. Решается задача Коши для обыкновенного дифференциального уравнения 2-го порядка:

u''(t) = u(t), qquad u(0) = 1, qquad u'(0) = - 1.

Общее решение имеет вид:

u(t) = 0,5[u(0) + u'(0)]e^t + 0,5[u(0) - u'(0)]e^{- t}.

При заданных начальных данных точное решение задачи: u(x) = e^{-t}, однако малая погрешность delta в их задании приведет к появлению члена delta e^t, который при больших значениях аргумента может существенно исказить решение.

ПРИМЕР 3. Пусть необходимо найти решение обыкновенного дифференциального уравнения:

stackrel{cdot}{u} = 10u,qquad u = u(t), u(t_0) = u_0,qquad t in [0,1].

Его решение: u(t) = u_0e^{10(t - t_0 )}, однако значение u(t_0) известно лишь приближенно: u(t_0) approx u_0^*, и на самом деле u^*(t) = u_0^*e^{10(t - t_0)}.

Соответственно, разность u* - u будет:

u^* - u = (u_0^* - u_0)e^{10(t - t_0)}.

Предположим, что необходимо гарантировать некоторую заданную точность вычислений epsilon > 0 всюду на отрезке t in [0,1]. Тогда должно выполняться условие:

|{u^*(t) - u(t)}| le varepsilon.

Очевидно, что:

maxlimits_{t in [0,1]} |{u^*(t) - u(t)}| = |{u*(1) - u(1)}| = |{u_0^* - u_0}|e^{10(1 - t_0)}.

Отсюда можно получить требования к точности задания начальных данных delta: qquad|u_0^* - u_0| < delta, qquad delta le varepsilon e^{ - 10} при t_0= 0.

Таким образом, требование к заданию точности начальных данных оказываются в e^{10} раз выше необходимой точности результата решения задачи. Это требование, скорее всего, окажется нереальным.

Решение оказывается очень чувствительным к заданию начальных данных. Такого рода задачи называются плохо обусловленными.

ПРИМЕР 4. Решением системы линейных алгебраических уравнений (СЛАУ):

left{ begin{array}{l} u + 10v = 11,  100u + 1001v = 1101;  end{array} right.

является пара чисел {1, quad 1}.

Изменив правую часть системы на 0,01, получим возмущенную систему:

left{ begin{array}{l} u + 10v = 11.01,  100u + 1001v = 1101;  end{array} right.

с решением {11.01, quad 0.00}, сильно отличающимся от решения невозмущенной системы. Эта система также плохо обусловлена.

ПРИМЕР 5. Рассмотрим методический пример вычислений на модельном компьютере, обеспечивающем точность delta_M = 0,0005. Проанализируем причину происхождения ошибки, например, при вычитании двух чисел, взятых с точностью до третьей цифры после десятичной точки u = 1,001,quad v = 1,002, разность которых составляет Delta = |v_M - u_M| = 0,001.

В памяти машины эти же числа представляются в виде:

u_M = u(1 + delta_M^u), quad v_M = v(1 + delta_M^v), причем mid delta_M^umid le delta_M и mid delta_M^vmid le delta_M.

Тогда:

u_M - u approx udelta_M^u, quad v_M - v approx vdelta_M^v.

Относительная ошибка при вычислении разности u_M - v_M будет равна:

delta = frac{(u_M - v_M) - (u - v)}{(u - v)} = frac{(u_M - u) - (v_M - v)}{(u - v)} = frac{delta_M^u - delta_M^v}{(u - v)}.

Очевидно, что delta = left|{frac{delta_M^u - delta_M^v}{Delta }} right| le frac{2delta_M}{0,001} approx 2000delta_M = 1, т.е. все значащие цифры могут оказаться неверными.

ПРИМЕР 6. Рассмотрим рекуррентное соотношение u_{i+1} = qu_i, quad i ge 0, quad u_0 = a,quad q > 0, quad u_i > 0.

Пусть при выполнении реальных вычислений с конечной длиной мантиссы на i-м шаге возникла погрешность округления, и вычисления проводятся с возмущенным значением u_i^M = u_i + delta_i, тогда вместо u_{i+1} получим u_{i + 1}^M = q(u_i + delta_i) = u_{i + 1} + qdelta_i, т.е. delta_{i + 1} = qdelta_i,quad i = 0,1,ldots .

Следовательно, если |q| > 1, то в процессе вычислений погрешность, связанная с возникшей ошибкой округления, будет возрастать (алгоритм неустойчив). В случае mid qmid le 1 погрешность не возрастает и численный алгоритм устойчив.

Список литературы

  • А.А.Самарский, А.В.Гулин.  Численные методы. Москва «Наука», 1989.
  • http://www.mgopu.ru/PVU/2.1/nummethods/Chapter1.htm
  • http://www.intuit.ru/department/calculate/calcmathbase/1/4.html

См. также

  • Практикум ММП ВМК, 4й курс, осень 2008

Определенный тип ошибочного доказательства

В математике некоторые виды ошибочного доказательства часто выставляется, а иногда и собирается, как иллюстрации концепции, называемой математической ошибкой . Существует различие между простой ошибкой и математической ошибкой в ​​доказательстве, поскольку ошибка в доказательстве приводит к недействительному доказательству, в то время как в наиболее известных примерах математических ошибок присутствует некоторый элемент сокрытия или обмана в представлении доказательство.

Например, причина, по которой не действует достоверность, может быть отнесена к делению на ноль, которое скрыто алгебраической записью. Есть определенное качество математической ошибки: в том виде, в котором она обычно представлена, она приводит не только к абсурдному результату, но и делает это хитрым или хитрым способом. Следовательно, эти заблуждения по педагогическим причинам обычно принимают форму ложных доказательств очевидных противоречий. Хотя доказательства ошибочны, ошибки, как правило, преднамеренные, являются сравнительно малозаметными или предназначены для демонстрации того, что определенные шаги являются условными и неприменимы в случаях, которые являются исключениями из правил.

Традиционный способ представления математической ошибки состоит в том, чтобы дать неверный шаг вывода, смешанный с действительными шагами, так что значение ошибки здесь немного отличается от логического . заблуждение. Последнее обычно применяется к форме аргумента, которая не соответствует действующим правилам логического вывода, тогда как проблемный математический шаг обычно является правильным правилом, применяемым с неявным неверным предположением. Помимо педагогики, разрешение ошибки может привести к более глубокому пониманию предмета (например, введение аксиомы Паша евклидовой геометрии, теоремы пяти цветов теории графов ). Псевдария, древняя утерянная книга ложных доказательств, приписывается Евклиду.

. Математические заблуждения существуют во многих областях математики. В элементарной алгебре типичные примеры могут включать в себя этап, на котором выполняется деление на ноль, где корень извлекается неправильно или, в более общем смысле, когда разные значения многозначная функция приравнивается. Известные заблуждения также существуют в элементарной евклидовой геометрии и исчислении.

Содержание

  • 1 Howlers
  • 2 Деление на ноль
  • 3 Анализ
  • 4 Многозначные функции
    • 4.1 Положительные и отрицательные корни
    • 4.2 Квадратные корни из отрицательных чисел
    • 4.3 Комплексные показатели
  • 5 Геометрия
    • 5.1 Ошибка равнобедренного треугольника
  • 6 Доказательство индукцией
  • 7 См. Также
  • 8 Примечания
  • 9 Ссылки
  • 10 Внешние ссылки

Howlers

ddx 1 x = dd 1 x 2 = d ∖ d ∖ 1 x 2 = — 1 x 2 { displaystyle { begin {array} {l} ; ; ; { dfrac {d} {dx}} { dfrac {1} {x}} \ = { dfrac {d} {d}} { dfrac {1} {x ^ {2}} } \ = { dfrac {d ! ! ! backslash} {d ! ! ! backslash}} { dfrac {1} {x ^ {2}}} \ = — { dfrac {1} {x ^ {2}}} end {array}}}

{ displaystyle { begin {array} {l} ; ; ; { dfrac {d} {dx}} { dfrac {1} {x}} \ = { dfrac {d} {d}} { dfrac {1} {x ^ {2}}} \ = { dfrac {d ! ! !  Backslash} {d ! ! !  Backslash}} { dfrac {1} {x ^ {2}}}   = - { dfrac {1} {x ^ {2}}}  end {array}}} .. Аномальное. отмена. в исчислении

Существуют примеры математически правильных результатов, полученных в результате неправильных рассуждений. Такой аргумент, каким бы верным он ни казался, математически неверен и широко известен как вопль. Ниже приведен пример сигнализатора, включающего аномальную отмену :

16 64 = 16/6/4 = 1 4. { displaystyle { frac {16} {64}} = { frac {16 ! ! ! /} {6 ! ! ! / 4}} = { frac {1} {4}}.}{ frac {16} {64}} = { frac {16 ! ! ! /} {6 ! ! ! / 4}} = { frac {1} {4}}.

Здесь, хотя вывод 16/64 = 1/4 верен, на среднем этапе происходит ошибочная, недопустимая отмена. Другой классический пример ревуна — доказательство теоремы Кэли – Гамильтона простой заменой скалярных переменных характеристического полинома на матрицу.

Поддельные доказательства, вычисления или выводы, построенные для получения правильного результата, несмотря на неправильную логику или операции, Максвелл назвал «завываниями». Вне математики термин ревун имеет различные значения, как правило, менее конкретные.

Деление на ноль

Ошибка деления на ноль имеет множество вариантов. В следующем примере используется замаскированное деление на ноль, чтобы «доказать», что 2 = 1, но его можно изменить, чтобы доказать, что любое число равно любому другому числу.

  1. Пусть a и b равны, ненулевые величины
    a = b { displaystyle a = b}a = b
  2. Умножить на a
    a 2 = ab { displaystyle a ^ {2} = ab}a ^ {2} = ab
  3. Вычтем b
    a 2 — b 2 = ab — b 2 { displaystyle a ^ {2} -b ^ {2} = ab-b ^ {2}}a ^ {2} -b ^ {2} = ab- b ^ {2}
  4. Разложим на множители обе стороны: левый множитель как разность квадратов, правый множится путем извлечения b из обоих членов
    (a — b) (a + b) = b (a — b) { displaystyle (ab) (a + b) = b (ab)}(ab) (a + b) = b (ab)
  5. Разделить (a — b)
    a + b = b { displaystyle a + b = b}a + b = b
  6. Учитывая, что a = b
    b + b = b { displaystyle b + b = b}b + b = b
  7. Объедините одинаковые термины слева
    2 b = b { displaystyle 2b = b}2b = b
  8. Разделите на ненулевое b
    2 = 1 { displaystyle 2 = 1}2 = 1
QED

Ошибка в строке 5: переход от строки 4 к строке 5 включает деление на a — b, которое равно нулю, поскольку a = b. Поскольку деление на ноль не определено, аргумент недопустим.

Анализ

Математический анализ как математическое исследование изменений и пределов может привести к математическим ошибкам — если свойства интегралов и дифференциалы игнорируются. Например, наивное использование интегрирования по частям может быть использовано для ложного доказательства того, что 0 = 1. Полагая u = 1 / log x и dv = dx / x, мы может писать:

∫ 1 x журнал ⁡ xdx = 1 + ∫ 1 x журнал ⁡ xdx { displaystyle int { frac {1} {x , log x}} , dx = 1 + int { frac {1} {x , log x}} , dx} int { frac {1} {x ,  log x}} , dx = 1 +  int { frac {1} {x ,  log x}} , dx

, после чего первообразные могут быть отменены с получением 0 = 1. Проблема в том, что первообразные определены только до a константа и их смещение на 1 или любое другое число разрешено. Ошибка действительно обнаруживается, когда мы вводим произвольные пределы интегрирования a и b.

∫ a b 1 x журнал ⁡ x d x = 1 | ab + ∫ ab 1 x журнал ⁡ xdx = 0 + ∫ ab 1 x log ⁡ xdx = ∫ ab 1 x log ⁡ xdx { displaystyle int _ {a} ^ {b} { frac {1} {x , log x}} , dx = 1 | _ {a} ^ {b} + int _ {a} ^ {b} { frac {1} {x , log x}} , dx = 0 + int _ {a} ^ {b} { frac {1} {x log x}} , dx = int _ {a} ^ {b} { frac {1} {x log x} } , dx}{ displaystyle  int _ {a} ^ {b} { frac {1} {x ,  log x}} , dx = 1 | _ {a} ^ {b} +  int _ {a} ^ {b} {  frac {1} {x ,  log x}} , dx = 0 +  int _ {a} ^ {b} { frac {1} {x  log x}} , dx =  int _ {a} ^ {b} { frac {1} {x  log x}} , dx}

Поскольку разница между двумя значениями постоянной функции равна нулю, один и тот же определенный интеграл появляется с обеих сторон уравнения.

Многозначные функции

Многие функции не имеют уникального обратного. Например, возведение числа в квадрат дает уникальное значение, но есть два возможных квадратных корня из положительного числа. Квадратный корень — это многозначный. Одно значение может быть выбрано по соглашению в качестве основного значения ; в случае квадратного корня неотрицательное значение является главным значением, но нет гарантии, что квадратный корень, заданный как главное значение квадрата числа, будет равен исходному числу (например, главный квадратный корень квадрата −2 равно 2). Это остается верным для корней n-й степени.

Положительных и отрицательных корней

Необходимо соблюдать осторожность при извлечении квадратного корня из обеих частей равенства. В противном случае «доказательство» составляет 5 = 4.

Доказательство:

Начать с

— 20 = — 20 { displaystyle -20 = -20}-20 = -20
Запишите это как

25-45 = 16-36 { displaystyle 25-45 = 16-36}25-45 = 16-36
Перепишите как

5 2–5 × 9 = 4 2–4 × 9 { displaystyle 5 ^ {2 } -5 times 9 = 4 ^ {2} -4 times 9}{ displaystyle 5 ^ {2} -5  times 9 = 4 ^ {2} -4  times 9}
Добавьте 81/4 с обеих сторон:

5 2 — 5 × 9 + 81 4 = 4 2 — 4 × 9 + 81 4 { displaystyle 5 ^ {2} -5 times 9 + { frac {81} {4}} = 4 ^ {2} -4 times 9 + { frac {81} {4}}}{ displaystyle 5 ^ {2} -5  t imes 9 + { frac {81} {4}} = 4 ^ {2} -4  times 9 + { frac {81} {4}}}
Это полные квадраты:

(5 — 9 2) 2 = (4 — 9 2) 2 { displaystyle left (5 — { frac {9} {2}} right) ^ {2} = left (4 — { frac {9} {2}} right) ^ {2}}{ displaystyle  left (5 - { frac {9} {2}}  right) ^ {2} =  left (4 - { frac {9} {2}}  right) ^ {2}}
Извлеките квадратный корень из обеих сторон:

5 — 9 2 = 4 — 9 2 { displaystyle 5 — { frac {9} {2}} = 4 — { frac {9} {2}}}{ displaystyle 5 - { frac {9} {2}} = 4 - { frac {9 } {2}}}
Добавьте 9/2 с обеих сторон:

5 = 4 { displaystyle 5 = 4}5 = 4
QED

Ошибка заключается в предпоследней строке, где берется квадратный корень из обеих частей: a = b означает, что a = b, только если a и b имеют одинаковый знак, что здесь не так. В данном случае это означает, что a = –b, поэтому уравнение должно выглядеть так:

5 — 9 2 = — (4 — 9 2) { displaystyle 5 — { frac {9} {2}} = — left (4 — { frac {9} {2}} right)}{ displaystyle 5 - { frac {9} {2}} = -  left (4 - { frac {9} {2} }  right)}

которое, добавив 9/2 с обеих сторон, правильно сокращается до 5 = 5.

Еще один пример, иллюстрирующий опасность извлечение квадратного корня из обеих частей уравнения включает следующее фундаментальное тождество:

cos 2 ⁡ x = 1 — sin 2 ⁡ x { displaystyle cos ^ {2} x = 1- sin ^ {2} x } cos ^ {2} x = 1-  sin ^ {2} x

, которое выполняется как следствие теоремы Пифагора. Затем, извлекая квадратный корень,

cos ⁡ x = 1 — sin 2 ⁡ x { displaystyle cos x = { sqrt {1- sin ^ {2} x}}}{ displaystyle  cos x = {  sqrt {1-  sin ^ {2} x}}}

так, чтобы

1 + соз ⁡ х знак равно 1 + 1 — грех 2 ⁡ х. { displaystyle 1+ cos x = 1 + { sqrt {1- sin ^ {2} x}}.}{ displaystyle 1+  cos x = 1 + { sqrt { 1-  sin ^ {2} x}}.}

Но оценивая это при x = π, мы получаем, что

1 — 1 = 1 + 1–0 { displaystyle 1-1 = 1 + { sqrt {1-0}}}{ displaystyle 1-1 = 1 + { sqrt {1-0}}}

или

0 = 2 { displaystyle 0 = 2}0 = 2

, что неверно.

Ошибка в каждом из этих примеров в основном заключается в том, что любое уравнение вида

x 2 = a 2 { displaystyle x ^ {2} = a ^ {2}}x ^ {2} = a ^ { 2}

где a ≠ 0 { displaystyle a neq 0}a  neq 0 , имеет два решения:

x = ± a { displaystyle x = pm a}x =  pm a

и важно, чтобы проверьте, какое из этих решений имеет отношение к рассматриваемой проблеме. В приведенной выше ошибке квадратный корень, который позволил вывести второе уравнение из первого, действителен только тогда, когда cos x положителен. В частности, когда x установлен в π, второе уравнение становится недействительным.

Квадратные корни из отрицательных чисел

Недействительные доказательства с использованием степеней и корней часто бывают следующего вида:

1 = 1 = (- 1) (- 1) = — 1 — 1 знак равно я ⋅ я знак равно — 1. { displaystyle 1 = { sqrt {1}} = { sqrt {(-1) (- 1)}} = { sqrt {-1}} { sqrt {-1 }} = i cdot i = -1.}1 = { sqrt {1}} = { sqrt {(-1) (- 1)}} = { sqrt { -1}} { sqrt {-1}} = я  cdot я = -1.

Ошибка заключается в том, что правило xy ​​= xy { displaystyle { sqrt {xy}} = { sqrt {x}} { sqrt {y }}}{ displaystyle { sqrt {xy} } = { sqrt {x}} { sqrt {y}}} обычно допустимо, только если оба x { displaystyle x}x и y { displaystyle y}y неотрицательны (при работе с действительными числами), что здесь не так.

В качестве альтернативы, мнимые корни затемняются следующим образом:

i = — 1 = (- 1) 2 4 = ((- 1) 2) 1 4 = 1 1 4 = 1 { displaystyle i = { sqrt {-1}} = left (-1 right) ^ { frac {2} {4}} = left ( left (-1 right) ^ {2} right) ^ { frac {1} {4}} = 1 ^ { frac {1} {4}} = 1}{ displaystyle i = { sqrt {-1}} =  left (-1  right) ^ { frac {2} {4}} =  left ( left (-1  right) ^ {2}  right) ^ { frac {1} {4}} = 1 ^ { frac {1} {4}} = 1}

Ошибка здесь в последнем равенство, где мы игнорируем другие корни четвертой степени из 1, которые равны -1, i и -i (где i — мнимая единица ). Поскольку мы возводили нашу фигуру в квадрат, а затем пустили корни, мы не всегда можем предположить, что все корни будут правильными. Таким образом, правильные корни четвертой степени — это i и −i, которые представляют собой мнимые числа, возведенные в квадрат до −1.

Комплексные показатели

Когда число возводится в комплексную степень, результат не определяется однозначно (см. Отказ мощности и тождества логарифма ). Если это свойство не распознается, могут возникнуть следующие ошибки:

e 2 π i = 1 (e 2 π i) i = 1 ie — 2 π = 1 { displaystyle { begin {align} e ^ {2 pi i} = 1 \ влево (e ^ {2 pi i} right) ^ {i} = 1 ^ {i} \ e ^ {- 2 pi} = 1 \ end {align}}}{ displaystyle { begin {align} e ^ {2  pi i} = 1 \ left (e ^ { 2  pi i}  right) ^ {i} = 1 ^ {i} \ e ^ {- 2  pi} = 1 \ конец {выровнено}}}

Ошибка здесь в том, что правило умножения показателей степени, как при переходе к третьей строке, не применяется без изменений с комплексными показателями, даже если при установке обеих сторон в степень i только главный значение выбрано. Когда они рассматриваются как многозначные функции, обе стороны производят одинаковый набор значений, являющихся {e | n ∈ ℤ}.

Геометрия

Многие математические ошибки в геометрии возникают из-за использования аддитивного равенства, включающего ориентированные величины (например, добавление векторов вдоль заданной линии или добавление ориентированных углов в плоскости) к действительной идентичности, но которая фиксирует только абсолютное значение (одной из) этих величин. Затем эта величина включается в уравнение с неправильной ориентацией, чтобы сделать абсурдный вывод. Эта неправильная ориентация обычно подразумевается путем предоставления неточной схемы ситуации, в которой относительное положение точек или линий выбирается таким образом, который фактически невозможен в соответствии с гипотезами аргумента, но неочевидно.

В общем, такое заблуждение легко выявить, нарисовав точную картину ситуации, в которой некоторые относительные положения будут отличаться от тех, что указаны на представленной диаграмме. Чтобы избежать таких заблуждений, правильный геометрический аргумент с использованием сложения или вычитания расстояний или углов должен всегда доказывать, что величины включаются с их правильной ориентацией.

Ошибка равнобедренного треугольника

Ошибка равнобедренного треугольника2.svg

Ошибка равнобедренного треугольника из (Максвелл 1959, Глава II, § 1) имеет целью показать, что каждый треугольник равно равнобедренный, что означает, что две стороны треугольника конгруэнтны. Это заблуждение было приписано Льюису Кэрроллу.

. Дан треугольник △ ABC, докажите, что AB = AC:

  1. Проведите линию пополам ∠A.
  2. Проведите серединный перпендикуляр отрезка BC, который делит BC пополам в точке D.
  3. Пусть эти две прямые пересекаются в точке O.
  4. Нарисуйте линию OR перпендикулярно AB, прямую OQ перпендикулярно AC.
  5. Нарисуйте линии OB и OC.
  6. По AAS, RAO ≅ △ QAO (∠ORA = ∠OQA = 90 °; ∠RAO = ∠QAO; AO = AO (общая сторона)).
  7. По RHS, △ ROB ≅ △ QOC (∠BRO = ∠CQO = 90 °; BO = OC (гипотенуза); RO = OQ (нога)).
  8. Таким образом, AR = AQ, RB = QC и AB = AR + RB = AQ + QC = AC.

QED

В качестве следствия можно показать, что все треугольники равносторонние, показав, что AB = BC и AC = BC таким же образом.

Ошибка доказательства заключается в предположении на диаграмме, что точка O находится внутри треугольника. Фактически, O всегда лежит в описанной окружности треугольника ABC (за исключением равнобедренных и равносторонних треугольников, в которых AO и OD совпадают). Более того, можно показать, что если AB длиннее, чем AC, то R будет лежать внутри AB, а Q будет лежать вне AC, и наоборот (фактически, любая диаграмма, нарисованная с помощью достаточно точных инструментов, подтвердит два вышеупомянутых факта.). Из-за этого AB по-прежнему AR + RB, но AC на самом деле AQ — QC; и, следовательно, длины не обязательно одинаковы.

Доказательство по индукции

Существует несколько ошибочных доказательств по индукции, в которых один из компонентов, базисный случай или индуктивный шаг, неверен. Интуитивно, доказательства с помощью индукции работают, утверждая, что если утверждение истинно в одном случае, оно истинно в следующем, и, следовательно, многократно применяя это утверждение, можно показать, что оно истинно для всех случаев. Следующее «доказательство» показывает, что все лошади одного цвета..

  1. Допустим, что любая группа из N лошадей одного цвета.
  2. Если мы удалим лошадь из группы, у нас есть группа из N — 1 лошадей одного цвета. Если мы добавим еще одну лошадь, у нас будет еще одна группа из N лошадей. Согласно нашему предыдущему предположению, все лошади одного цвета в этой новой группе, так как это группа из N лошадей.
  3. Таким образом, мы построили две группы из N лошадей одного цвета, с N — 1 общая лошадь. Поскольку у этих двух групп есть несколько общих лошадей, эти две группы должны быть одного цвета друг с другом.
  4. Следовательно, объединяя всех используемых лошадей, мы получаем группу из N + 1 лошадей одного цвета..
  5. Таким образом, если все N лошадей одного цвета, все N + 1 лошади одного цвета.
  6. Это явно верно для N = 1 (т.е. одна лошадь — это группа, в которой все лошади одного цвета). Таким образом, по индукции N лошадей одного цвета для любого натурального числа N. т. Е. Все лошади одного цвета.

Ошибка в этом доказательстве возникает в строке 3. При N = 1 две группы лошадей имеют N — 1 = 0 общих лошадей и, следовательно, не обязательно одного цвета, поэтому группа из N + 1 = 2 лошадей не обязательно будет всех одного цвета. Импликация «все N лошадей одного цвета, тогда N + 1 лошадей одного цвета» работает для любого N>1, но не выполняется, когда N = 1. Базовый случай верен, но шаг индукции имеет фундаментальный недостаток. Если бы нам дополнительно дали тот факт, что любые две лошади одного цвета, то мы могли бы правильно произвести индукцию из базового случая N = 2.

См. Также

  • Аномальное исключение — арифметическая ошибка
  • Деление на ноль — Результат, полученный при делении действительного числа на ноль
  • Список неполных доказательств — Статья в Википедии со списком
  • Математическое совпадение — совпадение в математике
  • Парадокс — Утверждение, которое явно противоречит самому себе
  • Доказательство запугиванием — Метод убедить кого-то, используя жаргон или заявляя его ясным

Примечания

Ссылки

Внешние ссылки

Викискладе есть средства массовой информации, связанные с Недействительными доказательствами.

Дистанционный тур муниципального этапа краевого форума

«Молодежь и наука»

К чему может привести математическая ошибка

Физико-математическая секция

Проектно-исследовательская работа

Архипова Татьяна Викторовна

11.07.2000 г

Муниципальное бюджетное общеобразовательное учреждение «Локшинская средняя общеобразовательная школа»

7 класс

Леонова Ирина Алексеевна

Муниципальное бюджетное общеобразовательное учреждение «Локшинская средняя общеобразовательная школа»

учитель математики

89233222436

shkolalokshino@mail.ru

Аннотация

Архипова Татьяна Викторовна

с.Локшино, МБОУ «Локшинская СОШ», 7 класс

«К чему может привести математическая ошибка»

Руководитель: Леонова Ирина Алексеевна, учитель математики МБОУ «Локшинская СОШ»

Цели работы:

собрать и оформить информацию о последствиях математической ошибки;

показать значимость математической ошибки.

Гипотеза: математическая ошибка может привести как к курьёзным ситуациям, так и к серьёзным проблемам (авариям, катастрофам, разрушениям)

Методы, используемые при исследовании  

  • Изучение источников: литературы, энциклопедий, сайтов в Интернете.
  • Проведение и анализ анкетирования.
  • Наблюдения, сопоставления.
  • Анализ и классификация ошибок в работах учащихся 7 класса.
  • Отбор и классификация материала.
  • Оформление результата

Основные результаты научного исследования 

Нашла своё подтверждение гипотеза: математическая ошибка может привести как к курьёзным ситуациям, так и к серьёзным проблемам (авариям, катастрофам, разрушениям).

Собран, классифицирован и оформлен материал о последствиях математической ошибки. Продемонстрирована значимость математической ошибки.

Основная часть работы.

  1. Введение.

В математических вопросах нельзя пренебрегать даже самыми                         мелкими ошибками.

                                                                                  И. Ньютон.

Актуальность данной проблемы имеет как личный аспект, так и масштабный характер (ошибиться может каждый). Но к чему может привести математическая ошибка – это ключевой вопрос, в котором и хотелось разобраться. Ведь математика касается всех сфер нашей жизни, как частной, так и в масштабе государства.

После опроса одноклассников и анкетирования учащихся 6-8 классов пришла к выводу, что не только я, но и мои ровесники не задумывались над этой проблемой.  Захотелось не только получить ответ на ключевой вопрос, но и поделиться информацией с учащимися школы.

Информацию решено было искать в различных источниках: в математических книгах, справочниках, Интернете.   Исследовать математические ошибки, которые делают одноклассники. Найти примеры ошибок, которые приводили к курьёзным ситуациям. Узнать, что такое софизмы. Историю софизмов. Типы софизмов. Разобрать интересные задачи.

Обратиться в Интернет за информацией  «Были ли случаи, когда математические ошибки повлекли за собой серьёзные проблемы: катастрофы, аварии, разрушения».  

  1. Основное содержание.

Цели работы: 

собрать и оформить информацию о последствиях математической ошибки;

показать значимость математической ошибки.

Гипотеза: математическая ошибка может привести как к курьёзным ситуациям, так и к серьёзным проблемам (авариям, катастрофам, разрушениям)

Методы, используемые при исследовании:

  • изучение источников: литературы, энциклопедий, сайтов в Интернете;
  • наблюдения, сопоставления;
  • анализ и классификация ошибок в работах учащихся 7 класса;
  • отбор и классификация материала;

Основные задачи:

  • провести анкетирование на тему «К чему может привести  математическая ошибка» среди учащихся 6-8 классов;
  • исследовать типичные ошибки одноклассников;  
  • найти примеры ошибок, которые приводили к курьёзным ситуациям;
  • узнать, что такое софизмы, историю софизмов разобрать интересные задачи;
  • найти в Интернете ответ на вопрос: были ли случаи, когда математические ошибки, повлекли за собой серьёзные проблемы: катастрофы, аварии, разрушения.  

Описание хода работы

1). Провела анкетирование среди учащихся 6-8 классов. В анкетировании приняли участие 23 ученика. Было предложено ответить на следующие вопросы:

  1. Как часто на уроках математики вы допускаете ошибки?
  2. Задумывались ли вы о последствиях математической ошибки?
  3. Знакомы ли вам примеры, когда математическая ошибка привела к катастрофе?
  4.  Подумайте и запишите, к чему может привести математическая ошибка?
  5. Знаете ли вы, что такое софизмы?
  6. Хотели бы вы познакомиться с курьёзными случаями математических ошибок?

На вопрос «Как часто на уроках математики вы допускаете ошибки?» ответили «часто» и «почти всегда» — 12 человек. На вопрос «Задумывались ли вы о последствиях математической ошибки?» ответили  «нет»  — 11 человек.

На вопрос «Знакомы ли вам примеры, когда математическая ошибка привела к катастрофе?» ответили «нет» — 15 человек.

На вопрос  «Знаете ли вы, что такое софизмы?» ответили «нет» — все 23 ученика.

На вопрос  «Хотели бы вы познакомиться с курьёзными случаями математических ошибок?» ответили положительно – 8 человек.

Ответы на задание «Подумайте и запишите, к чему может привести математическая ошибка?» были следующие: «от неудовлетворительной оценки за домашнюю работу до аварий на дорогах, столкновений поездов и т.д.», «при строительстве дома допустили ошибку и дом разрушился», «при построении самолёта ошиблись в расчётах и он разбился», «продавец ошибся, и у него недостача», «при полёте самолёта неправильно вычислили запас топлива и это привело к гибели людей».

Анкетирование показало, что школьники не задумываются о последствиях математической ошибки и не знакомы с математическими софизмами.

 2).  Наблюдения на уроках математики и анализ ошибок в тетрадях одноклассников показал, что ошибками могут стать неправильные расчёты, неправильное применение определений, аксиом, теорем, незнание формул, правил. Ряд ошибок одноклассники допускают из-за неразборчивого почерка, неаккуратно выполненного чертежа, по невнимательности. Некоторые ошибки носят курьёзный характер.

         3). Оказалось, что на основе математических ошибок, искусно скрытых, основаны, так называемые, математические софизмы.

Изучив литературу, узнала, что такое софизмы. Разобралась в некоторых из них. Узнала историю. Познакомилась с основными типами софизмов. Выбрала наиболее интересные задания и включила их в работу.

Софизм – доказательство ложного утверждения, причём ошибка в доказательстве искусно замаскирована [1]. Каким бы ни был софизм, он всегда содержит одну или несколько замаскированных ошибок.

Что касается типичных ошибок в софизмах, то они таковы: запрещенные действия, пренебрежение условиями теорем, формул и правил, ошибочный чертеж, опора на ошибочные умозаключения.  

Софистами называли группу древнегреческих философов 4-5 века до н.э., достигших большого искусства в логике. В период падения нравов древнегреческого общества (5 век) появляются так называемые учителя красноречия, которые целью своей деятельности считали и называли приобретение и распространения мудрости, вследствие чего они именовали себя софистами. Известнейший ученый и философ Сократ поначалу был софистом, активно участвовал в спорах и обсуждениях софистов, но вскоре стал критиковать учение софистов и софистику в целом. Такому же примеру последовали и его ученики (Ксенофонт и Платон).          

Примеры софизмов.     

Алгебраический софизм [2].

 Найти двузначное число, обладающее следующими свойствами. Цифра десятков на 4 меньше цифры единиц. Если из числа, записанного теми же цифрами, но в обратном порядке, вычесть искомое число, то получится 27.

Обозначив цифру десятков через х, а цифру единиц — через у, мы легко составим систему уравнений для этой задачи:

х=у-4,

(10у+х)-(10х+у)=27.

Подставим во второе уравнение значение х из первого, найдем:

10у+у-4-(10(у-4)+у)=27, а после преобразований: 36=27.

У нас не определились значения неизвестных, зато мы узнали, что 36=27…

Что это значит? Где ошибка???

Это означает лишь, что двузначного числа, удовлетворяющего поставленным условиям, не существует и что составленные уравнения противоречат один другому. В самом деле: умножив обе части первого уравнения на 9, мы найдем из него:

9у-9х=36,

а из второго (после раскрытия скобок и приведения подобных членов):

9у-9х=27.

Одна и та же величина 9у-9х согласно первому уравнению равна 36, а согласно второму 27. Это, безусловно, невозможно, т.к. 36 не равно 27.

Подобное же недоразумение ожидает решающего следующую систему уравнений:

х2у2=8,

ху=4.

Разделив первое уравнение на второе, получаем:

ху=2, а сопоставляя полученное уравнение со вторым, видим, что

т.е. 4=2. Чисел, удовлетворяющих этой системе  не существует. (Системы уравнений, которые, подобно сейчас рассмотрены, не имеют решений,  называются  несовместными.)

         Логический софизм «Ахиллес никогда не догонит черепаху» [1].

Древнегреческий философ Зенон доказывал, что Ахиллес, один из самых сильных и храбрых героев, осаждавших древнюю Трою, никогда не догонит черепаху, которая, как известно, отличается крайне медленной скоростью передвижения.

Вот примерная схема рассуждений Зенона. Предположим, что Ахиллес и черепаха начинают свое движение одновременно, и Ахиллес стремится догнать черепаху. Примем для определенности, что Ахиллес движется в 10 раз быстрее черепахи, и что их отделяют друг от друга 100 шагов.

Когда Ахиллес пробежит расстояние в 100 шагов, отделяющее его от того места, откуда начала двигаться черепаха, то в этом месте он туже ее не застанет, так как  она пройдет вперед расстояние в 10 шагов. Когда Ахиллес минует и эти 10 шагов, то и там черепахи уже не будет, поскольку она успеет перейти на 1 шаг вперед. Достигнув и этого места, Ахиллес опять не найдет там черепахи, потому что она успеет пройти расстояние, равное 1/10 шага, и снова окажется несколько впереди его. Это рассуждение можно продолжать до бесконечности, и придется признать, что быстроногий  Ахиллес никогда не догонит медленно ползающую черепаху.

Где ошибка???

Рассматриваемый софизм Зенона даже на сегодняшний день далек от своего окончательного разрешения, поэтому здесь я обозначу только некоторые его аспекты.

Сначала определим время t, за которое Ахиллес догонит черепаху. Оно легко находится из уравнения a+vt=wt, где а -расстояние между Ахиллесом и черепахой до начала движения, v и w – скорости черепахи и Ахиллеса соответственно. Это время при принятых в софизме условиях  (v=1 шаг/с и w=10 шагов/с) равно 11, 111111… сек.

Другими словами, примерно через 11, 1 с. Ахиллес догонит черепаху. Подойдем теперь к утверждениям софизма с точки зрения математики, проследим логику Зенона. Предположим, что Ахиллес должен пройти столько же отрезков, сколько их пройдет черепаха. Если черепаха  до момента встречи с Ахиллесом пройдет m отрезков, то Ахиллес должен пройти те же m отрезков плюс еще один отрезок, который разделял их до начала движения. Следовательно, мы приходим к равенству m=m+1, что невозможно. Отсюда следует, что Ахиллес никогда не догонит черепаху!!!

Итак, путь, пройденный Ахиллесом, с одной стороны, состоит из бесконечной последовательности отрезков, которые принимают бесконечный ряд значений, а с другой стороны, эта бесконечная последовательность, очевидно не имеющая конца, все же завершилась, и завершилась она своим пределом, равном сумме геометрической прогрессии.

Трудности, которые возникают при оперировании понятиями непрерывного и бесконечного и столь мастерски вскрываются парадоксами и софизмами Зенона, до сих пор не преодолены, а разрешение противоречий, содержащихся в них, послужило более глубокому осмыслению основ математики.

Геометрический софизм-фокус [3].

На прямоугольном куске картона начерчен прямоугольник с 13 одинаковыми палочками на равном расстоянии друг от друга. Разрезав его пополам и чуть сдвинув обе части, заметим любопытные явление: вместо 13 палочек окажется всего 12. Одна палочка исчезла бесследно. Куда же она подевалась?

Если сопоставить длину палочек на прямоугольниках, то обнаружится, что палочки на втором фото на 1/12 длиннее палочек первого фото. Исчезнувшая 13-я палочка улетучилась не бесследно: она словно растворилась в12 остальных, удлинив каждую из них на 1/12 своей длины.  Геометрическую причину этого понять очень легко. Прямая МN и та прямая, которая проходит через верхние концы всех палочек, образуют угол, стороны которого пересечены рядом параллельных прямых. Из подобия треугольников следует, что прямая MN отсекает от второй палочки 1/12 её длины, от третьей 2/12, от четвертой 3/12 и т.д. Когда же сдвигаются обе части картона, то приставляя отсеченный отрезок каждой палочки (начиная с второй) к нижней части предыдущей. А так как каждый отсеченный отрезок больше предыдущего на1/12, то каждая палочка должна удлиниться на 1/12 своей длины. На глаз это удлинение незаметно, так что исчезновение 13-й палочки на первый взгляд представляется довольно загадочным.

4). Процесс поиска скрытых ошибок в софизмах оказался очень интересным и поучительным. Но в жизни достаточно курьёзных ошибок, которые совершаются неосознанно, большей частью по невнимательности.

В Интернете удалось найти курьёзные случаи математических ошибок. Один пример из рубрики «Математические киноляпы» [7].  Мультфильм “Дональд в Матемагии’’, 1959 г. Геометрические фигурки (прямоугольник, треугольник и круг) дружно сообщают утенку, что “число пи равняется трем целым, один-четыре-один-пять-девять-два-шесть-пять-три-пять-восемь-девять-семь-четыре-семь и так далее…’’ А теперь сравните с правильным значением: 3,14159265358979323…

Ещё один пример: Сериал “Звездный путь’’ Военный суд, 1967 г. Керк говорит, что компьютер может усилить звук в число раз, равное “единице в сороковой степени’’ (one to the fourth power), а это равно единице.

5). Через Интернет я узнала о фактах, приводящих и к негативным последствиям из-за математических просчётов. Интернет пестрит заголовками: «Маленькие математические ошибки мирового масштаба», «К аварии привела  математическая ошибка», «Простые математические ошибки – причины разрушений и человеческих жертв».   Некоторые подробности:  РИА новости [5]  сообщает: «К неудачному запуску трех спутников системы ГЛОНАСС могла привести математическая ошибка в программе, заложенной в бортовой комплекс ракеты-носителя. Сейчас ее эксперты занимаются выяснением всех обстоятельств аварии. По некоторым данным, ракета-носитель «Протон-М» после запуска отклонилась от заданной траектории на восемь градусов. Дмитрий Медведев  поручил найти виновных в утрате спутников и проверить расходование средств на выполнение программы создания отечественной навигационной группировки».

Особый интерес представляет информация под заголовком «Шесть маленьких математических ошибок, обернувшихся чудовищными катастрофами» [6].  Эта статья адресована школьникам с подробным  описанием математических ошибок, которые привели к катастрофам. 

Приведу два примера: «Это был ультрасовременный реактивный пассажирский самолёт с уникальными для того времени техническими характеристиками и герметичной кабиной. К сожалению,  в 1954-м две «Кометы» развалились прямо в полёте, угробив в общей сложности 56 человек. Причина до смешного проста: квадратные иллюминаторы».  

«Угол взлетно-посадочной полосы становится причиной крушения истребителей» —   сообщает РИА Новости [5]. «Не надо быть пилотом, чтобы понять – посадить самолёт на авианосец чрезвычайно сложно… Но была еще одна проблема… (угол взлетно-посадочной полосы был равен 0º )». Как удалось исправить ситуацию? «…отвернули посадочную полосу примерно на 9º». Эта инновация позволила обезопасить приземление.

И ещё один пример математической ошибки, который захотелось разобрать подробнее [6]: Мост Такома-Нэрроуз разрушился из-за того, что был слишком цельным. Мост Такома-Нэрроуз (Один из крупнейших в США висячих мостов;  прим. mixednews) считался чудом инженерной мысли, пока не рухнул в пролив  Такома-Нэрроуз.   Причина случившегося до смешного проста: мост был слишком цельным, без полостей. Вы замечали, какими хрупкими выглядят самые большие мосты? Они буквально просвечиваются. Если вы думаете, что это делается для красоты или экономии металла, вы глубоко заблуждаетесь. Настоящее предназначение всего этого ажура – пропускать воздух. Вы можете укрепить мост как угодно прочно – и он всё равно будет раскачиваться на ветру. Этого нельзя не учитывать. Проектировщики моста через пролив Такома решили не забивать себе голову подобной ерундой.  Они решили, что для ветра тут и без того достаточно места.   Они ошибались. С самого начала было ясно – с мостом что-то не так. Как только поднимался ветер,  полотно начинало  изгибаться, трястись и выручиваться, за что ещё во время возведения  мост получил в народе прозвище «Галопирующая Герти». В один прекрасный день частота колебаний ветрового потока совпала с собственной частотой колебаний конструкций моста. Центральный пролет моста затрепетал, как осенний лист, забился в конвульсиях и рухнул.        

Строительство нового моста завершилось только в 1943-м. На этот раз в конструкцию были введены открытые фермы, стойки жёсткости, деформационные швы и системы гашения вибраций.  

 Все приведённые выше примеры заставляют задуматься над тем, что фактов, когда математическая ошибка ведет к серьёзным авариям, катастрофам, разрушениям значительно больше, чем можно было себе представить.

  1. Заключение.

Основные результаты исследования.  

Собран и оформлен материал о последствиях математической ошибки. Продемонстрирована значимость математической ошибки.

Нашла своё подтверждение гипотеза: математическая ошибка может привести не только к курьёзным ситуациям, но и к серьёзным проблемам (авариям, катастрофам, разрушениям).

В ходе работы над темой научилась разбирать математические ошибки, поняла, что поиск ошибок – очень полезное занятие. Поиск ошибок приучает  внимательно и настороженно продвигаться вперед, тщательно следить за точностью формулировок, правильностью записи чертежей, за законностью математических операций.  Если нашел ошибку, значит, ты ее осознал, а осознание ошибки предупреждает от ее повторения в дальнейших математических рассуждениях.  

Главный вывод исследования: последствия даже маленьких математических ошибок могут быть непредсказуемыми. Необходимо помнить об этом каждому и учиться находить и своевременно исправлять свои ошибки. Взять себе за правило: не позволять себе  допускать даже самых незначительных математических ошибок.  

Список литературы

  1. А.П.Савин Энциклопедический словарь юного математика – М.: Педагогика, 1989.-352 с.
  2. Я.И.Перельман Занимательная алгебра – Москва: Государственное издательство физико-математической литературы, 1959.- 184 с.
  3. Е.И.Игнатьев В царстве смекалки – Москва: Наука, 1984.- 192 с.
  4. М.Гарднер Математические чудеса и тайны — Москва: Наука, 1982.- 128 с.

Источники, представленные в Internet:

  1. РИА Новости  (RIA.RU).
  2. http://mixednews.ru/archives/15234
  3. http://hijos.ru/2011/11/06/matematicheskie-kinolyapy/


Это была одна из тех досадных мелочей, которые легко упустить при проектировании; но как только что-нибудь происходит, они становятся очевидны даже ребёнку.

Вот плитка шоколада. Как вы думаете, в каком месте она переломится, если на неё надавить?

Правильно, вдоль этих выемок.

Так вот, квадратное окно состоит из четырех 90-градусных выемок, а стало быть, у него есть четыре слабых места. Если бы на ваш дом надавили, то трещина непременно прошла бы через угол какого-нибудь окна:

Вы замечали, что иллюминаторы во всех самолётах круглые? Это делается не для красоты — круглая форма не позволяет разорвать самолёт на куски. Давление распределяется по всей кривой, вместо того, чтобы идти трещинами по углам (как выяснилось) и разрывать самолёт в клочья.

Поверьте, выяснить это было нелегко. Эксперты понятия не имели, почему конструкция самолёта разваливается, пока не протестировали структуру путём многократной симуляции давления на кабину. Конечно же, фюзеляж, в конце концов, лопнул, и разрыв начинался как раз с этих пресловутых углов.

С тех пор иллюминаторы у всех самолётов только круглые.

2. Угол взлётно-посадочной полосы становится причиной крушения истребителей

Не надо быть пилотом, чтобы понять — посадить самолёт на авианосец чрезвычайно сложно. Эта взлетно-посадочная полоса в миниатюре, напичканная другими самолётами, вдобавок ещё и качается на волнах.

Но была и ещё одна проблема… До смешного простая.

Первые авианосцы выглядели вот так:

Плавающая взлетно-посадочная полоса. Какой ещё она может быть?
С одной стороны — самолёты, ожидающие взлёта, с другой стороны пытаетесь приземлиться вы. Если не остановитесь вовремя — будет один большой клубок адского пламени. А остановиться вовремя, это вам не баран покашлял — поимка тормозного троса требовала серьёзного навыка. В итоге авианосцы пошли по мультяшной логике и установили сети, которые могли бы останавливать самолёты, не поймавшие тормозной трос. Тем не менее, прозевавшие тормозной трос самолёты иногда умудрялись перескакивать даже через сеть.

И какой была блестящая инновация, позволившая намного более обезопасить приземление?

Они отвернули посадочную полосу примерно на 9 градусов. Всего-то делов!

Но с кривым углом самолёт, который не поймал трос, мог дать полный газ, снова пойти на взлёт, и совершить ещё одну попытку. А другие самолёты спокойно ждали вне ВПП от греха подальше.

3. Огромная галерея обвалилась из-за (казалось бы) несущественного изменения дизайна

Хозяева Hyatt Regency — нового отеля в Канзас Сити, мечтали, чтобы всё у них было со всякими сопелками и свистелками. Архитектурная фирма, ответственная за дизайн здания, выступила с предложением сделать несколько галерей, которые крепились бы к потолку. Задумка была очень изящной. Вот только её воплощение привело к гибели более ста человек.

Недостаток проекта был прост до смешного: один длинный стержень был заменен на два коротких.

Если и есть принцип, одинаковый для всех человеческих существ, так это то, что мы всегда предпочитаем путь наименьшего сопротивления. Первоначальный план заключался в том, чтобы расположить две галереи одна над другой, причём обе должны были поддерживаться одним длинным стержнем, прикреплённым к потолку. Вот так:

Выглядит довольно просто, не так ли? Вся конструкция висит на одном длинном стержне, что делает её настолько же прочной, насколько и сложной для сборки — стержень должен проходить сквозь обе галереи.

Штука в том, что с большими деталями сложно управляться — затащить в дом стол гораздо легче в разобранном виде. Кроме того, у стержня должна быть резьба по всей длине — чтобы можно было закрутить гайку до верхней галереи.

Сталелитейная компания, ответственная за изготовление стержня, внесла в конструкцию одно небольшое изменение — заменила один длинный стержень двумя короткими. Вот так:

Это небольшое изменение убило 114 человек, покалечило 216 и обошлось компании в 140 миллионов долларов по судебным искам.

Один стержень, две гайки. Каждая гайка должна была нести вес только своей собственной платформы. Что есть хорошо, потому что каждая гайка (и сварная балка, к которой она прикручивается) может выдержать вес только одной галереи.

После изменения дизайна получилось, что верхняя гайка должна была нести вес двух галерей. Трагедия была неминуема. Однако, несмотря на очевидность, никто из инженеров и профессионалов-строителей этой ошибки так и не заметил.

И вот, однажды ночью во время конкурса танцев несущая гайка не выдержала, и обе галереи рухнули.

В ходе последующих судебных разбирательств выяснилось, что ни сталелитейная компания, ни инженерные фирмы, отвечающие за строительство, не потрудились даже сделать расчёт, который показал бы этот вопиющий изъян.

4. Причиной гибели нескольких сот человек стали дверные петли ночного клуба

В Бостоне тридцатых-сороковых самым модным местом был ночной клуб Cocoanut Grove. Там всегда кипела жизнь, собирались местные знаменитости. Ну и, естественно, частенько было не протолкнуться. Иногда народу собиралось чуть не вдвое больше официальной вместимости заведения, которая составляла 460 человек.

Ни хозяев, ни посетителей это не смущало. До 1942 года, когда при пожаре погибло 492 человека.

Парадокс в том, что виновником большинства смертей стал совсем не огонь, а… дверные петли.

Причина до смешного проста:

Помощник официанта в потёмках не мог найти электрическую розетку. Чтобы оглядеться, он зажег спичку и случайно подпалил какую-то легковоспламеняющуюся деталь интерьера. Парень не успел и глазом моргнуть, как огонь перекинулся на яркие декорации, имитирующие тропический лес, и вскоре весь клуб оказался в дыму и пламени. Всё произошло так молниеносно, что тела некоторых жертв так и нашли потом сидящими со стаканами в руках.

Среди многочисленных нарушений техники безопасности — начиная от количества посетителей до использования сухой хвои в оформлении клуба — был один фатальный недостаток, о котором никто даже и подумать не мог: все двери заведения открывались внутрь.

Пожарные подсчитали, что если бы двери открывались наружу, список жертв сократился бы на триста имён.

5. Мост Такома-Нэрроуз разрушился из-за того, что был слишком цельным

Мост Такома-Нэрроуз (один из крупнейших в США висячих мостов) считался чудом инженерной мысли, пока не рухнул в пролив Такома-Нэрроуз, погубив оставленную в машине собаку. Её хозяин благополучно добежал до безопасного места (при этом предусмотрительно захватив с собой камеру, с помощью которой снял уникальные, сенсационные кадры).

Теперь будущим физикам и инженерам на примере этого моста объясняют, как не надо делать.

Причина случившегося до смешного проста: мост был слишком цельным, без полостей.

Вы замечали, какими хрупкими выглядят самые большие мосты? Они буквально просвечиваются:

Если вы думаете, что это делается для красоты или экономии металла, вы глубоко заблуждаетесь. Настоящее предназначение всего этого ажура — пропускать воздух.

Вы можете укрепить мост как угодно прочно — и он всё равно будет раскачиваться на ветру. Этого нельзя не учитывать.

Проектировщики моста через пролив Такома решили не забивать себе голову подобной ерундой. Они решили, что для ветра тут и без того достаточно места:

Они ошибались

С самого начала было ясно — с мостом что-то не так. Как только поднимался ветер, полотно начинало изгибаться, трястись и выручиваться, за что ещё во время возведения мост получил в народе прозвище «Галопирующая Герти».

В один прекрасный день частота колебаний ветрового потока совпала с собственной частотой колебаний конструкций моста. Центральный пролет моста затрепетал, как осенний лист, забился в конвульсиях и рухнул в пролив.

Строительство нового моста завершилось только в 1943-м. На этот раз в конструкцию были введены открытые фермы, стойки жёсткости, деформационные швы и системы гашения вибраций.

Вот как это выглядит сейчас:

6. Титаник затонул оттого, что центральный винт не мог менять направление движения

Теорий о том, как можно было предотвратить гибель Титаника — уйма. Одни считают, что айсберг надо было таранить в лоб, а не обходить, другие — что не стоило гневить Бога хвастливыми заявлениями о непотопляемости корабля…

Креатив креативом, но большинство критиков всё же грешат на недостаточное внимание, которое создатели Титаника уделили мерам безопасности.

Истинная причина трагедии оказалась до смешного простой: центральный винт рулевого механизма не мог менять направление движения.

На Титанике было установлено три винта. Два наружных, которые приводились в движение поршневыми двигателями, и центральный — управляемый паровой турбиной.

У паровых турбин по сравнению с их поршневыми аналогами есть существенное преимущество — сочетание меньшего размера и большей эффективности. Но есть и недостаток — они могут вращаться только в одну сторону. Пар не может менять направление, а значит и вал, приводимый в движение паром, будет крутиться только в одну сторону.

Поэтому, когда старший помощник капитана по фамилии Мэрдок попытался дать «полный назад» чтобы избежать столкновения с айсбергом, внешние винты завертелась в обратную сторону, в то время как центральный просто остановился.

Тем не менее, центральный винт находился непосредственно перед рулевым пером. После его отключения на рулевое перо стало попадать меньше воды, отчего управлять судном стало крайне трудно.

Если бы центральный винт, в случае необходимости, мог дать задний ход, и не мешал управлять движением судна (или если бы они вообще не давали задний ход), то вполне возможно, что Титаник вообще не задел бы айсберг, и жизни 1514 человек и восьми собак оказались бы вне опасности…

Понравилась статья? Поделить с друзьями:
  • Что такое математическая ошибка
  • Что такое логопедическая ошибка
  • Что такое логические ошибки при доказательстве
  • Что такое логирование ошибок
  • Что такое лингвистическая ошибка