UPDATED
This is a very interesting question and probably rather difficult, although attackable.
Here is a particular case meant to indicate that the problem deserves more careful attention than it has receivedmotivating example followed by a few questionsconjectured solution.
Using $28$ rectangles of shape $\frac14 \times \frac17$ gives a diagonal of $\sqrt{\frac1{16}+\frac1{49}} \approx\sqrt{0.0829}$
Using $25$ squares of side $\frac15$ then subdividing three to get $28$ rectangles gives maximum diagonal $\sqrt{\frac2{25}}=\sqrt{0.08}$
Since $28=10+18,$ another option is the configuration below. It seems clear that it is optimal to have equal diagonals which gives the system of equations $3a+2b=1,\frac1{36}+a^2=\frac1{25}+b^.2$$$3u+2v=1 \text{ and }\frac1{36}+u^2=\frac1{25}+v^.2$$ Here the two equal sides of the second equation are the square of the diagonal. The solution turns out to be $a=\frac{45-13\sqrt{5}}{75} $$u=\frac{45-13\sqrt{5}}{75} $ and $b=\frac{-20+13\sqrt{5}}{50}$$v=\frac{-20+13\sqrt{5}}{50}$ with diagonals $\sqrt{\frac{269-130\sqrt{5}}{500}}\approx \sqrt{0.0729}.$ That seems pretty good but I think, but do not claim, that itthis is optimal. I do think it can be shown to be optimal among solutions made up of rows running side to side.
For fixed $n$ there are only
The general problem is: given a finiterectangle of dimensions $a \times b$ (but largewhere we may assume $a \le b$) number of configurations ofand an integer $n$ rectangles which assemble to tile, find a rectangle. Setting up an appropriate systemdivision of equations asthe rectangle into $n$ sub-rectangles in such a way as to minimize the thirdlongest diagonal of any sub-rectangle. I think that the optimal solution above will allowhave all diagonals equal. However let us specify that among solutions with the shortets longest diagonal, we prefer the one with diagonals as close to determine how well a particular configuration doesequal as possible, say ones which minimize (given$$\sum_{1 \le i_1 \lt i_2 \le n}(d_{i_1}-d_{i_2})^2$$ where $d_i$ is the dimensionsdiagonal of the target rectangle$i$th sub-rectangle.
The idea (presented dynamically) It would not be hardis to writestart with a program to checkdivision of the rectangle into $j$ rows of $k$ rectangles, all solutions withof dimensions $n=n_1n_2+n_3n_4$$\frac{a}{j} \times \frac{b}{k}$ where $j$ and two kinds of subrectangles.$k$ are integers to be specified with $jk \ge n.$ Then remove $jk-n$ rectangles leaving either
Is it the case that the optimal solution hss equal diagonals for all subrectangles?
- $j$ rows, $jk-n$ with $k-1$ rectangles and the rest with $k$ rectangles OR
- $k$ columns, $jk-n$ with $j-1$ rectangles and the rest with $j$ rectangles.
HereLet us assume it is a guess for subdividing the unit square: If $s^2 \lt n \lt (s+1)^2$ thenfirst case, the optimal solution has $s$ orother being the same $s+1$mutatis mutandis. Then we make all the rectangles in the deficient rows have width (depending on which square is closer)$\frac{b}{k-1}$ and then adjust the rows to have each with $s$ or $s+1$of the two kinds of rectangles have equal diagonal. More specifically:That is we use rectangles of sizes $u \times \frac{b}{k}$ and $v \times \frac{b}{k-1}$ where
- $u^2+(\frac{b}{k})^2=v^2+(\frac{b}{k-1})^2$
- $(j-(jk-n))u+(jk-n)v=a$.
It remains to specify $j$ and $k$. If the task was to find $n=s^2+t$$n$ disjoint rectangles with total area $0 \lt t \le s$$ab$ and minimize the maximum diagonal, then the optimal solution haswould be $s$ rows with$n$ squares of side $s-t$ rows having$s=\sqrt{\frac{ab}{n}}$ and diagonal $s$ rectangles$\sqrt{\frac{2ab}{n}}.$ We can certainly not do better than that for the given problem and can only do that well exactly when $b \times \frac1s $$a$ and $t$ rows$b$ are both integer multiples of $s+1$$s.$ To dispose of an extreme case which does not exactly fit the later description: if $a \lt s$ then use a single row of rectangles $a \times \frac1{s+1}$ where$a \times \frac{b}{n}.$ Otherwise, let $b^2+\frac{1}{s^2}=a^2+\frac1{(s+1)^2}$ and$$j'=\Big\lfloor\frac{a}{s} \Big\rfloor \text{ and }k'=\Big\lfloor\frac{b}{s} \Big\rfloor.$$ Consider the choices $(s-t)b+ta=1$
But if$j=j'+1,k=k'$ and $n=s^2+t$ with$j=j',k=k'+1$. If both satisfy $s \le t \lt 2s+1$$jk \ge n,$ then the optimal solution has $s+1$ rows withtry both $2s+1-t$ rows having(I'll guess that the one minimizing $s$ rectangles$jk$ is better). If only one does, use it. Finally, if neither does, then use $a \times \frac1s $ and$j=j'+1,k=k'+1.$
This description has one try as many as $t-s$ rows$4$ cases. A certain amount of experimentation, which I have not done, might allow one to conjecture $s+1$ rectangles $\frac1{s+1} \times b$ where, and then possibly prove, rules for what choices to make for $a^2+\frac{1}{s^2}=b^2+\frac1{(s+1)^2}$$j,k$ and which choice $(2s-t+1)a+(t-s)b=1$
Note that in(rows or columns) to truncate. It would also provide a check if the description given works. For example I am implicitly assuming (in the first case) that $n=s^2+s,$ either description gives all rectangles$j \ge jk-n.$ If both this and $\frac1s \times \frac1{s+1}.$$k \ge jk-n$ can fail at the same tie, then something is wrong with the description.