Froga matematikoen metodoak

### Frogapen metodo matematikoak

Froga matematikoa pentsamendu matematikoaren oinarrizko zutabea da eta matematikaren diziplina osoa eraikitzen den oinarria. Frogak aieruen, teoremen eta adierazpen matematikoen zuzentasuna ziurtatzeko balio dute. Froga teknika desberdinak menperatzea ezinbestekoa da matematikarientzat, zientzialarientzat, ingeniarientzat eta pentsamendu analitiko zorrotzean parte hartzen duen edonorentzat. Artikulu honek froga metodo matematiko mota desberdinak aztertzen ditu, metodo bakoitzak nola ekartzen dituen indargune bereziak baliozkotze matematikoaren arlora erakutsiz.

#### 1. Froga zuzena

Froga zuzena ikuspegi zuzen batek bereizten du, non ondorioa zuzenean emandako premisetatik eratortzen den urrats logikoen sekuentzia bat erabiliz. Metodo hau frogatzeko modurik intuitiboena eta oinarrizkoena dela uste da orokorrean.

Adibidea:
Bi zenbaki bikoitiren batura bikoitia dela frogatzeko:
1. Izan bitez \(a\) eta \(b\) bi zenbaki bikoiti.
2. Definizioz, \( a = 2k \) eta \( b = 2m \) zenbaki oso batzuetarako \( k \) eta \( m \).
3. Batura \(a + b = 2k + 2m = 2(k + m)\) da.
4. \(k + m\) zenbaki osoa denez, \(a + b\) bikoitia da.

#### 2. Zeharkako froga

Zeharkako frogak, askotan kontraesanezko frogaren sinonimoak, frogatutzat jotzen den baieztapenaren ezeztapena onartzea eta suposizio horrek kontraesan logiko batera eramaten duela erakustea dakar. Inplikazio honek jatorrizko baieztapena egiazkoa dela inplikatzen du.

Adibidea:
\(\sqrt{2}\) irrazionala dela frogatzeko:
1. Demagun kontrakoa, hau da, \(\sqrt{2}\) arrazionala dela.
2. Orduan, \(\sqrt{2} = \frac{p}{q}\) non \( p \) eta \( q \) zenbaki elkarrekiko lehenak diren (hau da, haien zatitzaile komun handiena 1 den).
3. Bi aldeak karratuz, \( 2 = \frac{p^2}{q^2} \), beraz \( 2q^2 = p^2 \).
4. Beraz, \( p^2 \) bikoitia da, eta horrek esan nahi du \( p \) ere bikoitia dela (zenbaki bakoiti baten karratua bakoitia baita).
5. Izan bedi \( p = 2k \) zenbaki oso batentzat \( k \). Orduan \( 2q^2 = (2k)^2 = 4k^2 \), beraz \( q^2 = 2k^2 \).
6. Horrek inplikatzen du \( q^2 \) bikoitia dela, eta beraz \( q \) bikoitia izan behar dela.
7. Hala ere, honek kontraesanean jartzen du \(p\) eta \(q\) zenbaki bikoitiak direla dioen ustea.
8. Beraz, \(\sqrt{2}\) irrazionala izan behar da.

#### 3. Agortze bidezko froga

Agortze bidezko frogak, edo kasuen analisiak, adierazpena kasu kopuru finitu batean banatzean eta kasu bakoitza egia dela frogatzean datza. Metodo hau bereziki erabilgarria da kasu kopurua kudeagarriro txikia denean.

Adibidea:
Frogatu zenbaki oso baten karratua beti ez-negatiboa dela:
1. Demagun zenbaki osoa (n) dela.
2. 1. kasua: \(n \geq 0 \). Kasu honetan, \(n^2 \geq 0 \).
3. 2. kasua: \( n < 0 \). Hemen, \( n^2 = (-n)^2 \), hau da, oraindik \(\geq 0 \).

Ondorioz, kasu guztietan, \( n^2 \) ez da negatiboa. #### 4. Indukzio bidezko frogapena Indukzio matematikoa metodo indartsua da, batez ere zenbaki osoei buruzko baieztapenak frogatzeko erabilgarria. Bi urrats nagusi ditu: oinarrizko kasua, hasierako baliorako baieztapena egiaztatzen duena, eta urrats induktiboa, baieztapena zenbaki oso arbitrario \( k \) baterako betetzen bada, \( k+1 \)rako ere betetzen dela frogatzen duena. Adibidea: Frogatu zenbaki oso \( n \geq 1 \) bakoitzeko, lehenengo \( n \) zenbaki oso positiboen batura \( \frac{n(n+1)}{2} \) dela: 1. Oinarrizko kasua: \( n = 1 \)rako, ezkerreko aldea \( 1 \) da eta eskuineko aldea \( \frac{1(1+1)}{2} = 1 \). Oinarrizko kasua egia da. 2. Urrats induktiboa: Demagun baieztapena egia dela zenbaki oso \( k \) baterako; hau da, \( 1 + 2 + \cdots + k = \frac{k(k+1)}{2} \). 3. \( 1 + 2 + \cdots + k + (k+1) = \frac{(k+1)(k+2)}{2} \) dela frogatu behar dugu. Hipotesi induktibotik abiatuta: \( 1 + 2 + \cdots + 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, indukzioz, adierazpena \( n \geq 1 \) guztientzat betetzen da. #### 5. Eraikuntza bidezko frogapena Eraikuntza bidezko frogapenak objektu matematiko baten existentzia erakusten du objektua esplizituki eraikiz. Metodo honek askotan ikuspegi gehiago ematen du frogapen ez-eraikitzaile batekin alderatuta. Adibidea: Frogatu zenbaki lehen bikoiti bat existitzen dela: 1. Demagun 2 zenbakia. 2. Definizioz, 2 lehena da, bi zatitzaile positibo desberdin dituelako: 1 eta 2. 3. 2 bikoitia ere bada, 2ren bidez ikusten baita. 4. Beraz, 2 zenbaki lehen bikoitia da. #### 6. Kontraadibide bidezko frogapena Frogatzeko metodo bat ez den arren, kontraadibide bat ematea modu indartsua da baieztapen bat gezurtatzeko, gutxienez kasu batek huts egiten duela erakutsiz. Metodo hau bereziki erabilgarria da hipotesiak eta aieruak baliogabetzeko. Adibidea: Gezurtatu "Zenbaki lehen guztiak bakoitiak dira" baieztapena: 1. Demagun 2 zenbakia. 2. Aurretik erakutsi bezala, 2 zenbaki lehena da. 3. 2 bikoitia ere bada, ez bakoitia. 4. Beraz, "Zenbaki lehen guztiak bakoitiak dira" baieztapena faltsua da. #### 7. Kontrapositibo bidezko frogapena Metodo honek inplikazio jakin baten kontrapositiboa frogatzea dakar. "P bada, orduan Q" baieztapenaren kontrapositiboa "Q ez bada, orduan ez da P" da. Bi baieztapenak logikoki baliokideak dira, beraz, kontrapositiboa frogatzeak jatorrizko baieztapena frogatzen du. Adibidea: Frogatu "Zenbaki bat 6rako ikusten ez bada, orduan ez da 3rako ikusten" kontrapositiboaren bidez: 1. Kontrapositiboa "Zenbaki bat 3rako ikusten ez bada, orduan ez da 6rako ikusten" da. 2. Demagun \(n\) zenbaki bat 3rako ikusten ez dela. 3. Horrek esan nahi du ez dagoela \(k\) zenbaki osorik \(n = 3k\) non \(n\) den.