# Invalid proof

Invalid proof

In mathematics, there are a variety of spurious proofs of obvious contradictions. Although the proofs are flawed, the errors, usually by design, are comparatively subtle. These fallacies are normally regarded as mere curiosities, but can be used to show the importance of rigor in mathematics.

Power and root manipulation

= Proof that 1 = −1 =

Version 1

Start with the identity:$-1 = -1 ,$Convert both sides of the equation into the vulgar fractions:$frac\left\{1\right\}\left\{-1\right\} = frac\left\{-1\right\}\left\{1\right\}$Apply square roots on both sides to yield:$sqrt\left\{frac\left\{1\right\}\left\{-1 = sqrt\left\{frac\left\{-1\right\}\left\{1$:$frac\left\{sqrt\left\{1\left\{sqrt\left\{-1 = frac\left\{sqrt\left\{-1\left\{sqrt\left\{1$Multiply both sides by $sqrt\left\{1\right\}cdotsqrt\left\{-1\right\}$ to obtain:$sqrt\left\{1\right\}cdotsqrt\left\{1\right\} = sqrt\left\{-1\right\}cdot sqrt\left\{-1\right\}$Any number's square root squared gives the original number, so:$displaystyle\left\{1 = -1\right\}$

"Q.E.D."

The proof is invalid because it applies the following principle for square roots incorrectly:

:$sqrt\left\{frac\left\{x\right\}\left\{y = frac\left\{sqrt\left\{x\left\{sqrt\left\{y$

This is only true when "x" and "y" are positive real numbers, which is not the case in the proof above. Thus, the proof is invalid.

Version 2

By incorrectly manipulating radicals, the following invalid proof is derived::$1 = sqrt\left\{1\right\} = sqrt\left\{\left(-1\right)\left(-1\right)\right\} = sqrt\left\{-1\right\}sqrt\left\{-1\right\} = -1$

"Q.E.D."

The rule $sqrt\left\{xy\right\} = sqrt\left\{x\right\}sqrt\left\{y\right\}$ is generally valid only if at least one of the two numbers "x" or "y" is positive, which is not the case here. Alternatively, one can view the square root as a 2-valued function over the complex numbers; in this case both sides of the above equation evaluate to {1, -1}.

Version 3

By crossing into and out of the realm of complex numbers, the following invalid proof is derived::$-1 = \left(-1\right)^3 = \left(-1\right)^frac\left\{6\right\}\left\{2\right\} = \left(\left(-1\right)^6\right)^frac\left\{1\right\}\left\{2\right\} = 1^frac\left\{1\right\}\left\{2\right\} = 1$

"Q.E.D."

The equation $a^\left\{bc\right\} = \left(a^b\right)^c$, when "b" and/or "c" are fractions, is generally valid only when "a" is positive, which is not the case here, leading to an invalid proof.

Version 4

Start with the Pythagorean identity:$,cos^2x =1-sin^2x$Raise both sides of the equation to the 3/2 power to obtain:$\left(cos^2x\right)^frac\left\{3\right\}\left\{2\right\}=\left(1-sin^2x\right)^frac\left\{3\right\}\left\{2\right\}$:$\left(cos^3x\right)=\left(1-sin^2x\right)^frac\left\{3\right\}\left\{2\right\}$Let $x=pi$:$-1=\left(1-0\right)^frac\left\{3\right\}\left\{2\right\}$:$-1=1 ,$

"Q.E.D."

In this proof, the fallacy is in the third step, where the rule $\left(a^b\right)^c = a^\left\{bc\right\}$ is applied without ensuring that "a" is positive. Also, in the 4th step, not all possible roots are explored for $\left(1-0\right)^frac\left\{3\right\}\left\{2\right\}$. Although 1 is an answer, it is not the only answer, as -1 would also work. Throwing out the erroneous 1 answer leaves a correct -1=-1.

= Proof that x=y for any real x, y =

If $a^b=a^c$then $b=c$. Therefore, since $1^x=1^y$, we may deduce $x=y$.

"Q.E.D."

The error in this proof lies in the fact that the stated rule is true only for positive $a e1$.

= Proof that the square root of -1 = 1 =

:$sqrt\left\{-1\right\} = \left(-1\right)^frac\left\{2\right\}\left\{4\right\} = \left(\left(-1\right)^2\right)^frac\left\{1\right\}\left\{4\right\} = 1^frac\left\{1\right\}\left\{4\right\} = 1$

"Q.E.D."

The error in this proof lies in the last line, where we are ignoring the other three "fourth roots" of 1, which are -1, i and -i. Seeing as we have squared our figure and then taken roots, we can't always assume that all the roots will be correct. So the correct "fourth roots" are i and -i, which are the imaginary numbers defined to be $sqrt\left\{-1\right\}$. This idea is shown in this next invalid proof:

= Proof that -2 = 2 =

:$x = -2 ,$:$x^2 = ,4$:$x = sqrt\left\{4\right\} = 2 ,$

"Q.E.D."

Again, the error is that we have introduced another square root by squaring, then taking roots. The only correct square root of 4 here is 2.

Division by zero

= Proof that 2 = 1 =

Let "a" and "b" be equal non-zero quantities:$a = b ,$Multiply through by "a":$a^2 = ab ,$Subtract $b^2 ,$:$a^2 - b^2 = ab - b^2 ,$Factor both sides:$\left(a - b\right)\left(a + b\right) = b\left(a - b\right) ,$Divide out $\left(a - b\right) ,$:$a + b = b ,$Observing that $a = b ,$:$b + b = b ,$Combine like terms on the left:$2b = b ,$Divide by the non-zero "b":$2 = 1 ,$

"Q.E.D." [Harro Heuser: "Lehrbuch der Analysis - Teil 1", 6th edition, Teubner 1989, ISBN 978-3835101319, page 51 (German).]

The fallacy is in line 5: the progression from line 4 to line 5 involves division by $\left(a - b\right)$, which is zero since "a" equals "b". Since division by zero is undefined, the argument is invalid. Deriving that the only possible solution for lines 5, 6, and 7, namely that $a = b = 0$, this flaw is evident again in line 7, where one must divide by b (0) in order to produce the fallacy (not to mention that the only possible solution denies the original premise that a and b are nonzero). A similar invalid proof would be to say that $2 \left(0\right) = 1 \left(0\right)$ (which is true) therefore, by dividing by zero, $2=1$.

Proof that all numbers are equal to 1

Suppose we have the following system of linear equations::Dividing the first equation by $c_1$, we get $x_1 + x_2 + cdots + x_n = 1.$ Let us now try to solve the system via Cramer's rule:

:

Since each column of the coefficient matrix is equal to the resultant column vector, we have:$A_i = A implies |A_i| = |A| implies = 1 = x_i$

for all $i$. Substituting this back into $x_1 + x_2 + cdots + x_n = 1$, we get

:$sum_\left\{i=1\right\}^n i = 1$.

"Q.E.D."

This proof is fallacious because Cramer's rule can only be applied to systems with a unique solution; however, all the equations in the system are obviously equivalent, and insufficient to provide a unique solution. The fallacy occurs when we try to divide $|A_i|$ by $|A|$, as both are equal to 0.

Proof that all numbers are equal

Multiplying any number by 0 gives an answer of zero. For example:$2 imes0 = 0 ,.$

Rearranging the equation gives:$2 = \left\{0 over 0\right\} ,.$

However, by the same reasoning:$1 imes0 = 0 ,,$

:$1 = \left\{0 over 0\right\} ,,$

and since:$\left\{0 over 0\right\} = \left\{0 over 0\right\} ,,$substitution gives:$2 = 1 ,.$

The same method can be used to show that any number is equal to any other number, and hence all numbers are equal.

"Q.E.D."

The fallacy is in the incorrect assumption that division by 0 gives a well-defined value.

Calculus

= Proof that 2 = 1 =

By the common intuitive meaning of multiplication we can see that:$4 imes 3 = 3 + 3 + 3 + 3 ,$It can also be seen that for a non-zero "x":$x = 1_1 + 1_2 + cdots + 1_x$Now we multiply through by "x":$x^2 = x_1 + x_2 + cdots + x_x$Then we take the derivative with respect to "x":$2x = 1_1 + 1_2 + cdots + 1_x$Now we see that the right hand side is "x" which gives us:$2x = x ,$Finally, dividing by our non-zero "x" we have:$2 = 1 ,$

"Q.E.D."

The fallacy lies in line two. Our definition of x assumed that x was an integer; this equation is not meaningful for non-integer real numbers. Functions are only differentiable on a continuous space such as the real numbers, not on integers. For any particular integer x, you get a true equation. But to differentiate both sides you need an equation of functions, not an equation of integers. The right-hand function $x + x + cdots + x$ with "x" terms is not a meaningful function on the reals and thus not differentiable.

Also, when taking the derivative in line 4 the derivative is taken with respect to each of the terms individually, but not with respect to the numbers of terms. This is erroneous, as the number of terms is "x", the variable of differentiation. The chain rule is incorrectly not applied on the right-hand side of the equation.

= Proof that 0 = 1 =

Begin with the evaluation of the indefinite integral:$int frac\left\{1\right\}\left\{x\right\} dx$Through integration by parts, let :$u=frac\left\{1\right\}\left\{x\right\}$ and $dv=dx$Thus, :$du=-frac\left\{1\right\}\left\{x^2\right\}dx$ and $v=x$Hence, by integration by parts:$int frac\left\{1\right\}\left\{x\right\} dx=frac\left\{x\right\}\left\{x\right\} - int left \left( - frac\left\{1\right\}\left\{x^2\right\} ight \right) x dx$:$int frac\left\{1\right\}\left\{x\right\} dx=1 + int frac\left\{1\right\}\left\{x\right\} dx$:$0 = 1 ,$

"Q.E.D."

The error in this proof lies in an improper use of the integration by parts technique. Upon use of the formula, a constant, C, must be added to the right-hand side of the equation. This is due to the derivation of the integration by parts formula; the derivation involves the integration of an equation and so a constant must be added. In most uses of the integration by parts technique, this initial addition of C is ignored until the end when C is added a second time. However, in this case, the constant must be added immediately because the remaining two integrals cancel each other out.

In other words, the second to last line is correct (1 added to any antiderivative of 1/x is still an antiderivative of 1/x); but the last line is not. You cannot cancel $int 1/x ,dx$ because they are not necessarily equal. There are infinitely many antiderivatives of a function, all differing by a constant. In this case, the antiderivatives on both sides differ by 1.

This problem can be avoided if we use definite integrals (i.e. use bounds). Then in the second to last line, 1 would be evaluated between some bounds, which would always evaluate to 1 - 1 = 0. The remaining definite integrals on both sides would indeed be equal.

= Proof that 1 = 0 =

Take the statement

:$x = 1,$

Taking the derivative of each side,

:$frac\left\{d\right\}\left\{dx\right\}x = frac\left\{ d\right\}\left\{dx\right\}1$

The derivative of x is 1, and the derivative of 1 is 0. Therefore,

:$1 = 0,$

"Q.E.D."

The error in this proof is it treats x as a variable, and not as a constant as stated with x = 1 in the proof, when taking its derivative. Taking the proper derivative of x yields the correct result, 0 = 0.

Infinite series

= Proof that 0 = 1 =

Start with the addition of an infinite succession of zeros:$0 = 0 + 0 + 0 + cdots$Then recognize that $0 = 1 - 1$:$0 = \left(1 - 1\right) + \left(1 - 1\right) + \left(1 - 1\right) + cdots$Applying the associative law of addition results in:$0 = 1 + \left(-1 + 1\right) + \left(-1 + 1\right) + \left(-1 + 1\right) + cdots$Of course $-1 + 1 = 0$:$0 = 1 + 0 + 0 + 0 + cdots$And the addition of an infinite string of zeros can be discarded leaving:$0 = 1 ,$

"Q.E.D."

The error here is that the associative law cannot be applied freely to an infinite sum unless the sum would converge without any parentheses. Here that sum is 1 − 1 + 1 − 1 + · · ·, a classic divergent series. In this particular argument, the second line gives the sequence of partial sums 0, 0, 0, ... (which converges to 0) while the third line gives the sequence of partial sums 1, 1, 1, ... (which converges to 1), so these expressions need not be equal. This can be seen as a counterexample to generalizing Fubini's theorem and Tonelli's theorem to infinite integrals (sums) over measurable functions taking negative values.

In fact the associative law for addition just states something about three-term sums: $\left(a+b\right)+c=a+\left(b+c\right)$. It can easily be shown to imply that for any finite sequence of terms separated by "+" signs, and any two ways to insert parentheses so as to completely determine which are the operands of each "+", the sums have the same value; the proof is by induction on the number of additions involved. In the given "proof" it is in fact not so easy to see how to start applying the basic associative law, but with some effort one can arrange larger and larger initial parts of the first summation to look like the second. However this would take an infinite number of steps to "reach" the second summation completely. So the real error is that the proof compresses infinitely many steps into one, while a mathematical proof must consist of only finitely many steps. To illustrate this, consider the following "proof" of $1=0$ that only uses convergent infinite sums, and only the law allowing to interchange two consecutive terms in such a sum, which is definitely valid::

Proof that a series of positive terms sums to −1

Start with the infinite geometric series:$1 + 2 + 4 + 8 + cdots$The well-known formula for the sum of an infinite geometric series is:$frac\left\{a_0\right\}\left\{1-r\right\}$where "a"0 is the first term of the series and "r" is the common ratio between terms. Applying this formula yields:$1 + 2 + 4 + 8 + cdots = frac\left\{1\right\}\left\{1-2\right\}=-1$"Q.E.D."

The error in this proof lies in the fact that a geometric series converges if and only if $|r|<1$.

Proof that the sum of all positive integers is negative

Define the constants "S" and "A" by:$S=sum_\left\{k=1\right\}^\left\{infin\right\} k=1+2+3+4+cdots quad A=sum_\left\{k=1\right\}^\left\{infin\right\} k\left(-1\right)^\left\{k+1\right\}=1-2+3-4+cdots$.

Therefore

:$S-A=\left(1-1\right)+\left(2-\left(-2\right)\right)+\left(3-3\right)+\left(4-\left(-4\right)\right)+cdots=4+8+12+16+cdots=4S$:$S+A=\left(1+1\right)+\left(2+\left(-2\right)\right)+\left(3+3\right)+\left(4+\left(-4\right)\right)+cdots=2+6+10+14+cdots=4S+\left(2+2+2+2+cdots\right); .$

Adding these two equations gives

:$2S = 8S + \left(2+2+2+2+cdots\right)$

:$Rightarrow S = -left\left(frac\left\{1\right\}\left\{6\right\} ight\right)\left(2+2+2+2+cdots\right); .$

Therefore, the sum of all positive integers is negative.

The error in this proof is that it assumes that divergent series obey the ordinary laws of arithmetic.

Extraneous solutions

= Proof that −2 = 1 =

Start by attempting to solve the equation:$sqrt \left[3\right] \left\{1-x\right\} + sqrt \left[3\right] \left\{x-3\right\} = 1,$

Taking the cube of both sides yields:$\left(1-x\right) + 3 sqrt \left[3\right] \left\{1-x\right\} sqrt \left[3\right] \left\{x-3\right\} \left(sqrt \left[3\right] \left\{1-x\right\} + sqrt \left[3\right] \left\{x-3\right\}\right) + \left(x-3\right) = 1,$Replacing the expression within parenthesis by the initial equation and canceling common terms yields:$-2 + 3 sqrt \left[3\right] \left\{1-x\right\} sqrt \left[3\right] \left\{x-3\right\} = 1,$

:$sqrt \left[3\right] \left\{1-x\right\} sqrt \left[3\right] \left\{x-3\right\} = 1,$Taking the cube again produces:$\left(1-x\right) \left(x-3\right) = 1,$

:$-x^2 + 4 x - 3 = 1,$

:$x^2 - 4 x + 4 = 0,$Which produces the solution "x" = 2. Substituting this value into the original equation, one obtains:$sqrt \left[3\right] \left\{1-2\right\} + sqrt \left[3\right] \left\{2-3\right\} = 1,$So therefore:$\left(-1\right) + \left(-1\right) = 1,$:$-2 = 1,$"Q.E.D."

In the forward direction, the argument merely shows that no "x" exists satisfying the given equation. If you work backward from "x"=2, taking the cube root of both sides ignores the possible factors of $frac\left\{-1\right\}\left\{2\right\} pm frac\left\{sqrt\left\{-3\left\{2\right\}$ which are non-principal cube roots of one. An equation altered by raising both sides to a power is a consequence, but not necessarily equivalent to, the original equation, so it may produce more solutions. This is indeed the case in this example, where the solution "x" = 2 is arrived at while it is clear that this is not a solution to the original equation. Also, every number has 3 cube roots, 2 complex and one either real or complex. Also the substitution of the first equation into the second to get the third would be begging the question when working backwards.

= Proof that 3 = 0 =

Assume the following equation for a complex x ::$x^2+x+1=0,$Then::$x^2=-x-1 ,$Divide by x (assume x is not 0):$x=-1 -1/x ,$Substituting the last expression for x in the original equation we get: :$x^2+\left(x\right)+1=0,$:$x^2 + \left(-1-1/x\right) +1 = 0 ,$:$x^2 + \left(-1/x\right) = 0 ,$:$x^2=1/x ,$:$x^3=1 ,$:$x=1 ,$Substituting x=1 in the original equation yields: :$1^2+1+1 = 0 ,$:$3 = 0 ,$"Q.E.D."

The fallacy here is in assuming that $x^3 = 1$ implies $x = 1$. There are in fact three cubed roots of unity.Two of these roots, which are complex, are the solutions of the original equation. The substitution has introduced the third one, which is real, as an extraneous solution. The equation after the substitution step is implied by the equation before the substitution, but not the other way around, which means that the substitution step could and did introduce new solutions.

Complex numbers

= Proof that 1 = 3 =

From Euler's formula we see that:$e^\left\{pi i\right\} = cos\left(pi\right) + i sin\left(pi\right) = -1 + 0i = -1 ,$and:$e^\left\{3pi i\right\} = cos\left(3pi\right) + i sin\left(3pi\right) = -1 + 0i = -1 ,$so we have:$e^\left\{pi i\right\} = e^\left\{3pi i\right\} ,$Taking logarithms gives:$ln\left(e^\left\{pi i\right\}\right) = ln\left(e^\left\{3pi i\right\}\right) ,$and hence:$pi i = \left\{3pi i\right\} ,$Dividing by π"i" gives:$1 = 3 ,$"QED."

The mistake is that the rule $ln\left(e^x\right) = x$ is in general only valid for real "x", not for complex "x". The complex logarithm is actually multi-valued; and $ln\left(-1\right) = \left(2k+1\right)pi i$ for any integer "k", so we see that $pi i$ and $3pi i$ are two among the infinite possible values for ln(-1).

= Proof that x = y for any real x, y =

Let "x" and "y" be any two numbersThen let $a = x - y , b = \left(x + y\right)^2 , c = 4 \left(x^2 - x y + y^2\right),$Let $u = a , v = b - c,$Let's compute:: $\left(u + sqrt \left\{v\right\}\right)^3 = u^3 + 3 u^2 sqrt\left\{v\right\} + 3 u v + v sqrt\left\{v\right\}$: $\left(u - sqrt \left\{v\right\}\right)^3 = u^3 - 3 u^2 sqrt\left\{v\right\} + 3 u v - v sqrt\left\{v\right\}$Replacing $u = a , v = b - c$, we get:: $\left(a + sqrt \left\{b - c\right\}\right)^3 = a \left(a^2 + 3 b - 3 c\right) + \left(3 a^2 + b - c\right)sqrt\left\{b - c\right\}$: $\left(a - sqrt \left\{b - c\right\}\right)^3 = a \left(a^2 + 3 b - 3 c\right) - \left(3 a^2 + b - c\right)sqrt\left\{b - c\right\}$Let's compute $3 a^2 + b - c,$Replacing $a = x - y , b = \left(x + y\right)^2 , c = 4 \left(x^2 - x y + y^2\right),$:: $3 a^2 + b - c = 3 \left(x^2 - 2 x y + y^2\right) + x^2 + 2 x y + y^2 - 4 \left(x^2 - x y + y^2\right) = 0,$So:: $\left(a + sqrt\left\{b - c\right\}\right)^3 = \left(a - sqrt \left\{b - c\right\}\right)^3,$: $a + sqrt\left\{b - c\right\} = a - sqrt \left\{b - c\right\},$: $sqrt \left\{b - c\right\} = 0,$: $b - c = 0,$: $b = c,$Replacing $b = \left(x + y\right)^2 , c = 4 \left(x^2 - x y + y^2\right),$:: $\left(x + y\right)^2 = 4 \left(x^2 - x y + y^2\right),$: $x^2 + 2 x y + y^2 = 4 \left(x^2 - x y + y^2\right),$: $-3 x^2 + 6 x y - 3 y^2 = 0,$: $\left(x - y\right)^2 = 0,$: $x - y = 0,$: $x = y,$

"Q.E.D."

The mistake here is that from "z"³ = "w"³ one may not in general deduce "z" = "w" (unless "z" and "w" are both real, which they are not in our case).

Inequalities

Proof that 1 < 0

Let us first suppose that:$displaystyle\left\{0 < x < 1\right\}$Now we will take the logarithm of both sides. As long as "x" > 0, we can do this because logarithms are monotonically increasing. Observing that the logarithm of 1 is 0, we get:$displaystyle\left\{ln \left(x\right) < 0\right\}$Dividing by ln ("x") gives:$displaystyle\left\{1 < 0\right\}$

"Q.E.D."

The violation is found in the last step, the division. This step is invalid because ln("x") is negative for 0 < "x" < 1. While multiplication or division by a positive number preserves the inequality, multiplication or division by a negative number reverses the inequality, resulting in the correct expression 1 > 0.

Infinity

= Proof that ∞ = 1/4 =

Since an infinitely large plane has the coordinates of (-∞,∞) &times; (-∞,∞), this means that:$frac\left\{\right\}\left\{\right\}infin = \left[infin - \left(-infin\right)\right] ^2$Which can be simplified into:$frac\left\{\right\}\left\{\right\}infin = \left(2infin\right)^2$And finally:$frac\left\{\right\}\left\{\right\}infin = 4infin^2$Now combine the ∞'s::$1 = 4frac\left\{infin^2\right\}\left\{infin\right\}$This itself then simplifies into:$1 = 4 infin ,$And finally, to find the value of ∞ itself,:$frac\left\{1\right\}\left\{4\right\} = infin$This can be checked by starting with the equation given in step 1,:$frac\left\{\right\}\left\{\right\}infin = \left[infin - \left(-infin\right)\right] ^2$Substitute in the above value of ∞ to see if it really works::$frac\left\{1\right\}\left\{4\right\} = left \left[frac\left\{1\right\}\left\{4\right\} - left\left(-frac\left\{1\right\}\left\{4\right\} ight\right) ight\right] ^2$Which is then simplified to get:$frac\left\{1\right\}\left\{4\right\} = left \left[frac\left\{1\right\}\left\{2\right\} ight\right] ^2$And that then simplifies into:$frac\left\{1\right\}\left\{4\right\} = frac\left\{1\right\}\left\{4\right\}$

"Q.E.D."

This proof's fallacy is using ∞ (infinity) to represent a finite value &ndash; in reality infinity is thought of as a "direction" as opposed to a "destination". One of the more unusual aspects of this type of invalid proof is that it can be checked, unlike many other invalid proofs, particularly ones which rely on division by zero. Also, infinity divided by itself is undefined.

Examples in geometry

Proof that any angle is zero

Construct a rectangle ABCD. Now identify a point E such that CD = CE and the angle DCE is a non-zero angle. Take the perpendicular bisector of AD, crossing at F, and the perpendicular bisector of AE, crossing at G.Label where the two perpendicular bisectors intersect as H and join this point to A, B, C, D, and E.

Now, AH=DH because FH is a perpendicular bisector; similarly BH = CH. AH=EH because GH is a perpendicular bisector, so DH = EH. And by construction BA = CD = CE. So the triangles ABH, DCH and ECH are congruent, and so the angles ABH, DCH and ECH are equal.

But if the angles DCH and ECH are equal then the angle DCE must be zero.

"Q.E.D."

The error in the proof comes in the diagram and the final point. An accurate diagram would show that the triangle ECH is a reflection of the triangle DCH in the line CH rather than being on the same side, and so while the angles DCH and ECH are equal in magnitude, there is no justification for subtracting one from the other; to find the angle DCE you need to subtract the angles DCH and ECH from the angle of a full circle (2π or 360°).

Proof that any parallelogram has infinite area

Take a parallelogram ABCD. Rule an infinite number of lines equal and parallel to CD along AD's length until ABCD is completely full of these lines. As these lines all equal CD, the total area of these lines (and thus the parallelogram) is ∞ × (CD), thus infinity.

"Q.E.D."

The fallacy here is that a line does not represent an area, and can't be used in this way. Also, infinity is not a real number and is not used in conventional geometrical equations.

Proof that any triangle is isosceles

It is sufficient to prove that any two sides of a triangle are congruent.

"Refer to the diagrams at [http://www.mathpages.com/home/kmath392.htm MathPages article] ."

Given a triangle △ABC, proof that AB = AC:
# Draw a line bisecting ∠A
# Call the midpoint of line segment BC, D
# Draw the perpendicular bisector of segment BC, which contains D
# If these two lines are parallel, AB = AC, by some other theorem; otherwise they intersect at point P
# Draw line PE perpendicular to AB, line PF perpendicular to AC
# Draw lines PB and PC
# By AAS, △EAP ≅ △FAP (

# By HL, △PDB ≅ △PDC (∠PDB,∠PDC are right angles; PD = PD; BD = CD because PD bisects BC)
# By SAS, △EPB ≅ △FPC (EP = FP since △EAP ≅ △FAP; BP = CP since △PDB ≅ △PDC; ∠EPB ≅ ∠FPC since they are vertical angles)
# Thus, AE ≅ AF, EB ≅ FC, and AB = AE + EB = AF + FC = 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.

All but the last step of the proof is indeed correct (those three triangles are indeed congruent). The error in the proof is the assumption in the diagram that the point P is "inside" the triangle. In fact, whenever AB ≠ AC, P lies "outside" the triangle. Furthermore, it can be further shown that, if AB is shorter than AC, then E will lie "outside" of AB, while F will lie "within" AC (and vice versa). (Any diagram drawn with sufficiently accurate instruments will verify the above two facts.) Because of this, AB is actually AE - EB, whereas AC is still AF + FC; and thus the lengths are not necessarily the same.

See also

* Paradox
* Fallacy
* Proof by intimidation

References

External links

* [http://www.cut-the-knot.org/proofs/index.shtml Invalid proofs at Cut-the-knot (including literature references)]
* [http://www.ahajokes.com/math_jokes.html More invalid proofs from AhaJokes.com]
* [http://www.jokes-funblog.com/categories/49-Math-Jokes More invalid proofs also on this page]

Wikimedia Foundation. 2010.

Поможем сделать НИР

### Look at other dictionaries:

• Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… …   Wikipedia

• Interactive proof system — In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to… …   Wikipedia

• Birmingham Proof House — The Birmingham Gun Barrel Proof House was established in 1813 by an act of Parliament at the request and expense of the then prosperous Birmingham Gun Trade. Its remit was to provide a testing and certification service for firearms in order to… …   Wikipedia

• Mathematical fallacy — In mathematics, certain kinds of mistakes in proof, calculation, or derivation are often exhibited, and sometimes collected, as illustrations of the concept of mathematical fallacy. The specimens of the greatest interest can be seen as… …   Wikipedia

• Clique problem — The brute force algorithm finds a 4 clique in this 7 vertex graph (the complement of the 7 vertex path graph) by systematically checking all C(7,4)=35 4 vertex subgraphs for completeness. In computer science, the clique problem refers to any of… …   Wikipedia

• List of mathematical proofs — A list of articles with mathematical proofs:Theorems of which articles are primarily devoted to proving them: See also: *Bertrand s postulate and a proof *Estimation of covariance matrices *Fermat s little theorem and some proofs *Gödel s… …   Wikipedia

• Pseudomathematics — is a form of mathematics like activity that does not work within the framework, definitions, rules, or rigor of formal mathematical models. While any given pseudomathematical approach may work within some of these boundaries, for instance, by… …   Wikipedia

• Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

• Square root — Measured fall time of a small steel sphere falling from various heights. The data is in good agreement with the predicted fall time of , where h is the height and g is the acceleration of gravity. In mathematics, a square root of a number x is a… …   Wikipedia

• Formal fallacy — In philosophy, a formal fallacy or a logical fallacy is a pattern of reasoning which is always wrong. This is due to a flaw in the structure of the argument which renders the argument invalid. A formal fallacy is contrasted with an informal… …   Wikipedia

### Share the article and excerpts

##### Direct link
Do a right-click on the link above
and select “Copy Link”