Квант

43

  1. Определение

Во многих задачах алгебры, теории чисел, математического анализа, теории вероятностей прихождения целое число, не превосходящие данного числа (впомните, например, определение характерастики десятичного логарифма). Такое целое число получило специальное название: «целая часть числа».

Итак, целой часть системы наибольшее целое число nn, не превосходящие xx; целая часть числа xx обозначает символьом [x][x] или (реже) E(x)E(x) (от французского Entier («антече») — «целый»). Например, [2,3]=2[2,3]=2, [−2,3]=−3[-2,3]=-3.

Если n⩽x<n+1n \leqslant x < n+1, а nn — целое, то [x]=n[x]=n. Поскольку [x]⩽x<[x]+1[x] \leqslant x < [x]+1, имеем 0⩽x−[x]<10 \leqslant x-[x] < 1. Число α=x−[x]\alpha=x-[x] называют дробной частью числа xx и обозначает {x}\{x\}. Итак, 0⩽{x}<10 \leqslant \{x\} < 1. Очевидно, x=[x]+{x}x=[x]+\{x\}.

График функции y=[x]y=[x] изображен на рисунке 1, а функция y={x}y=\{x\} — на рисунке 2.

  1. Некоторые свойства

1∘1^\circ. Если pp — целое число, то [x+p]=[x]+p[x+p]=[x]+p.

2∘2^\circ. Для любых действительных чисел xx и yy: [x+y]⩾[x]+[y][x+y] \geqslant [x]+[y].

Доказательство. Имеем x=[x]+α,0⩽α<1;y=[y]+β,0⩽β<1x=[x]+\alpha, 0 \leqslant \alpha < 1; y=[y]+\beta, 0 \leqslant \beta < 1. Тогда x+y=[x]+α+[y]+β=[x]+[y]+γx+y=[x]+\alpha+[y]+\beta=[x]+[y]+\gamma, где γ=α+β\gamma=\alpha+\beta. Значит, 0⩽γ<20 \leqslant \gamma < 2.

Если 0⩽γ<10 \leqslant \gamma < 1, то [x+y]=[x]+[y][x+y]=[x]+[y].

Если же 1⩽γ<21 \leqslant \gamma < 2, т. е. γ=1+γ′\gamma=1+\gamma', где 0⩽γ′<10 \leqslant \gamma' < 1, то x+y=[x]+[y]+1+γ′x+y=[x]+[y]+1+\gamma' и [x+y]=[x]+[y]+1>[x]+[y][x+y]=[x]+[y]+1>[x]+[y].

Заметание. Свойство 2∘2^\circ распространяется на любое конечное число слагаемых: [x1+x2+…+xn]⩾[x1]+[x2]+…+[xn][x_1+x_2+\ldots+x_n] \geqslant [x_1]+[x_2]+\ldots+[x_n].

Рис. 1. Рис. 2.

44

3°. Если [x]=[y][x] = [y], то ∣x−y∣<1|x - y| < 1.
4°. Если nn — натуральное число, то [xn]=[xn]\left[\frac{x}{n}\right] = \left[\frac{x}{n}\right].

Доказательство. Положим [xn]=a\left[\frac{x}{n}\right] = a. Тогда a⩽[x]n<a+1a \leqslant \frac{[x]}{n} < a + 1, или a⩽[x]<n(a+1)a \leqslant [x] < n (a + 1).

Поскольку числа anan и n(a+1)n (a + 1) целые, число xx также должно удовлетворять неравенству an⩽x<n(a+1)an \leqslant x < n (a + 1), откуда a⩽xn<a+1a \leqslant \frac{x}{n} < a + 1, т. е. [xn]=a\left[\frac{x}{n}\right] = a.

  1. Антые в уравнениях
    Решение уравнения с переменной под знаком «целой части» обычно совпадается к решению неравенств или систем неравенств.
    Рассмотрим несколько примеров.
    Задача 1. Решить уравнение
    [5+6x8]=15x−75.\left[\frac{5 + 6x}{8}\right] = \frac{15x - 7}{5}.
    Решение. Положим 15x−75=t\frac{15x - 7}{5} = t. Тогда x=5t+715x = \frac{5t + 7}{15}, и уравнение принимает вид
    [10t+3940]=t.\left[\frac{10t + 39}{40}\right] = t.
    Из определения целой части следует, что 0⩽10t+3940−t<10 \leqslant \frac{10t + 39}{40} - t < 1. Решив эти неравенства, находим
    −130<t⩽1,3.-\frac{1}{30} < t \leqslant 1, 3.

Рис. 3.
Рис. 4.

46

Задание 5. Доказать, что число C1976976C_{1976}^{976} делится на 76276^2.

