What we have referred to as the “General Principle
of the Polar Planimeter” may be states as being that “The area traced
by the Tracer during any operation is equal to the length of the Tracer
Arm multiplied by the distance recorded by the Wheel for that tracing.”