Логические задачи
      NazVa.net

Верно говорят - поспешить других рассмешить. Прошу прощения за небольшое лирическое отступление. На эту тему есть интересный анекдот:
Приезжает в родное село студент. Накрыли стол по-хозяйски сели кушать да о жизни разговаривать. Ну студент и рассказал, как мол здорово в городе, много всего интересного, жизнь крутая, какой он крутой, умный и чё угодно доказать может. Ну отец разозлился и говорит ему - "Видишь на столе курицу?", тот говорит - "Да". - "А можешь доказать что их две?" Тот на понтах говорит -  "да". Отец сразу отвечает "Ну вот ты вторую и ешь, а мы с ёй разберёмся"))))

Да, в результате пересечения)))
Кстати я и сейчас поторопился. Ну жизнь есть жизнь, а на форумах ещё и общаются. "(две стороны образующие четырёхугольник принадлежат квадрату предку, а две - квадрату который пересекается с потомком - )" неверно, есть варианты с двумя сторонами двух предков. Но сути это не меняет. Любая комбинация ведёт к тому же.

Теорема:
Если любые два квадрата на множестве квадратов дают в результате сложения квадрат, или пустое множество, то квадрат получившийся в результате действия на подобном множестве является его частью. Т.е. тоже даёт при пересечении с другими либо квадрат либо пустое множество.

Доказательство:
Полученный квадрат не может дать при пересечении с другими квадратами неквадрат, иначе один из предков квадратов тоже давал бы неквадрат при пересечении (две стороны образующие четырёхугольник принадлежат квадрату предку, а две - квадрату который пересекается с потомком - ), а это противоречит начальному условию.

Из теоремы следует, что любая комбинация квдратов, являющяяся ничем иным как суммой квадратов соответствующих условию задачи будет равна либо квадрату либо пустому множеству.

Простите за писанину. Пришёл прочёл замечание, стало неудобно, поэтому постарался минут на 10.

Ах, да. Я бегло прочитал, извините. "Верно ли, что пересечение произвольных наборов этих квадратов также будет либо пустым множеством, либо квадратом?". Если бы звучало так, то моё замечание было бы верным.
Простите великодушно!

Неверно. Множество пересечений пар квадратов дающих квадрат как результат, при сопоставлении дают квадраты лишь в определённых структурах. Есть бесконечное множество решений дающих обратный результат. Пример - берём два квадрата дающих при пересечении квадратик и два других непересекающихся с первыми, но имеющих "квадратик"  не совпадающий с 1м. Т.к. квадратик-результат не совпадает с 1м, то вместе они не могут образовывать квадрат. Любые пары при этом соответствуют условию. (С учётом того, что действия на остатках от пересечений не производятся по условию, либо условие надо менять). Спасибо.