整个棋盘有 323232 个白格。第 iii 个矩形有 aia_iai 个白格且这些矩形覆盖棋盘,所以 a1+⋯+ap=32a_1+\cdots+a_p=32a1+⋯+ap=32。由严格递增和正性有 ai≥ia_i\ge iai≥i,故 32≥1+2+⋯+p=p(p+1)/232\ge1+2+\cdots+p=p(p+1)/232≥1+2+⋯+p=p(p+1)/2。