Froga matematikoen metodoak
Matematikan frogapena diziplina honen muina da. Frogapen metodoak dira adierazpen matematiko baten egiazkotasuna bermatzeko oinarria. Oinarrizko hipotesietatik ondorioetaraino, urrats bakoitza baliozkoa dela bermatu behar da. Frogapen metodo desberdinak ulertzeak ez ditu gaitasun analitikoak indartzen bakarrik, baita matematikaren ikaskuntza esperientzia eta aplikazioa aberasten ere hainbat arlotan.
Artikulu honek matematikako frogapen-metodo nagusienetako batzuk aztertuko ditu, besteak beste, frogapen zuzena, zeharkako frogapena (kontraesana eta kontraesana), indukzio matematikoa eta adibide zehatzen bidezko frogapena. Metodo bakoitzak aplikazio, indargune eta ahulgune desberdinak ditu. Sakonago azter ditzagun.
1. Froga zuzena
Definizioa eta adibideak
Froga zuzena baieztapen bat frogatzen dugun metodo bat da, premisak (suposizioak) egiazkoak badira, ondorioa ere egiazkoa dela erakutsiz. Froga zuzenean, normalean dakigunaz hasten gara eta urrats logikoak erabiltzen ditugu ondoriora iristeko.
Kontua:
Frogatu \(n\) zenbaki bikoitia bada, orduan \(n^2\) ere bikoitia dela.
Froga:
Demagun \(n\) zenbaki bikoitia dela. Orduan, zenbaki bikoitiaren definizioaren arabera, idatz daiteke \(n = 2k\) dela zenbaki oso batzuetarako \(k\). Horrela,
\[ n^2 = (2k)^2 = 4k^2 = 2(2k^2) \]
Argi dago \(n^2\) zenbaki oso baten 2 aldiz adieraz daitekeela (hau da, \(2k^2\)). Zenbaki bikoiti baten baldintza nagusia zenbaki oso baten 2 aldiz adieraz daitekeela denez, orduan \(n^2\) ere zenbaki bikoitia da.
2. Zeharkako frogak
Zeharkako frogak bi metodo nagusi ditu: kontraesanezko froga eta kontraesanezko froga.
a. Kontrakotasunaren froga
Definizioa eta adibideak
Metodo honek “baldin \(P\), orduan \(Q\)” baieztapen inplikatiboa frogatzea dakar, baieztapenaren kontrako positiboa frogatuz: “baldin \(Q\) ez, orduan ez \(P\)”.
Kontua:
Frogatu \(n^2\) bakoitia bada, orduan \(n\) ere bakoitia dela.
Froga:
Esaldiaren kontrako esaldia hau da: Baldin eta \(n\) ez bada bakoitia (edo bikoitia), orduan \(n^2\) ez da bakoitia (edo bikoitia).
Demagun \(n\) bikoitia dela, orduan \(n = 2k\) zenbaki oso bat \(k\) bada. Beraz,
\[ n^2 = (2k)^2 = 4k^2 = 2(2k^2) \]
Horrek esan nahi du \(n^2\) zenbaki bikoitia dela. Beraz, kontraesana frogatuta dago, eta jatorrizko baieztapena ere egia dela bermatuta dago.
b. Kontraesanezko froga
Definizioa eta adibideak
Kontraesanezko frogak frogatu nahi den baieztapena faltsua dela suposatzea eta suposizio horrek kontraesan logiko batera eramaten duela erakustea dakar.
Kontua:
Frogatu \(\sqrt{2}\) zenbaki irrazionala dela.
Froga:
Demagun, horren ordez, \(\sqrt{2}\) zenbaki arrazionala dela. Orduan, \(\sqrt{2} = \frac{a}{b}\), non \(a\) eta \(b\) zenbaki oso erlatiboki lehenak diren (kenketa 1 da), eta \(b \ne 0\). Beraz, idatz dezakegu:
\[ \sqrt{2} = \frac{a}{b} \]
\[ 2 = \frac{a^2}{b^2} \]
\[ 2b^2 = a^2 \]
Ekuazio honetatik, ikusten dugu \(a^2\) zenbaki bikoitia dela, hau da, \(a\) ere bikoitia izan behar dela. Demagun \(a = 2k\), hau dugu:
\[ 2b^2 = (2k)^2 \]
\[ 2b^2 = 4k^2 \]
b^2 = 2k^2
\(b^2\) zenbaki bikoitia denez, orduan \(b\) ere zenbaki bikoitia izan behar da. Horrek esan nahi du \(a\) eta \(b\) biak zenbaki bikoitiak direla, eta horrek \(\frac{a}{b}\) bere forma sinpleenean dagoela dioen jatorrizko ustea ukatzen du. Beraz, \(\sqrt{2}\) ezin da zenbaki arrazionala izan, eta, beraz, irrazionala da.
3. Indukzio matematikoa
Definizioa eta adibideak
Indukzio matematikoa zenbaki osoak dituzten adierazpenak frogatzeko erabiltzen den frogapen-metodo bat da. Prozesuak bi urrats ditu: indukzio-oinarria eta indukzio-urratsa.
Kontua:
Frogatu zenbaki osoen lehenengo seriearen batura \(1 + 2 + 3 + … + n = \frac{n(n+1)}{2}\) dela.
Froga:
– Indukzio oinarria:
\(n = 1\)rako,
\[ 1 = \frac{1(1+1)}{2} \]
zuzena.
– Indukzio urratsak:
Demagun baieztapena egia dela \(k\) zenbaki baterako. Hau da,
\[ 1 + 2 + 3 + … + k = \frac{k(k+1)}{2} \]
\(k + 1\)-rentzat ere egia dela frogatu behar dugu. \((k + 1)\) gehitzen diegu ekuazioaren bi aldeei:
\[ 1 + 2 + 3 + … + k + (k + 1) = \frac{k(k+1)}{2} + (k + 1) \]
\[ = \frac{k(k+1) + 2(k+1)}{2} \]
\[ = \frac{(k + 1)(k + 2)}{2} \]
Beraz, baieztapena egia da \(k + 1\)rako. Horrela, indukzio matematikoaren printzipioaren arabera, baieztapena egia da zenbaki oso positibo guztientzat \(n\).
4. Froga adibide zehatzekin
Definizioa eta adibideak
Metodo honek baieztapenean emandako baldintza guztiak betetzen dituzten eta baieztapena egia dela erakusten duten adibide espezifikoak hautatuz frogatzea dakar. Hala ere, metodo hau normalean baieztapen bat faltsua dela frogatzeko erabiltzen da.
Kontua:
Frogatu bi karratu perfektuen batura gisa adierazi ezin diren zenbakiak daudela.
Froga:
Saiatu \(3\) adibidea erabiltzen:
Demagun \(3\) bi karratu perfektuen batura gisa adieraz daitekeela, hau da, \(a^2 + b^2 = 3\). Zenbaki osoen \(a\) eta \(b\) konbinazio guztiak saiatu ondoren,
1. \(a = 0\), \(b^2 = 3\) (ezinezkoa).
2. \(a = 1\), \(b^2 = 2\) (ezinezkoa).
3. \(a = 2\), \(b^2 = -1\) (ezinezkoa).
4. Zenbaki negatiboak edo 2 baino handiagoak diren zenbakiak ere ez dira posible.
Horrek erakusten du \(3\) ezin dela bi zenbaki karraturen batura gisa adierazi. Beraz, bi zenbaki karratu perfektuen batura gisa adierazi ezin diren zenbakiak daude.
Ondorioa
Matematikan frogapenek metodologia eta urrats sistematiko desberdinak behar dituzte, frogatu beharreko baieztapen motaren arabera. Froga zuzena, zeharkako froga (kontraesana eta kontraesana), indukzio matematikoa eta adibide bereziak dira egoera askotan erabiltzen diren frogapen metodo nagusietako batzuk. Metodo hauek ulertzeak matematikaren oinarriak sendotuko ditu eta matematikaren adar desberdinak sakonago aztertzen lagunduko dizu.
Praktikarekin eta ulermen sakonarekin, frogapen-metodo matematikoak arazo matematiko konplexuak ebazteko beti prest egongo den tresna bihurtuko dira.
