Bevis

Inom matematiken är ett bevis ett logiskt resonemang som leder fram till en slutsats. Resonemanget ska vara så pass strikt att slutsatsen måste vara sann om premisserna, alltså det man utgår ifrån, är det. Det finns olika sätt att bevisa något matematisk:

  • Ett direkt bevis är ett konsekvensresonemang där man går rakt på det man vill visa: "Det där leder till det här". Vanlig ekvationslösning är uppbyggd på det här sättet.
  • Ett indirekt bevis går från andra hållet. Istället för att direkt visa att "talet 12 är jämnt" visar man att "om ett tal är udda, så är det inte 12", vilket har samma innebörd.
  • Ett motsägelsebevis bevisar ett påstående genom att visa hur motsatsen ger en motsägelse. Ett klassiskt exempel är beviset för att 2\sqrt 2 är irrationellt, där man får en motsägelse när talet antas vara rationellt.

Pythagoras sats är ett exempel på en sats som kan bevisas med hjälp av dessa metoder. Av tradition brukar ett bevis avslutas med en förkortning som talar om att beviset är slut. Ett vanligt exempel är Q.E.D. som kommer från latinets "Quod Erat Demonstrandum", vilket betyder ungefär "vilket skulle bevisas". Ofta används även den svenska motsvarigheten V.S.B. som står för just Vilket Skulle Bevisas, eller en ruta: .\square.