Astanova charos normurodovnaning

Manfiy bo’lmagan butun sonlarni ayirish va uning
xossalari.
Ta’rif: a va b sonlarning ayirmasi deb, a=B+x shartni qanoatlantiruvchi x soniga aytiladi. Bunda: a- kamayuvchi: B-ayriluvchi: x- ayirma. a va b sonlarning ayirmasi a-B deb belgilanadi: (-ayirish amali).
Ikki son ayirmasini topish amaliga ayirish amali deb aytiladi. Ayirish amali qo’shish amaliga teskari amal. Ikki son ayirmasi qachon mavjud, qachon bajariladi? Bu savolga quyidagi teorema javob beradi.
1-teorema: a) B-a ayirma mavjud bo’lishi uchun a< e(e > a)-ayriluvchining kamayuvchidan oshmasligi zarur va yetarlidir. b) Agar B-a ayirma mavjud bo’lsa, bu yagonadir;
1-xossa: Agar ayirmaga ayiruvchini qo’shsak, u holda kamayuvchi hosil bo’ladi.
11
2-xossa: Agar ikki son yig'indisidan bitta
qo'shiluvchini ayirsak, ikkinchi qo'shiluvchi kelib
chiqadi.
3-xossa: Berilgan songa ikki son ayirmasini qo’shish uchun, songa dastlab kamayuvchini qo'shib, ayiriluvchini ayirish kifoya.
Ya'ni: a+ (B-c)=a+B-c
4- xossa: Sondan ikki son ayirmasini ayirish uchun, shu sondan qo’shiluvchilarni ketma- ket ayirish kifoya.
a-(B+c) =a-B-c bunda a>B+c
5- xossa: Sondan ayirmani ayirish uchun sondan kamayuvchini ayirib, ayriluvchini qo’shish kifoya.
Ya'ni: a-(B-c)=a-B+c, bunda b > c; a > b-c
6- xossa: Ko’paytirish amali ayirish amaliga ko’ra tarqatish (distributlik) qonuniga ega. ( a -b ) *c= a*c - b*c.
7- xossa: (a - b )+ ( c - d )= ( a + c) - ( b + d). Ayirmalar yig’indisi kamayuvchilar yig’indisi bilan ayriluvchilar yig’indilarining ayirmasiga teng.
8- xossa: Yig’indidan sonni ayirish uchun, ayriluvchi sonni qo’shiluvchilarning birortasidan ayirish kifoya.
( a + b ) - c = (a - c) + b= a + ( b- c), agar a >c b>c:
9- xossa: Ayirmadan sonni ayirish uchun, sonli ayiruvchiga qo'shib, yigindini kamayuvchidan ayirish kifoya.
( a- b )- c =a -( b + c) a -b >c;