Как работает формула Пика и почему?

Формула Пика — интересный способ вычислять площадь многоугольника с вершинами в узлах клетчатой сетки. Давайте выясним, почему эта странная формула действительно является формулой площади.