Miles and Miles!

This post considers the mile. You know, the unit of distance. 5,280 feet... 1,760 yards... 8 furlongs of 660 feet a piece... Have you ever thought about how nicely divisible our mile is? I have two principal goals in writing this post; they are, in ascending order of importance, (1) to talk about the history of the mile, and (2) to demonstrate an effective algorithm for finding all the factors of a number.

The USA's ubiquitous distance measure dates back to 1593, during the reign of Queen Elizabeth I, where it was formalized by an English Act of Parliament.
Sure, there were things called "miles" before then: the term originates from the Latin word millia, meaning "thousand", and has cognates in many languages (e.g., Ger. meile, Dut. mijl, Old Eng./Swed./Nor. mil, Rus. milha...). This rich provenance comes from the fact that the Roman Empire used a unit of measured called the mille passuum, Latin for "one thousand paces", which was equivalent to about 4851 modern feet.

Hilariously, the USA changed the definition of the yard in 1893 with the Mendenhall Order to be based on metric standards instead of the customary English measurements. In 1834, when the UK Houses of Parliament were destroyed in a fire, the official "yard" and "pound" were torched withal and the new copies made to replace them were unstable and kept changing sizes. Around the same time the International Bureau of Weights and Measures was established in France, recommending the highly stable and less arbitrary meter- and kilogram- standards. So in 1866, Congress passed a law which allowed (but did not require) the use of the metric system. Unfortunately, the definition of a yard was also changed, so that 1 yard = 3600/3937 (0.9144018288) meters, a change which differs from the international standard of 1 yard = 0.9144 meters by about 3.2 millimeters per mile. This may not sound like much---one international mile (1,609.344 km) is exactly 0.999998 of a US mile (1,609.347219 km)---but the accumulated differences can be significant.

Anyway, enough of that. Let's factor 5280. Remember factor trees?

  5280
    /  \
  3   1760
        /  \
       2  880
            /  \
           2  440
                /  \
               2   220
                     /  \
                    2   110
                          /  \
                         2  55
                             /  \
                            5  11

Clearly a mile can be evenly split into halves, thirds, fourths, fifths, sixths, eighths, tenths, elevenths, twentieths...

To find ALL of the factors of a number systematically, we write the prime factorization (the bolded factors above) using exponents:
3¹ x 2⁵ x 5¹ x 11¹

To find the total number of factors, just add one to each exponent and multiply them together. Thus, 5280 has (1+1)(5+1)(1+1)(1+1)=(2)(6)(2)(2)=48 factors!

To find out all 48 distinct factors, we have to find all unique combinations of the above prime factors: we will have all the prime factors (#1, below), all the products of two primes (#2, ₄C₂+1), all the products of three primes (#3), all products of four primes (#4), all products of five primes (#5), all products of six primes (#6), all products of seven primes (#7) and only one product of eight primes (#8), 2x2x2x2x2x3x5x11=5280.

#1:
      = 3, 2, 5, 11
#2:    2², (2x3), (2x5), (2x11), (3x5), (3x11), (5x11)
       = 4, 6, 10, 22, 15, 33, 55
#3:    2³, (2²x3), (2²x5), (2²x11), (2x3x5), (2x3x11), (2x5x11), (3x5x11)
       = 8, 12, 20, 44, 30, 66, 110, 165
#4:    2⁴, (2³x3), (2³x5), (2³x11), (2²x3x5), (2²x3x11), (2²x5x11), (2x3x5x11)
       = 16, 24, 40, 88, 60, 132, 220, 330
#5:    2⁵, (2⁴x3), (2⁴x5), (2⁴x11), (2³x3x5), (2³x3x11), (2³x5x11), (2²x3x5x11)
       = 32, 48, 80, 176, 120, 264, 440, 660
#6:    (2⁵x3), (2⁵x5), (2⁵x11), (2⁴x3x5), (2⁴x3x11), (2⁴x5x11), (2³x3x5x11)
       = 96, 160, 352, 240, 528, 880, 1320
#7:    (2⁵x3x5), (2⁵x3x11), (2⁵x5x11), (2⁴x3x5x11)
       = 480, 1056, 1760, 2640
#8:    (2⁵x3x5x11)
       = 5280
 ...and don't forget 1!

But in choosing the mile to have 5280 feet, it turns out we could've done better! In 1915, the mathematician Ramanujan formalized the concept of a highly composite number (HCN) as a positive integer with more divisors than any smaller positive integer. For example, if we had defined a mile to consist of 5,040 feet (a HCN), we would have 60 factors with 240 fewer feet. We would lose divisibility by 11, but we would gain divisibility by multiples of 7 and 9, perhaps more a more useful quality. Also, 5040 is a factorial (7! = 7x6x5x4x3x2x1 = 5040), equal to ₁₀C₄ (10x9x8x7=5040) , a superior highly composite number, and a colossally abundant number. The number 2,520 (it too has 48 factors) would've been a good choice as well. In fact, it is the smallest number divisible by all of the numbers 1-12 not including 11. Unfortunately, the smallest number that is divisible by all numbers 1-12 including 11 is 11x2520=27,750... not a very practical number for measurement purposes.

So, all told, the mile is pretty good! It's divisible by 48 different numbers and it has some quirky history. 5040 is a much cooler number, but oh well: the USA should be adopting the metric system soon. In fact, according to the CIA Factbook, the US is one of only three countries that has not adopted the metric system as their official system of weights and measures (Burma and Liberia are the other two).