Попробуем решить задачу виртуально. не прибегая к рисованию, а применяя лишь воображение. Представляем ромб со стороной 5 см и малой диагональю 6 см. Большая диагональ ромба делит малую диагональ пополам, следовательно получается маленький такой прямоугольный треугольничек с гипотенузой равной 5 см и катетом равным 3 см. Для нахождения величины второго катета прямоугольного треугольника прибегнем к великой теореме Пифагора () поэтому . Но мы помним, что найденная нами длина катета прямоугольного треугольника (4 см) составляет лишь половину большей диагонали ромба. Следовательно вся большая диагональ ромба будет равна 2*4=8 см.
Выпишем остатки первых m^2 + 2 чисел Фибоначчи, начиная с нулевого, при делении на m. Поскольку всего различных остатков при делении на m ровно m, то различных пар остатков не более m^2. Пар соседних остатков m^2 + 1, тогда по принципу Дирихле найдутся две пары соседних чисел Фибоначчи, которые дают соответственно равные остатки при делении на m. Так как по двум остаткам последовательность однозначно восстанавливается в обоих направлениях, последовательность остатков периодичная, и найдётся число Фибоначчи с номером, не превосходящим m^2 + 2, дающее такой же остаток при делении на m, что и F(0) = 0, оно будет делиться на m.
)
. Но мы помним, что найденная нами длина катета прямоугольного треугольника (4 см) составляет лишь половину большей диагонали ромба. Следовательно вся большая диагональ ромба будет равна 2*4=8 см.