Решение. Поскольку 76=22×1976 = 2^2 \times 19, то для делимости на 76276^2 необходимо и достаточно, чтобы C1976976C_{1976}^{976} делилось на 242^4 и 19219^2.

Имеем C1976976=1976!976!⋅1000!C_{1976}^{976} = \frac{1976!}{976! \cdot 1000!}. Найдем, чему равны показатели степени α1,α2,α3\alpha_1, \alpha_2, \alpha_3 и β1,β2,β3\beta_1, \beta_2, \beta_3, с которыми входят числа 2 и 19 в разложения на простые множители чисел 1976!, 976! и 1000!. Имеем

α1=[19762]+[197622]+…\alpha_1 = \left[ \frac{1976}{2} \right] + \left[ \frac{1976}{2^2} \right] + \dots

⋯+[1976210]=1969,\dots + \left[ \frac{1976}{2^{10}} \right] = 1969,

α2=[9762]+[97622]+…\alpha_2 = \left[ \frac{976}{2} \right] + \left[ \frac{976}{2^2} \right] + \dots

⋯+[97629]=971,\dots + \left[ \frac{976}{2^{9}} \right] = 971,

α3=[10002]+[100022]+…\alpha_3 = \left[ \frac{1000}{2} \right] + \left[ \frac{1000}{2^2} \right] + \dots

⋯+[100029]=994\dots + \left[ \frac{1000}{2^9} \right] = 994

и α1−α2−α3=4\alpha_1 - \alpha_2 - \alpha_3 = 4, то есть C1976976C_{1976}^{976} делится на 242^4.

Аналогично

β1=[197619]+[1976192]=109,\beta_1 = \left[ \frac{1976}{19} \right] + \left[ \frac{1976}{19^2} \right] = 109,

β2=[97619]+[976192]=53,\beta_2 = \left[ \frac{976}{19} \right] + \left[ \frac{976}{19^2} \right] = 53,

β3=[100019]+[1000192]=54\beta_3 = \left[ \frac{1000}{19} \right] + \left[ \frac{1000}{19^2} \right] = 54

и β1−β2−β3=2\beta_1 - \beta_2 - \beta_3 = 2, то есть C1976976C_{1976}^{976} делится на 19219^2.

Таким образом, C1976976C_{1976}^{976} делится на 76276^2.

  1. «Цельные точки»

Под целыми точками мы будем понять точки (x,y)(x, y) координатной плоскости с целочисленными координатами xx и yy. Спрашиваем, как подсчитать число целых точки, лежащих внутри данной плоской фигуры?

Задание 6. Сколько целых мочека расположено на сторонах и внутри треугольника, образованного прямым y=23x−12y = \frac{2}{3} x - \frac{1}{2}, x=10x = 10 и осью абсцисс (рис. 5)?

Решение. Найдем значения функции y=23x−12y = \frac{2}{3} x - \frac{1}{2} при целых x=1,2,…,10x = 1, 2, \dots, 10 (заметим, что y=0y = 0 при x=34x = \frac{3}{4}); получим ordinаты 16,56,32,136,176,72,256,296,112\frac{1}{6}, \frac{5}{6}, \frac{3}{2}, \frac{13}{6}, \frac{17}{6}, \frac{7}{2}, \frac{25}{6}, \frac{29}{6}, \frac{11}{2} и 376\frac{37}{6}. Легко сообщить, что общее число целых точки, лежащих в данной треугольнике (считая и на границе), равно сумме целых частей этих ordinаторов плоскости точек, лежащих на оси абсцисс:

[16]+[56]+[32]+[136]+[176]+[72]+[256]+[296]+[112]+[376]+10=1+2+2+3+4+4+5+6+10=37.\left[ \frac{1}{6} \right] + \left[ \frac{5}{6} \right] + \left[ \frac{3}{2} \right] + \left[ \frac{13}{6} \right] + \left[ \frac{17}{6} \right] + \left[ \frac{7}{2} \right] + \left[ \frac{25}{6} \right] + \left[ \frac{29}{6} \right] + \left[ \frac{11}{2} \right] + \left[ \frac{37}{6} \right] + 10 = 1 + 2 + 2 + 3 + 4 + 4 + 5 + 6 + 10 = 37.

Ответ: 37 целых точки.

Заметим, что внутри данной треугольника лежит всего 37-10-6=21 целая точка.

Оказывается, целые точки могут быть полезны при доказательстве точек действи!

47

Задание 7. Доказать можде-
ство

[qp]+[2qp]+[3qp]+…\left[ \frac{q}{p} \right] + \left[ \frac{2q}{p} \right] + \left[ \frac{3q}{p} \right] + \dots

