Нам достаточно выбрать одну из функций, интеграл которых на любом полуцелом прямоугольнике равен нулю. Подойдёт произведение любых периодических функций с нулевым интегралом по единичному периоду - и синус, и косинус, и много других.
Теперь из этого множества функций выбираем такую, чтобы интеграл по большому нецелому прямоугольнику был строго не равен нулю, например синус с началом в одном из углов. Всё, получили противоречие, значит нецелый прямоугольник из полуцелых составить нельзя. QED.
Ну да, это верно. Я видел это, просто решил лишний раз докопаться до формулировки решения.