Ildiz chegaralari shturm teoremmasi

3-xossa. Agar o’sa borib, biror oraliq ko’phadning haqiqiy ildizidan o’tsa, (3) Sturm qatoridagi ishora almashinishlar soni o’zgarmaydi.
Isboti. Masalan, ni ning haqiqiy ildizi deylik. Bu vaqtda va noldan farqli va qarama-qarshi ishoralarga ega bo’ladi. Endi shunday kichik oraliqni olaylikki, bu oraliq ichida va chegaralarida va ning haqiqiy ildizlari bo’lmasin. Demak, biz olgan oraliqda va ning ishorasi o’zgarmaydi. Aniqlik uchun oraliqda, masalan, va deylik. U vaqtda shu oraliq bilan chegaralanib ishoralarining ushbu jadvalini hosil qilamiz:

	–		+
	–		+

Bo’sh qoldirilgan xonalarga qanday ishoralarni qo’ymaylik, bari bir uchun ham uchun ham bitta ishora almashinishga ega bo’lamiz.

Agar bir necha oraliqdagi ko’phadlarning ildizi bo’lsa, (1-xossaga muvofiq) ular bilan yonma-yon turgan ko’phadlar nolga teng bo’lmaydi, shu sababli, olingan kichik oraliq uchun hozir isbot etilganiga ko’ra (3) Shturm qatorining o’sha joylarida ham ishora almashinishlar soni o’zgarmaydi.
Endi (3) qatorning biror oraliqdagi ko’phadlar uchun ildiz bo’lmasa, u holda, ravshanki, olingan kichik oraliqda bu ko’phadlarning ishoralari o’zgarmaydi.
4-xossa. Agar o’sa borib, ko’phadning haqiqiy ildizidan o’tsa, u holda ko’phad va uning hosilasi tomonidan tashkil etilgan bitta ishora almashinish yo’qoladi, ya’ni ko’paytma ishorasini minusdan plyusga o’zgartiradi.