View On GitHub
大きな長方形をたくさんの(有限個の)小さな長方形に分割した. その際全ての小さな長方形の縦の長さもしくは横の長さのどちらか(あるいは両方ともが)整数であった.
このとき, 大きな長方形の縦の長さもしくは横の長さのどちらか(あるいは両方とも)整数であることを示せ.
とっておきの数学パズルの1章から. 天書の証明の29章にも証明がある. えびまラボにも解説がある. (チルノにしては賢すぎるような…)