There were no takers for this … but here's the solution for completeness. It's all similar triangles ... with some fancy ratio table moves; the reductions come from common diagonals in the upper pair … and common columns in the bottom pair. Classical moves that we're maybe less familiar with today.
add a skeleton here at some point
19 days ago