the interval into equal infinitesimal subintervals, and let be the taxicab length of the -th subarc. Then

By the mean value theorem, there exists some point between and such that . Then the previous equation can be written

Then is given as the sum of every partition of on as they get arbitrarily small:

To test this, take the taxicab circle of radius centered at the origin. Its curve in the first