Доказать, что функция f(x)=10x+2 есть примитивно-рекурсивная.
!!​

Разобьём квадрат со стороной 5 см на 25 квадратов со стороной 1 см. Будем рассматривать их как контейнеры. Точка попадает в контейнер, если она лежит либо на его сторонах, либо во внутренней области. Тогда, по принципу Дирихле, хотя бы в одном из контейнеров окажется две точки. [Некоторые точки могут попасть сразу в четыре контейнера (если такая точка упадёт на вершину квадрата, которая не лежит на стороне исходного квадрата), но для нас важно, что любая точка с необходимостью попадает хотя бы в один.]
Итак, в одном из контейнеров содержится две точки. Вспомним, что наш контейнер не что иное, как квадрат со стороной в 1 см.
Покажем, что расстояние между двумя точками квадрата со стороной в 1 см не превышает √2. Рассмотрим квадрат ABCD (рис.1) со стороной равной 1 см и две произвольные точки, которые лежат на квадрате.



Что и требовалось доказать.

 №1.

Отметим данные точки и проведём через них прямую.

Прямая пересекает ось Oy в точке ; ось Ox в точке (1,25;0). Подробнее смотри в приложении.

 №2.

Точка M(x;y):

расположена в 1 четверти, если x>0 и y>0;

расположена во 2 четверти, если x<0 и y>0;

расположена в 3 четверти, если x<0 и y<0;

расположена в 4 четверти, если x>0 и y<0.

Точка A(-87;89) расположена во 2 четверти т.к. -87<0 и 89>0.

Точка B(3,5;2) расположена в 1 четверти т.к. 3,5>0 и 2>0.

Точка C(0,1;-0,001) расположена в 4 четверти т.к. 0,1>0 и -0,001<0.

Точка D(-1,25;-3,48) расположена в 3 четверти т.к. -1,25<0 и -3,48<0.