1

Целые точки на плоскости и в пространстве

[13/100%]
Показать
LaTeX
Задача 8.238

Треугольник, вершины которого являются целыми точками плоской квадратной решетки, не может быть равносторонним.

?
Задача 8.238.1

Многоугольник равноуголен, имеет nn сторон, и все его вершины — целые точки. Тогда nn равно либо 4, либо 8.

?
Задача 8.238.2

Правильный многоугольник имеет nn сторон, и все его вершины — целые точки. Тогда n=4n=4.

?
Задача 8.239

До какой толщины должны вырасти стволы в правильно засаженном лесе, имеющем форму круга, чтобы они полностью заслонили вид из центра?

Пусть ss — заданное целое положительное число. Опишем возле каждой целой точки p,qp, q, удовлетворяющей неравенствам 1⩽p2+q2⩽s21 \leqslant p^{2}+q^{2} \leqslant s^{2}, как из центра, окружность радиуса rr. Если rr достаточно мало, то имеются выходящие из нулевой точки лучи, не пересекающие ни одного из описанных кругов (лес имеет «просветы»); таких лучей уже больше не существует, когда rr достаточно велико (при r=12r=\frac{1}{2} круги соприкасаются). Пусть r=ρr=\rho — значение, разделяющее эти два случая (граница «просвечиваемости»). Тогда

1s2+1⩽ρ<1s. \frac{1}{\sqrt{s^{2}+1}} \leqslant \rho <\frac{1}{s} .
?
Задача 8.240

Проведем в плоской квадратной точечной решетке максимально широкую прямую бесконечную «дорогу», составляющую с осью ординат угол arctg⁡x\operatorname {arctg} x. Обозначая ширину этой дороги через φ(x)\varphi (x), определить f(x)=φ(x)1+x2f(x)=\varphi (x) \sqrt{1+x^{2}}.

?
Задача 8.241

Две целые точки x,yx, y и x′,y′x^{\prime }, y^{\prime } называются сравнимыми по модулю nn, если

x≡x′( mod n),y≡y′( mod n). x \equiv x^{\prime }(\bmod n), \quad y \equiv y^{\prime }(\bmod n) .

Среди любых kn2+1k n^{2}+1 различных целых точек всегда существует k+1k+1 сравнимых между собой по модулю nn.

?
Задача 8.242

Пусть в плоскости, на которую нанесена плоская квадратная решетка со сторонами квадратов, равными единице, лежит область с (жордановой) площадью FF. Если даже область эта не содержит ни одной целой точки, то тем не менее ее всегда можно так передвинуть параллельно самой себе, чтобы на ней оказалось [F]+1\left[F\right]+1 целых точек.

?
Задача 8.243

Целые точки, лежащие в замкнутом первом квадранте, образуют счетное множество, т. е. существует функция f(x,y)f(x, y), определенная для целых неотрицательных значений xx и yy и обладающая следующими двумя свойствами:

?
(1)

f(x,y)f(x, y) принимает значения 1,2,3,4,5,…1,2,3,4,5, \ldots

(2)

f(x,y)f(x, y) — инъективная, т. е. если x,y,x′,y′x, y, x^{\prime }, y^{\prime } — целые числа, x⩾0,y⩾0,x′⩾0,y′⩾0x \geqslant 0, y \geqslant 0, x^{\prime } \geqslant 0, y^{\prime } \geqslant 0, (x−x′)2+(y−y′)2>0\left(x-x^{\prime }\right)^{2}+\left(y-y^{\prime }\right)^{2}>0, то f(x,y)≠f(x′,y′)f(x, y) \neq f\left(x^{\prime }, y^{\prime }\right).

Существует даже целая рациональная функция f(x,y)f(x, y), перенумеровывающая целые точки, т. е. обладающая свойствами 1), 2), а именно функция

f(x,y)=12(x2+2xy+y2+3x+y+2)=(x+y+12)+x+1, f(x, y)=\frac{1}{2}\left(x^{2}+2 x y+y^{2}+3 x+y+2\right)=\binom {x+y+1}{2}+x+1,

