The given sum is what we would get if we were to compute the definite
But we can also compute this directly:
Now by amazing coincidence $9.3$ squared happens to evaluate to
which is good enough to pass for $86.5$. One more lucky coincidence: $9.3$ is easily multiplied by $\frac 23$. So we need to do $6.2$ times $86.5$ which yields
The $.3$ cancels ...
It is not possible to move all 16 bars.
Consider the total distance that each person moves, in each direction, carrying each possible number of bars. For example $R_2^+$ is the total distance that Rod moves forward while carrying 2 bars. We can set up a system of equations. Both Rod and Lia must move a net distance of $1$ mile forwards:
R_0^+ - R_0^- + ...
Yet another one, with all 16 words different: (I admit that this is a computer-assisted answer, in the sense that I wrote a program to extract the list of 4-letter heteropalindromes from YAWL. I constructed the square manually from that list.)
For side information: there are only 16 unique such squares containing 16 unique words (not counting rotations and ...
Since black has many checks available, we can
This limits our options to four possible moves. Nf7+ seems particularly promising, so
Black has only one move that doesn't immediately end in a smothered checkmate at Nf6, so we check the checks (heh) after that move to find
after which we can somewhat incredibly finish with either
Here is the finished tiling:
To get started:
Looking at the left pear:
With those chokepoints:
For the next step I took a guess:
From there, I just looked at the pieces I had left and found something that worked.
A little experimentation with Euclids formula, demonstrates that there are only
primitive Pythagorean triples with largest element less than or equal to 80. If, from these, we choose the sets
and note that 65=5*13, then we can produce the triples
Using them, plus their reflections about the lines y=x, y=-x, y=0, and x=0, plus the four extra points sitting ...