RU-ALLRUSSIAN 1966 Problem 5
A rectangle ABCD is drawn on squared paper with its vertices at lattice points and its sides lying along the gridlines. AB with an integer. Prove that the number of shortest paths from A to C starting out along AD is times the number starting out along AB.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.