а также функция, получающаяся из нее, если поменять местами xx и yy [указанная функция последовательно перенумеровывает целые точки на прямолинейных отрезках

x+y=0,x+y=1,x+y=2,…,x⩾0,y⩾0]. x+y=0, x+y=1, x+y=2, \ldots , x \geqslant 0, y \geqslant 0] .

Пусть f(x,y)f(x, y) — целая рациональная функция степени mm,

f(x,y)=φ0(x,y)+φ1(x,y)+…+φm(x,y), f(x, y)=\varphi _{0}(x, y)+\varphi _{1}(x, y)+\ldots +\varphi _{m}(x, y),

где φμ(x,y)\varphi_{\mu }(x, y) обозначает однородную целую рациональную функцию степени μ\mu. Если f(x,y)f(x, y) перенумеровывает целые точки, то, очевидно, φm(x,y)⩾0\varphi_{m}(x, y) \geqslant 0 при x⩾0,y⩾0x \geqslant 0, y \geqslant 0. Если φm(x,y)>0\varphi_{m}(x, y)>0 при x⩾0,y⩾0,x+y>0x \geqslant 0, y \geqslant 0, x+y>0 и f(x,y)f(x, y) перенумеровывает целые точки, то функция f(x,y)f(x, y) имеет степень m=2m=2.

Задача 8.244

Будем рассматривать квадрат 12⩽x⩽n+12\frac{1}{2} \leqslant x \leqslant n+\frac{1}{2}, 12⩽y⩽n+12\frac{1}{2} \leqslant y \leqslant n+\frac{1}{2} как шахматную доску с n2n^{2} полями, т. е. разделим его прямыми, параллельными осям, на n2n^{2} равных квадратов (полей) каждый площадью, равной единице. «Проблема nn ферзей» состоит в следующем: из n2n^{2} целых точек, образующих центры n2n^{2} полей, требуется выбрать nn целых точек (x1,y1),(x2,y2),…,(xn,yn)\left(x_{1}, y_{1}\right), \left(x_{2}, y_{2}\right), \ldots , \left(x_{n}, y_{n}\right), удовлетворяющих 2n(n−1)2 n(n-1) неравенствам

xμ≠xν,yμ≠yν,xμ−xν≠yμ−yν,xμ−xν≠−(yμ−yν)(μ≠ν);μ,ν=1,2,…,n. \begin{gathered} x_{\mu } \neq x_{\nu }, \quad y_{\mu } \neq y_{\nu }, \quad x_{\mu }-x_{\nu } \neq y_{\mu }-y_{\nu }, \quad x_{\mu }-x_{\nu } \neq -\left(y_{\mu }-y_{\nu }\right) \quad (\mu \neq \nu ) ; \\ \mu , \nu =1,2, \ldots , n . \end{gathered}

Заменяя неравенства более ограничительными условиями — «несравнениями»

xμ≢xν,yμ≢yν,xμ−xν≢yμ−yν,xμ−xν≢−(yμ−yν)( mod n), x_{\mu } \not\equiv x_{\nu }, \quad y_{\mu } \not\equiv y_{\nu }, \quad x_{\mu }-x_{\nu } \not\equiv y_{\mu }-y_{\nu }, \quad x_{\mu }-x_{\nu } \not\equiv -\left(y_{\mu }-y_{\nu }\right) \quad (\bmod n),

показать, что эти последние тогда и только тогда имеют решение, когда nn — взаимно простое с 6.

?
Задача 8.244.1

Правильный многоугольник имеет nn сторон, и все его вершины — целые точки. Тогда nn равно 3, 4 или 6.

?
Задача 8.244.2

(Продолжение.) Привести примеры, показывающие, что все три случая n=3,4n=3,4 и 6 действительно могут иметь место.

?
Задача 8.244.3

Все вершины правильного многогранника — целые точки. Тогда этот многогранник есть либо куб, либо тетраэдр, либо октаэдр.

?
Задача 8.244.4

(Продолжение.) Привести примеры, показывающие, что все три упомянутых выше случая действительно могут иметь место.

?