Идея следующая:
Берем прямоугольный треугольник
со сторонами
, достраиваем до прямоугольника
, затем пристраиваем прямоугольный треугольник
также с соотношением сторон
и снова достраиваем до прямоугольника. И повторим эту операцию для полученного прямоугольника еще раз - так, чтобы стороны этого прямоугольника стали гипотенузами треугольников с тем же соотношением сторон - получим еще один прямоугольник (составленный из подобных прямоугольных треугольников, с непараллельными сторонами - стороны
будут непараллельны сторонам самых внешних треугольников). Стороны этого внешнего прямоугольника имеют рациональное отношение, поэтому можно трансляцией таких прямоугольников замостить квадрат. Все подобные треугольники, составляющие наш прямоугольник также имеют имеют рациональные соотношения сторон, поэтому все эти треугольники можно замостить маленькими, им подобными и параллельными, равными между собой треугольничками.
-- Sat Apr 14, 2018 23:09:45 --Сорри, что не стал дорисовывать внешний прямоугольник, но, надеюсь, понятно.