Натурал 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 натурал тооны хувьд тэнцэл хүчинтэй болсноор баталагдлаа.
тэгшитгэлийн нэг язгуур нь эерэг, нөгөө язгуур нь сөрөг байх параметрийн бүх утгыг ол.
болох бөгөөд энэ тэнцэтгэл бишийг бодвол 
үед манай тэнцэтгэл бишийн шийдийн нэг нь эерэг нөгөө нь сөрөг байна.
функц [1;9] завсарын аль хэсэгт буурах вэ?
функцийн хамгийн бага утгыг ол.