Fejlslutning (matematik)
Inden for matematik er en fejlslutning et bevis, som er fejlbehæftet og dermed ugyldigt, men som ofte umiddelbart betragtet fremstår overbevisende, idet fejlen er svær at få øje på.[1] Den kan fx gemme sig i en algebraisk notation, hvor der divideres med nul, jf eksempel nedenfor.
Der er gerne noget særligt over en matematisk fejlslutning, for godtnok fører den til et meningsløst resultat, men ofte på en udspekuleret eller fiks måde,[2] og den besidder derfor ofte en pædagogisk kvalitet, som kan bruges i undervisningssammenhæng. Fejlslutningen optræder oftest i form af et bestemt ugyldigt trin i bevisførelsen, mellem andre gyldige trin, og adskiller sig derfor også på denne måde fra generel logisk fejlslutning. Sidstnævnte drejer sig ofte om et argument, som overtræder reglerne for logisk følgeslutning, mens der i en matematisk fejlslutning ofte sluttes korrekt, men på en fejlagtig forudsætning. Udover brug i undervisningssammenhæng kan fejlslutninger inspirere til nye opdagelser, som det fx er sket inden for euklidisk geometri[3] og grafteori. Euklid skrev angiveligt bogen Pseudaria, som er gået tabt, men som indeholdt en samling fejlslutninger.[4]
Fejlslutninger er opstået flere steder inden for matematikken. I algebra sker det typisk, når man dividerer med nul eller bestemmer rødder, men inden for geometri og infinitesimalregning kendes også berømte fejlslutninger.[5][6]
Brølere
redigérMan kan i visse tilfælde godt nå frem til et korrekt resultat, selv om man overtræder de matematiske regler. En sådan "brøler"[1] er altså ugyldig, selvom resultatet er korrekt. I dette eksempel:
er resultatet 16/64 = 1/4 korrekt, men det er imod reglerne på denne måde at lade 6-tallene gå ud mod hinanden.[a]
Division med nul
redigérFejlslutninger, hvor indgår division med nul, findes i mange varianter, fx dette eksempel, hvor det bevises, at 2 = 1:
- Lad a og b være lige store tal, forskellige fra nul
- Gang nu med a
- Fratræk b2
- Faktoriser begge sider: venstre side efter reglen om kvadraters forskel, højre side ved at sætte b uden for parentes
- Divider med (a − b)
- Idet a = b fås nu
- Omskriv til
- Divider med b (som er forskellig fra nul)
Fejlen ligger i linje 5: her divideres med a − b, som er nul, idet a = b. Da division med nul ikke er defineret, er udtrykket ugyldigt.
Ligebenet trekant
redigérDenne fejlslutning, beskrevet hos (Maxwell 1959, Kap. II, § 1), beviser at enhver trekant er ligebenet. Fejlslutningen tilskrives Lewis Carroll.[8]
For en vilkårlig trekant △ABC vil vi bevise, at AB = AC (se tegning):
- Tegn vinkelhalveringslinjen for ∠A (vinkel A)
- Tegn midtnormalen til linjestykket BC og kald skæringspunktet D
- Kald vinkelhalveringslinjens og midnormalens skæringspunkt O
- Tegn nu linjestykket OR vinkelret på AB, og linjestykket OQ vinkelret på AC
- Tegn linjestykkerne OB og OC
- Pga kongruens vil △RAO ≅ △QAO (∠ORA = ∠OQA = 90°; ∠RAO = ∠QAO; AO = AO (fælles side for de to trekanter))
- Pga hypotenuse-katete-kongruens vil △ROB ≅ △QOC (∠BRO = ∠CQO = 90°; BO = OC (hypotenuse); RO = OQ (katete))
- Derfor er AR = AQ, RB = QC og AB = AR + RB = AQ + QC = AC,
Som kuriosum kan nævnes, at man på lignende vis kan bevise, at alle trekanter er ligesidede.
Fejlen i bevisførelsen ligger i antagelsen om, at punkt O altid ligger inde i trekanten. O er centrum i trekantens omskrevne cirkel, undtagen for ligebenede og ligesidede trekanter, hvor AO og OD er sammenfaldende. Desuden kan det vises, at hvis AB er længere end AC, vil R ligge på linjestykket AB, mens Q ligger uden for linjestykket AC, og omvendt. Derfor er AB stadig lig AR + RB, mens AC faktisk er AQ - QC, og de to sidelængder er derfor ikke nødvendigvis ens.
Induktionsbevis
redigérDer kendes adskillige fejlagtige induktionsbeviser, hvor enten basis-forudsætningen eller induktionstrinnet i bevisførelsen er ukorrekt. Induktionsbeviser føres ved først at vise, noget gælder i ét tilfælde, basis-forudsætningen, og dernæst vise det også gælder i det tilstødende tilfælde. Ved gentagelse kan man så vise, det gælder i alle tilfælde. Nedenfor anføres et bevis for, at alle heste har samme farve.[9][b]
- Lad os antage, at i en vilkårlig gruppe med N heste har alle heste samme farve.
- Fjerner vi en hest fra gruppen, har vi en gruppe med N − 1 heste med samme farve. Tilføjer vi nu en anden hest, har vi en ny gruppe med N heste. Her har hestene også alle samme farve, da det er en gruppe med N heste.
- Vi har nu dannet to grupper med N heste med samme farve, og grupperne har N − 1 heste tilfælles. Da de to grupper har heste tilfælles, må hestene i de to grupper have samme farve.
- Samler vi nu alle hestene i de to grupper i én gruppe, har vi en gruppe med N + 1 heste med samme farve.
- Så hvis hestene i en vilkårlig gruppe med N heste har samme farve, har hestene i en gruppe med N + 1 heste også samme farve.
- Dette er indlysende sandt, hvis N = 1 (dvs. en gruppe med én hest, hvor alle heste har samme farve). Derfor kan vi ved induktion udlede, at N heste har samme farve for ethvert positivt heltal N, hvilket vil sige, alle heste har samme farve.
I dette bevis sker fejlslutningen under punkt 2 og 3. Når N = 1, har de to grupper af heste N − 1 = 0 heste tilfælles. De to grupper har derfor ikke nødvendigvis samme farve, hvoraf følger, at gruppen med N + 1 = 2 heste heller ikke nødvendigvis har samme farve. Følgeslutningen "hvis N heste har samme farve, har N + 1 heste også samme farve" gælder for ethvert N > 1, men ikke for N = 1. I beviset er basis-forudsætningen korrekt, mens induktionstrinnet er fejlbehæftet. Hvis vi i tilgift fik at vide, at to vilkårlige heste har samme farve, kunne vi udlede beviset korrekt ud fra basis-forudsætningen med N = 2.
Noter
redigér- ^ Samme fejlslutning ses også i disse brøker:
- ^ Oprindeligt gik George Pólyas bevis på, at alle piger har samme øjenfarve.
Referencer
redigér- ^ a b "The Definitive Glossary of Higher Mathematical Jargon — Mathematical Fallacy". Math Vault (amerikansk engelsk). 2019-08-01. Arkiveret fra originalen 28. februar 2020. Hentet 2019-10-24.
- ^ Maxwell 1959, s. 9
- ^ Maxwell 1959
- ^ Heath & Helberg 1908, Chapter II, §I
- ^ Barbeau, Ed (1991). "Fallacies, Flaws, and Flimflam" (PDF). The College Mathematics Journal. 22 (5). ISSN 0746-8342. Arkiveret (PDF) fra originalen 24. oktober 2019. Hentet 17. juli 2020.
- ^ "soft question - Best Fake Proofs? (A M.SE April Fools Day collection)". Mathematics Stack Exchange. Hentet 2019-10-24.
- ^ Heuser, Harro (1989), Lehrbuch der Analysis – Teil 1 (6th udgave), Teubner, s. 51, ISBN 978-3-8351-0131-9
- ^ Robin Wilson (2008), Lewis Carroll in Numberland, Penguin Books, s. 169-170, ISBN 978-0-14-101610-8
- ^ Pólya, George (1954). Induction and Analogy in Mathematics. Mathematics and plausible reasoning. Vol. 1. Princeton. s. 120.
Litteratur
redigér- 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, arkiveret fra originalen 23. juli 2020, hentet 17. juli 2020