докажем методом математической индукции что
0)
F(3n-2) – нечетное, F(3n-1) – нечетное, F(3n) – четное, - исследуемое утверждение
1)
убедимся что при n=1 верно (0):
действительно по условию
F(1)=1 – нечетное, F(2)=1 – нечетное, F(3) – четное,
2)
предположим что при n=к верно (0):
F(3n-2) – нечетное, F(3n-1) – нечетное, F(3n) – четное,
а именно
F(3к-2) – нечетное, F(3k-1) – нечетное, F(3k) – четное,
3)
проверим, или справедливо для n=k+1 утверждение (0):
так как F(3к-2) – нечетное, F(3k-1) – нечетное, F(3k) – четное, (см.2)
то F(3k+1)=F(3k-1) +F(3k) =нечетное+четное=нечетное, (3.1)
то F(3k+2)=F(3k) +F(3k+1) =четное+нечетное=нечетное, (3.2)
то F(3k+3)=F(3k+1) +F(3k+2) =нечетное+нечетное=четное, (3.3)
F(3n-2)=F(3(к+1)-2)=F(3к+3-2)=F(3к+1) – нечетное, см.(3.1)
F(3n-1)=F(3(к+1)-1)=F(3к+3-1)=F(3к+2) – нечетное, см.(3.2)
F(3n)=F(3(к+1))=F(3к+3) – нечетное, см.(3.3)
так как для n=k+1 утверждение (0) истинно — значит (0) доказано методом матем индукции
