Подытожу.
ewert и
gris с самого начала были правы, что длины отрезков мы знать не можем, даже несмотря на то, что можем легко найти все площади. Собственно, вот они, эти площади.
![$\tikz[scale=.1]{
\draw [ultra thick]
(2,20)--(42,20)--(42,0)--(2,0)--(2,20);
\draw [thick] (30,20)--(30,0);
\draw [thick] (2,14)--(42,14);
\node at (17,17){\textbf{20}};
\node at (36,17){\textbf{2}};
\node at (17,6){\textbf{60}};
\node at (36,6){\textbf{6}};
}$ $\tikz[scale=.1]{
\draw [ultra thick]
(2,20)--(42,20)--(42,0)--(2,0)--(2,20);
\draw [thick] (30,20)--(30,0);
\draw [thick] (2,14)--(42,14);
\node at (17,17){\textbf{20}};
\node at (36,17){\textbf{2}};
\node at (17,6){\textbf{60}};
\node at (36,6){\textbf{6}};
}$](https://dxdy-03.korotkov.co.uk/f/6/f/7/6f78fa7bd6bb7a8f986a5dc45da0e1dc82.png)
Штука в том, что мы не знаем точно
ни одного отрезка. Стало быть, задача о нахождении длин конкретных отрезков сводится к задаче о замощении одного прямоугольника другими. Либо, что эквивалентно, о разрезании одного прямоугольника на другие.
Очевидно, что таких решений бесконечно много и не надо было даже пытаться искать одно. Именно потому, что мы знаем только площади и не знаем
ни одного отрезка. Диву даюсь, как такая простая вещь ускользнула от моего внимания.
Теперь, ежели кто желает, можно решать задачу в модификации
gris'а.