⋯+[(p−1)qp]=(p−1)(q−1)2\dots + \left[ \frac{(p-1)q}{p} \right] = \frac{(p-1)(q-1)}{2}

(р и q—возимно простые натуральные числа).

Решение. Рассмотрим прямо-
угольник с вершинами O=(0;0)O = (0; 0), A=(p;0)A = (p; 0), B=(p;q)B = (p; q), C=(0;q)C = (0; q) (рис. 6). Отметим внутри прямоугольника все целые точки (x,y)(x, y): 1⩽x⩽p−11 \leqslant x \leqslant p-1, 1⩽y⩽q−11 \leqslant y \leqslant q-1 (красные точки на рисунке). Число этих точки равно произведению (p−1)(q−1)(p-1)(q-1).

Проведем диагональ OBOB нашего прямогоугольника; ее уравнение — y=qpxy = \frac{q}{p} x. Так как pp и qq взимно просты, а x=1x = 1, …, p−1p-1, то числа вида qpx\frac{q}{p} x—не целые, т. е. на диагонали OBOB нет целых точки, и таким образом в треугольнике, лежащем под диагональ OBOB, будет (p−1)(q−1)2\frac{(p-1)(q-1)}{2} красных (целых) точки.

С другой стороны, способом, описанным в задание 6, получаем, что число этих точки равно сумме [q⋅1p]+[q⋅(p−1)p],\left[ \frac{q \cdot 1}{p} \right] + \left[ \frac{q \cdot (p-1)}{p} \right], и, значит, нужно тожество доказано.

Рис. 6.

Упражнения

  1. Постройте графики функций y=[−x]y = [-x], y=[2x]y = [2x], y=[sin⁡x]y = [\sin x].
  2. Докажите точки действия:
    a) [nk]+[n+1k]+[n+2k]+…\left[ \frac{n}{k} \right] + \left[ \frac{n+1}{k} \right] + \left[ \frac{n+2}{k} \right] + \dots
    ⋯+[n+k−1k]=n,\dots + \left[ \frac{n+k-1}{k} \right] = n,
    где nn и kk—натуральные числа.
    b) (n+1)(n+2)(n+3)…(2n−1)2n=2n⋅(2n−1)!!(n+1)(n+2)(n+3) \dots (2n-1)2n = 2^n \cdot (2n-1)!!.
    (Через S!!S!! обозначается произведение натуральных чисел от 1 до SS одинаковой четности с SS: например, 8!!=2⋅4⋅6⋅8;9!!=1⋅3⋅5⋅7⋅98!! = 2 \cdot 4 \cdot 6 \cdot 8; 9!! = 1 \cdot 3 \cdot 5 \cdot 7 \cdot 9.)
  3. Пусть a,b,…,la, b, \dots, l—натуральные числа, a+b+⋯+l=na+b+\dots+l=n. Докажите, что дробь n!a!b!…l!\frac{n!}{a!b! \dots l!}—целое число.
  4. Докажите, что если [nx]+[ny]=[n(x+y)][nx] + [ny] = [n(x+y)] при всех натуральных nn, то либо xx, либо yy—целое число.
  5. С каким показателем простое число pp входит в разложение числа
    a) (2n)!!;(2n)!!; 6) (2n+1)!!(2n+1)!!.
  6. Решите уравнения:
    a) [8x+197]=16(x+1)11;\left[ \frac{8x+19}{7} \right] = \frac{16(x+1)}{11};
    b) [x2−23]=[x];\left[ \frac{x^2-2}{3} \right] = [x];
    b) x4−[x+1]=2x^4 - [x+1] = 2.
  7. Пешекод идет со скоростью 5 км/час, останавливаясь на отдельных каждой 4 км. Продолжительность каждой остановки, кроме четвертой, 10 минут, а продолжительность четвертой остановки 1 час. Какое расстояние прошел пешекод, если, отправившись в путь в 4 часа утра, он пришел на место в полдень?
  8. Сколько целых точки заклоно в кривolinейной трапеции a⩽x⩽ba \leqslant x \leqslant b, 0⩽y⩽f(x)0 \leqslant y \leqslant f(x), где aa и bb—натуральные числа, a=f(x)a = f(x)—функция, непрерывная и положительная на отрезке [a,b][a, b] (целые точки, лежащие на границе трапеции, тоже считаются)?
  9. Сколько целых точки лежит в круге радиуса 6,5 с центром в начале координат?
  10. В urine находится 500 шаров, произведенных от 1 до 500. Какова вероятность того, что вынутый наугад шар будет иметь номер, кратный какому-нибудь из чисел 10, 14, 21?