ISL 2020 C7
Consider any rectangular table having finitely many rows and columns, with a real number in the cell in row and column . A pair , where is a set of rows and a set of columns, is called a saddle pair if the following two conditions are satisfied: (i) For each row , there is such that for all ; (ii) For each column , there is such that for all . A saddle pair is called a minimal pair if for each saddle pair ( ) with and , we have and . Prove that any two minimal pairs contain the same number of rows. (Thailand)
Dataset text NuminaMath olympiads. Quoted with source.
Official text: IMO 2020 Shortlist booklet, page 9.
Solutions
Official solution Solution 1 by the IMO Problem Selection Committee
The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).