MathDB
2017-2018 Spring OMO Problem 25

Source:

April 3, 2018

Problem Statement

Let mm and nn be positive integers. Fuming Zeng gives James a rectangle, such that m1m-1 lines are drawn parallel to one pair of sides and n1n-1 lines are drawn parallel to the other pair of sides (with each line distinct and intersecting the interior of the rectangle), thus dividing the rectangle into an m×nm\times n grid of smaller rectangles. Fuming Zeng chooses m+n1m+n-1 of the mnmn smaller rectangles and then tells James the area of each of the smaller rectangles. Of the (mnm+n1)\dbinom{mn}{m+n-1} possible combinations of rectangles and their areas Fuming Zeng could have given, let Cm,nC_{m,n} be the number of combinations which would allow James to determine the area of the whole rectangle. Given that A=m=1n=1Cm,n(m+nm)(m+n)m+n,A=\sum_{m=1}^\infty \sum_{n=1}^\infty \frac{C_{m,n}\binom{m+n}{m}}{(m+n)^{m+n}}, then find the greatest integer less than 1000A1000A.
Proposed by James Lin