Хотя достаточно проинтегрировать по данному прямоугольнику произведение

. Этот интеграл равен сумме интегралов по прямоугольникам разбиения, а каждый из последних равен нулю (так как все прямоугольники разбиения являются полуцелыми). Значит, этот интеграл тоже ноль, но тогда мы интегрировали по полуцелому прямоугольнику.
Стоп, я что-то не понимаю. У Вас интегралы по контуру какого рода: первого или второго? Если второго, то интеграл по любому прямоугольнику всегда

, независимо от целости сторон. А если первого, то тогда интеграл не будет равен сумме интегралов по мелким прямоугольникам.
-- Сб июн 09, 2012 10:12:11 --Или я опять запутался... Сейчас посчитаю точнее.
Пусть есть прямоугольник с вершинами

. При этом

и

. Считаем интеграл второго рода от

по контуру прямоугольника, направление обхода - против часовой стрелки. Получаем

(Оффтоп)
Безобразие, окружение eqnarray не работает, в окружении array почему-то не отображается значок интеграла!
Теперь приводим подобные и получаем, что интеграл равен

Если хотя бы одно из чисел

,

целое, то в каждом слагаемом один из множителей нулевой и интеграл равен нулю. А если нет, то каждое слагаемое не нулевое. Осталось понять, почему они не могут сократиться...