{"id":159,"date":"2017-01-30T17:43:22","date_gmt":"2017-01-30T17:43:22","guid":{"rendered":"https:\/\/borovik.net\/selecta\/?p=159"},"modified":"2026-01-30T18:01:29","modified_gmt":"2026-01-30T18:01:29","slug":"is-it-common-for-mathematicians-to-write-incorrect-proofs","status":"publish","type":"post","link":"https:\/\/borovik.net\/selecta\/2017\/01\/30\/is-it-common-for-mathematicians-to-write-incorrect-proofs\/","title":{"rendered":"Is it common for mathematicians to write incorrect proofs?"},"content":{"rendered":"\n<p>My answer to a question on Quora:<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Mathematicians frequently make mistakes, but they also have instincts and skills to identify them. To locate an arithmetic mistake in a long calculation could be very difficult, but, in surprisingly many cases, it is possible to say that the result is wrong because it does not behave properly under transformation of inputs.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Unfortunately these all-important skills of checking the answers are ignored in the mainstream mathematics education. I am trying to show my students at least some examples. Here is one from a recent lecture.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Problem: A truck travelled from A to B with average speed\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-1-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mn&gt;60&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-1\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-2\" class=\"mjx-mrow\"><span id=\"MJXc-Node-3\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">60<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0km\/h and back, on the same road, with average speed\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-2-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mn&gt;40&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-4\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-5\" class=\"mjx-mrow\"><span id=\"MJXc-Node-6\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">40<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0km\/h. What was the overall average speed of the truck?<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">As I expected, students\u2019 answer was\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-3-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mn&gt;50&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-7\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-8\" class=\"mjx-mrow\"><span id=\"MJXc-Node-9\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">50<\/span><\/span><\/span><\/span><\/span><\/span> km\/h. I asked them: \u201cso you believe that if I put $<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-4-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;u&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-10\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-11\" class=\"mjx-mrow\"><span id=\"MJXc-Node-12\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">u$ <\/span><\/span><\/span><\/span><\/span><\/span>and $<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-5-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;v&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-13\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-14\" class=\"mjx-mrow\"><span id=\"MJXc-Node-15\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">v$ <\/span><\/span><\/span><\/span><\/span><\/span>instead of\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-6-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mn&gt;60&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-16\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-17\" class=\"mjx-mrow\"><span id=\"MJXc-Node-18\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">60<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0and\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-7-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mn&gt;50&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-19\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-20\" class=\"mjx-mrow\"><span id=\"MJXc-Node-21\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">50<\/span><\/span><\/span><\/span><\/span><\/span>, the answer should be $\\frac{<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-8-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mfrac&gt;&lt;mrow&gt;&lt;mi&gt;u&lt;\/mi&gt;&lt;mo&gt;+&lt;\/mo&gt;&lt;mi&gt;v&lt;\/mi&gt;&lt;\/mrow&gt;&lt;mn&gt;2&lt;\/mn&gt;&lt;\/mfrac&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-22\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-23\" class=\"mjx-mrow\"><span id=\"MJXc-Node-24\" class=\"mjx-mfrac\"><span class=\"mjx-box MJXc-stacked\"><span class=\"mjx-numerator\"><span id=\"MJXc-Node-25\" class=\"mjx-mrow\"><span id=\"MJXc-Node-26\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">u<\/span><\/span><span id=\"MJXc-Node-27\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">+<\/span><\/span><span id=\"MJXc-Node-28\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">v}{<\/span><\/span><\/span><\/span><span class=\"mjx-denominator\"><span id=\"MJXc-Node-29\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">2}$<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>?\u201d Their answer was affirmative \u201cyes\u201d. \u2014 \u201cOK\u201d, said I, \u201cbut what if if the truck run out of fuel at B and its speed on the way back was\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-9-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mn&gt;0&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-30\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-31\" class=\"mjx-mrow\"><span id=\"MJXc-Node-32\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">0<\/span><\/span><\/span><\/span><\/span><\/span> km\/h. Your formula produces the answer $\\frac{<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-10-Frame\" class=\"mjx-chtml MathJax_CHTML\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mfrac&gt;&lt;mrow&gt;&lt;mn&gt;60&lt;\/mn&gt;&lt;mo&gt;+&lt;\/mo&gt;&lt;mn&gt;0&lt;\/mn&gt;&lt;\/mrow&gt;&lt;mn&gt;2&lt;\/mn&gt;&lt;\/mfrac&gt;&lt;mo&gt;=&lt;\/mo&gt;&lt;mn&gt;30&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-33\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-34\" class=\"mjx-mrow\"><span id=\"MJXc-Node-35\" class=\"mjx-mfrac\"><span class=\"mjx-box MJXc-stacked\"><span class=\"mjx-numerator\"><span id=\"MJXc-Node-36\" class=\"mjx-mrow\"><span id=\"MJXc-Node-37\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">60<\/span><\/span><span id=\"MJXc-Node-38\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">+<\/span><\/span><span id=\"MJXc-Node-39\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">0}{<\/span><\/span><\/span><\/span><span class=\"mjx-denominator\"><span id=\"MJXc-Node-40\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">2}<\/span><\/span><\/span><\/span><\/span><span id=\"MJXc-Node-41\" class=\"mjx-mo MJXc-space3\"><span class=\"mjx-char MJXc-TeX-main-R\">=<\/span><\/span><span id=\"MJXc-Node-42\" class=\"mjx-mn MJXc-space3\"><span class=\"mjx-char MJXc-TeX-main-R\">30$<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0km\/h. But the truck will never come back! What is wrong?\u201d<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Of course, this example is from school level mathematics, but it gives a simple example of transformation of inputs as a way of checking the answer. In research mathematics, there are many other (quite sophisticated and subject-specific) methods of checking the result without looking into details; they are not a substitution for a proof, but allow to detect 95% of mistakes.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>My answer to a question on Quora: Mathematicians frequently make mistakes, but they also have instincts and skills to identify them. To locate an arithmetic mistake in a long calculation could be very difficult, but, in surprisingly many cases, it is possible to say that the result is wrong because it does not behave properly [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-159","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/159","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/comments?post=159"}],"version-history":[{"count":7,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/159\/revisions"}],"predecessor-version":[{"id":166,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/159\/revisions\/166"}],"wp:attachment":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/media?parent=159"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/categories?post=159"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/tags?post=159"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}