Соответствующие диагонали разбивают подобные многоугольники на подобные треугольники.
Доказываем подобие треугольников (с одинаковым коэффициентом и соответствием сторон) - тем самым доказываем подобие многоугольников.
(3) A1B1C1~ABC, A1D1C1~ADC (по двум сторонам и углу между ними)
(4) A1B1C1~ABC (по данным смежным сторонам и углу между ними)
A1D1C1~ADC (по стороне (A1C1, AC) и прилежащим углам)
(6) A1B1C1~ABC, A1B1D1~ABD (по трем пропорциональным сторонам)
∠C1A1D1=∠CAD
C1A1D1~CAD (по двум сторонам и углу между ними)
ANKL - ромб
АК точкой О делится пополам по условию,
NL делится пополам точкой О, т.к. треугольники ANO и ALO одинаковы - общая сторона и равные два прилежащих угла
Ну, а раз ANKL ромб, то NK || AC