Натурал n тооноос хамаарсан тодорхой шинжийг батлах хэрэгтэй боллоо гэж бодъё. Энэ шинж нь томьёо, адитгал, тэнцэл биш, нотолгоо байж болно. Хэрвээ
Энэ шинж ямар нэгэн n0 натурал тооны хувьд үнэн
n=k үед энэ шинж үнэн байх нөхцлөөс үүдэн дурын k≥ n0 хувьд n=k+1 үед энэ шиж үнэн гэвэл энэ шинж нь дурын n≥ n0 натурал тооны хувьд үнэн байна.
Жишээ:
1+3+5+ … +(2n-1)=n² гэдгийг батал.
Бодолт:
Тэнцлийн баталгаанд математик индукцийн аргыг хэрэглэе. n=1 үед тэнцэл үнэн гэдэг нь ойлгомжтой байна. 1=1²
Тэгвэл ямар нэгэн k тооны хувьд тэнцлийг үнэн гэе. Өөрөөр хэлбэл
1+3+5+ … +(2k-1)=k²
тэнцэл үнэн гэсэн үг. Тэгвэл k+1 үед тэнцэл үнэн гэдгийг баталъя. Өгөгдсөн тэнцлийг n=k+1 тохиолдолд авч үзье.
1+3+5+ … +(2k-1)+(2k+1)=k²+(2k+1)=(k+1)²
Эндээс математик индукцийн нөхцлөөр k тооны хувьд тэнцэл биелэгдэнэ гэдгээс k+1 тохиолдолд тэнцэл үнэн боллоо. Тэгвэл дурын n натурал тооны хувьд тэнцэл хүчинтэй болсноор баталагдлаа.
хэлбэрээр өгөгдсөн тэгшитгэлийг ойлгоно. Энд an, an-1, ... , a0 - өгөгдсөн тоонууд, x - үл мэдэгдэгч, n - үл мэдэгдэгчийн хамгийн их зэрэг буюу алгебрийн тэгшитгэлийн зэрэг гэж нэрлэнэ. Алгебрийн тэгшитгэлүүдийн төрлүүд болон тэдгээрийг бодох аргуудтай танилцгаая.
цэгүүд дээрх 
утгуудыг авч үзье. 
-г 
хязгаарыг x0 цэг дээрх f(x) функцын 
гэж тэмдэглэдэг.
тэгшитгэлийг бод.
хязгаарыг бодоорой.