Натурал 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 натурал тооны хувьд тэнцэл хүчинтэй болсноор баталагдлаа.
байх x болгоны хувьд 
бол тасралтгүй F(x) функцыг f(x) ийн 
функц нь 
учраас 
ын эх функц болно. Мөн түүнчлэн x3+13 ийн уламжлал нь 3x2 тул x3+13 нь 
болгоны хувьд 3x2 ийн эх функц нь болно. 13 оронд дурын тогтмол авч болох нь ойлгомжтой.
илэрхийллийг хялбарчил
ABCD трапецийн бага диагонал BD=6 бөгөөд суурьтай перпендикуляр. Трапецийн AD=3, DC=12 бол B, D мохоо өнцгийн нийлбэрийг ол.