Fomba Fanaporofoana Matematika
Ny porofo amin'ny matematika no fototry ny taranja ity. Ny fomba fanamarinana no fototra iorenan'ny fahamarinan'ny fanambarana matematika. Manomboka amin'ny fiheverana fototra ka hatramin'ny fehin-kevitra, ny dingana tsirairay dia tsy maintsy azo antoka fa marina. Ny fahatakarana ny fomba fanamarinana isan-karazany dia tsy vitan'ny hoe manamafy ny fahaiza-manao famakafakana fotsiny fa manatsara ny traikefa fianarana sy ny fampiharana ny matematika amin'ny sehatra isan-karazany ihany koa.
Ity lahatsoratra ity dia hiresaka momba ny sasany amin'ireo fomba fanamarinana lehibe amin'ny matematika, anisan'izany ny porofo mivantana, ny porofo ankolaka (fifanoherana sy fifanoherana), ny induction matematika, ary ny porofo amin'ny alalan'ny ohatra manokana. Ny fomba tsirairay dia manana fampiharana, tanjaka ary fahalemena samihafa. Andeha hojerentsika lalindalina kokoa izy ireo.
1. Porofo mivantana
Famaritana sy ohatra
Ny porofo mivantana dia fomba iray hanaporofoantsika fanambarana amin'ny fampisehoana fa raha marina ny petra-kevitra (hevitra), dia marina koa ny fehin-kevitra. Amin'ny porofo mivantana, mazàna isika dia manomboka amin'izay fantatra ary mampiasa dingana lojika mba hahatongavana amin'ny fehin-kevitra.
ohatra:
Porofoy fa raha isa mitovy ny \(n\) dia isa mitovy ihany koa ny \(n^2\).
Porofo:
Aoka hatao hoe isa mitovy ny \(n\). Avy eo, araka ny famaritana ny isa mitovy, dia azo soratana fa \(n = 2k\) ho an'ny isa manontolo \(k\). Noho izany,
\[ n^2 = (2k)^2 = 4k^2 = 2(2k^2) \]
Mazava fa ny \(n^2\) dia azo aseho amin'ny isa manontolo in-2 (izany hoe \(2k^2\)). Koa satria ny fepetra takiana lehibe amin'ny isa mitovy dia ny fahafahana maneho azy amin'ny isa manontolo in-2, dia isa mitovy ihany koa ny \(n^2\).
2. Porofo tsy mivantana
Ny porofo tsy mivantana dia misy fomba roa lehibe: ny porofo amin'ny alalan'ny fifanoherana sy ny porofo amin'ny alalan'ny fifanoherana.
a. Porofon'ny Fifanoherana
Famaritana sy ohatra
Ity fomba ity dia mahakasika ny fanaporofoana ny fanambarana midika hoe "raha \(P\), dia \(Q\)" amin'ny alàlan'ny fanaporofoana ny mifanohitra amin'ilay fanambarana: "raha tsy \(Q\), dia tsy \(P\)".
ohatra:
Porofoy fa raha hafahafa ny \(n^2\) dia hafahafa koa ny \(n\).
Porofo:
Ny mifanohitra amin'ilay fanambarana dia: Raha tsy hafahafa (na mitovy) ny \(n\), dia tsy hafahafa (na mitovy) ny \(n^2\).
Aoka hatao hoe mitovy ny \(n\), dia \(n = 2k\) ho an'ny isa manontolo \(k\). Noho izany,
\[ n^2 = (2k)^2 = 4k^2 = 2(2k^2) \]
Midika izany fa isa mitovy ny \(n^2\). Noho izany, voaporofo ny mifanohitra amin'izany, ary azo antoka ihany koa fa marina ny fanambarana tany am-boalohany.
b. Porofo amin'ny alalan'ny fifanoherana
Famaritana sy ohatra
Ny porofo amin'ny alalan'ny fifanoherana dia midika hoe mihevitra fa diso ny fanambarana tokony hoporofoina ary mampiseho fa io fiheverana io dia mitarika ho amin'ny fifanoherana lojika.
ohatra:
Porofoy fa isa tsy mitombina ny \(\sqrt{2}\).
Porofo:
Aoka hatao hoe isa rational ny \(\sqrt{2}\). Dia, \(\sqrt{2} = \frac{a}{b}\), izay isa fototra voalohany ny \(a\) sy \(b\) (ny fanalana dia 1), ary \(b \ne 0\). Noho izany, afaka manoratra isika hoe:
\[ \sqrt{2} = \frac{a}{b} \]
\[ 2 = \frac{a^2}{b^2} \]
\[ 2b^2 = a^2 \]
Avy amin'ity fampitoviana ity, hitantsika fa isa mitovy ny \(a^2\), izay midika fa tsy maintsy mitovy ihany koa ny \(a\). Aoka hatao hoe \(a = 2k\, dia manana isika:
2b^2 = (2k)^2
\[ 2b^2 = 4k^2 \]
\[ b^2 = 2k^2 \]
Koa satria isa mitovy ny \(b^2\) dia tsy maintsy isa mitovy ihany koa ny \(b\). Midika izany fa samy isa mitovy ny \(a\) sy ny \(b\), mifanohitra amin'ny fiheverana tany am-boalohany fa ny \(\frac{a}{b}\) dia amin'ny endriny tsotra indrindra. Noho izany, ny \(\sqrt{2}\) dia tsy afaka ny ho isa mitombina, ary noho izany dia tsy mitombina izy.
3. Fampidirana Matematika
Famaritana sy ohatra
Ny induction matematika dia fomba fanamarinana ampiasaina hanaporofoana fanambarana misy isa manontolo. Ny dingana dia misy dingana roa: ny fototry ny induction sy ny dingana induction.
ohatra:
Porofoy fa ny fitambaran'ny andiany voalohany amin'ny isa manontolo dia \(1 + 2 + 3 + … + n = \frac{n(n+1)}{2}\).
Porofo:
- Fototra fampidirana:
Ho an'ny \(n = 1\),
\[ 1 = \frac{1(1+1)}{2} \]
marina.
- Dingana fampidirana:
Aoka hatao hoe marina ny fanambarana ho an'ny isa \(k\). Izany hoe,
\[ 1 + 2 + 3 + … + k = \frac{k(k+1)}{2} \]
Mila porofoina fa marina ihany koa izany ho an'ny \(k + 1\). Ampiana amin'ny lafiny roa amin'ny fampitoviana ny \((k + 1)\):
\[ 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} \]
Koa marina ho an'ny \(k + 1\) ny fanambarana. Noho izany, araka ny fitsipiky ny induction matematika, marina ho an'ny isa manontolo tsara rehetra \(n\) ny fanambarana.
4. Porofo miaraka amin'ny ohatra manokana
Famaritana sy ohatra
Ity fomba ity dia ahitana ny fanaporofoana amin'ny alalan'ny fisafidianana ohatra manokana izay mahafeno ireo fepetra rehetra omena ao amin'ny fanambarana ary mampiseho fa marina ilay fanambarana. Na izany aza, ity fomba ity dia mazàna ampiasaina hanaporofoana fa diso ny fanambarana.
ohatra:
Porofoy fa misy isa izay tsy azo aseho ho toy ny fitambaran'ny efamira tonga lafatra roa.
Porofo:
Andramo ampiasaina ny ohatra \(3\):
Aoka hatao hoe ny \(3\) dia azo aseho ho toy ny fitambaran'ny efamira tonga lafatra roa, dia ny \(a^2 + b^2 = 3\). Rehefa avy nanandrana ny fitambaran'ny isa manontolo rehetra \(a\) sy \(b\),
1. \(a = 0\), \(b^2 = 3\) (tsy azo atao).
2. \(a = 1\), \(b^2 = 2\) (tsy azo atao).
3. \(a = 2\), \(b^2 = -1\) (tsy azo atao).
4. Tsy azo atao ihany koa ny isa ratsy na isa mihoatra ny 2.
Mampiseho izany fa ny \(3\) dia tsy azo aseho ho toy ny fitambaran'ny isa efamira roa. Noho izany, misy isa izay tsy azo aseho ho toy ny fitambaran'ny isa efamira tonga lafatra roa.
Famaranana
Ny porofo amin'ny matematika dia mitaky fomba fiasa sy dingana rafitra samihafa arakaraka ny karazana fanambarana voaporofo. Ny porofo mivantana, ny porofo ankolaka (mifanohitra sy mifanohitra), ny induction matematika, ary ny ohatra manokana dia sasany amin'ireo fomba porofo voalohany ampiasaina amin'ny toe-javatra samihafa. Ny fahatakarana ireo fomba ireo dia hanamafy ny fototry ny matematika ary hanampy anao handinika lalindalina kokoa ireo sampana samihafa amin'ny matematika.
Raha ampiharina sy takarina lalina, dia ho lasa fitaovana azo ampiasaina foana amin'ny famahana olana matematika sarotra ny fomba fanaporofoana matematika.
