Induction fomba

induction fomba azo dia mitovy amin'ny fandrosoana. Noho izany, manomboka amin'ny ambaratonga ambany indrindra, ny mpikaroka noho ny fanampian'ny lojika fisainana dia hifindra ho ambony kokoa. Any tena manaja olona miezaka foana ny fandrosoana sy ny fahafahana mieritreritra lojika. Izany no mahatonga ny zavaboary noforonina inductive fomba fisainany.

Ny teny hoe "induction" dia nadika tamin'ny fomba Rosiana tari-dalana, toy izany koa ny inductance dia heverina ny hitan'ny ny fanandramana sy ny fandinihana manokana, izay azo avy amin'ny fiforonan'ny manokana amin'ny ankapobeny.

Ohatra iray mety ho mandinika ny fiposahan'ny masoandro. Hitandrina izany tranga nandritra ny andro maromaro misesy, dia azo lazaina fa any amin'ny tany atsinanana ny masoandro dia hitsangana rahampitso sy ny andro manaraka rahampitso, etc.

Inductive fanatsoahan-kevitra dia efa nampiasaina be ary ampiharina eo amin'ny fanandramana ny siansa. Noho izany, noho ny fanampian'ny azy ireo dia afaka mamolavola fepetra miorina amin'ny izay efa mampiasa ny deductive fomba hafa azo akana fanatsoahan-kevitra. Amin'ny fahatokiana ny sasany isika dia afaka milaza fa ny "andry telo" ny teorika Milina - Newton ny lalàn'ny fihetsehana - dia ny tenany manokana ny vokatry ny andrana amin'ny namintina ny lehibe Wikibolana anglisy. Ary ny lalàn'ny Kepler planeta mihetsika dia nataony ho azy ireo ny fototry ny maharitra fanamarihana ny T. Brahe, Danoà astronoma. Izany dia ao amin'ny toe-javatra ireo dia nilalao induction anjara toerana tsara mba hanazavana ary fintino ny tombantombana nataony.

Na dia eo aza ny fanitarana ny ny fampiasana ny fomba matematika induction, indrisy, fa mitaky fotoana kely fandaharam-pianarana ao amin'ny sekoly. Na dia izany aza, eto amin'ity izao tontolo izao dia mbola kely tokony hampianatra ny tanora hieritreritra inductively, fa tsy hoe mba hamahana ny olana amin'ny fomba manokana, na ny efa voafaritra mialoha raikipohy.

induction fomba be azo ampiharina eo amin'ny alijebra, rafitrisa sy ny rafitsary. Fizarana ireo dia tokony ho entina avy porofo ny fahamarinana ny andian-isa, izay miankina amin'ny voajanahary hiovaova.

Ny fitsipiky ny induction dia mifototra amin'ny porofo ny mampanankery manome A (n) ho an'ny rehetra ny miova soatoavina sy ahitana dingana roa:

1. ny tena didim-pitsarana A (n) no voaporofo fa N = 1.

2. Amin'ny tranga izay misy dia asao A (n) fivarotana manankery for N = K (l - voajanahary isa), dia ho marina ho amin'ny manaraka ilaina ny n = K + 1.

Izany fitsipika izany sy ny fomba formulating ny tsihy. induction. Matetika, dia ekena ho toy ny axiom izay mamaritra ny andian-isa, ary ampiasaina tsy misy porofo.

Misy fotoana ny fomba induction, indraindray, iharan'ny porofo. Araka izany, ny raharaha rehefa ilaina mba hizaha toetra ny manankery ny volavolan-hametraka A (n) ho an'ny rehetra integers N, dia tsy maintsy ho:

- jereo ny fahamarinan'ny kevitra A (1);

- mba hizaha toetra ny fahamarinan 'ny hoe: A (K + 1) raha ny soso-kevitr'izy ny fahamarinan' A (l).

Raha toa ka mahomby porofo ny mampanankery ity tolo-kevitra na inona na inona tsara integer K dia nekena ho marina dia asao A (n) ho an'ny rehetra soatoavin'ny N, araka ity fitsipika ity.

Ny fomba matematika ambony dia be induction ampiasaina ao amin'ny maha-porofo, theorems, tsy fitoviana. Mety ho ampiasaina amin'ny famahana ny voafaritra toetry ny asa sy ny divisibility.

Na izany aza, dia tsy tokony hieritreritra isika fa izany mamarana ny fampiasana ny fomba induction amin'ny matematika. Ohatra, tsy voatery ho tamin'ny andrana manamarina theorems rehetra dia mazava ho tsoahina avy amin'ny axioms. Fa tamin'izany andro izany ireo axioms manana ny mety hisian'ny fanaovana maro ny fanambarana. Ary izany safidy dia nanolo-kevitra ny fanambarana sy ny fampiasana ny induction. Amin'ny fomba izany, dia afaka mizara ny theorem rehetra ilaina eo amin'ny siansa sy ny fampiharana, fa tsy be dia be.