BSK писал(а):Source of the post ![$$a_k$$ $$a_k$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24a_k%24%24)
слагаемое суммы
![$$A$$ $$A$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24A%24%24)
(
![$$k=1,...,n$$ $$k=1,...,n$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24k%3D1%2C...%2Cn%24%24)
) не меньше
![$$b_{n+1-k}$$ $$b_{n+1-k}$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24b_%7Bn%2B1-k%7D%24%24)
слагаемого суммы
![$$B$$ $$B$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24B%24%24)
потому, что
![$$a_k$$ $$a_k$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24a_k%24%24)
является наибольшим числом в таблице
![$$(n+1-k)*(n+1-k),$$ $$(n+1-k)*(n+1-k),$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%28n%2B1-k%29%2A%28n%2B1-k%29%2C%24%24)
а
![$$b_{n+1-k}$$ $$b_{n+1-k}$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24b_%7Bn%2B1-k%7D%24%24)
- наименьшим числом в таблице
![$$k*k,$$ $$k*k,$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24k%2Ak%2C%24%24)
которые имеют общий элемент.
действительно, дополнение к пересечению таблиц размером
![$$(n+1-k)\times (n+1-k)$$ $$(n+1-k)\times (n+1-k)$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%28n%2B1-k%29%5Ctimes%20%28n%2B1-k%29%24%24)
и
![$$k\times k$$ $$k\times k$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24k%5Ctimes%20k%24%24)
можно получать, выкинув n-k+1 столбцов, а потом еще k, различных столбцов будет выкинуто не более n-1, значит, хоть один останется. Потом так же выкинуть строки, и хоть один элемент останется.
Не всегда мне нравится все что я там вижу, но вот тут можно развить идеи решения задачи 4б), а они были хороши:
8..Доказать, что квадраты со сторонами
![$$1,\frac 12,\frac 13,\frac 14,\frac 15...$$ $$1,\frac 12,\frac 13,\frac 14,\frac 15...$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%241%2C%5Cfrac%2012%2C%5Cfrac%2013%2C%5Cfrac%2014%2C%5Cfrac%2015...%24%24)
могут быть размещены без пересечений в квадрате со стороной
![$$\frac 32$$ $$\frac 32$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%5Cfrac%2032%24%24)
.
Без пересечений -как и прежде, означает, что никакие 2 квадратика из набора не имеют общей внутренней точки. Общую точку границ иметь могут.
Задача "горячая", стоит посматривать на пост-оригинал (щелкнуть по номеру
UPD Там решена, говорил же горячая. Где-то 5:2:)
Вот тоже горячая, и даже близка к учебной.
9. Доказать, что не существует всюду дифференцируемой функции f(x), такой что
![$$\displaystyle \\\sin x, if\ x\leqslant 0\\\cos x, if\ x>0$$ $$\displaystyle \\\sin x, if\ x\leqslant 0\\\cos x, if\ x>0$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%5Cdisplaystyle%20%5C%5C%5Csin%20x%2C%20if%5C%20%20x%5Cleqslant%200%5C%5C%5Ccos%20x%2C%20if%5C%20%20x%3E0%24%24)
Видно как минимум два пути, интересно, какой выберете