Постройте прямое и косвенное доказательство тезиса, используя для демонстрации дедукции, а затем индукцию. Все кошки - позвоночные ​

Примем всю работу по покраске забора за единицу.
Пусть производительность труда Ивана равна х, тогда производительность Андрея равна 4х. Их общая производительность равна (х+4х) и равна 5х. Чтобы найти время, за которое будет покрашен забор, нужно всю работу поделить на производительность. Таким образом, Андрей и Иван вместе покрасят забор за (1/(5х)) часов, что по условию равно 2 ч. Составляем уравнение:

1/10 - производительность труда Ивана.
1 : (1/10) = 1 * 10 = 10 ч - за столько часов может покрасить забор Иван.

Решение
1)  2cosx-1 < 0
cosx < 1/2
arccos(1/2) + 2πn < x < 2π - arccos(1/2) + 2πn, n ∈ Z
π/3 + 2πn < x < 2π - π/3 + 2πn, n ∈ Z
π/3 + 2πn < x < 5π/3 + 2πn, n ∈ Z
2)  sin2x - √2/2 < 0
 sin2x < √2/2 
- π - arcsin(√2/2) + 2πk < 2x < arcsin(√2/2) + 2πk, k ∈ Z
- π - π/4 + 2πk < 2x < π/4 + 2πk, k ∈ Z
 - 5π/4 + 2πk < 2x < π/4 + 2πk, k ∈ Z
 - 5π/8 + πk < x < π/8 + πk, k ∈ Z
3)  tgx<1
- π/2 + πn < x < arctg(1) + πn, n ∈ Z
- π/2 + πn < x < π/4 + πn, n ∈ Z