Question (3) in the algebra section reads, "What is the reason that when different powers of the same quantity are multiplied together their exponents are added?" It is asking about the exponent law for product of powers, axay=ax+y. Knowing the prestige of Harvard, giving an informal answer is likely not satisfactory. But most of the so called "proofs" that are prevalent in textbooks essentially boil down to the following reasoning.
aa…a⏟x times⋅aa…a⏟y times=aaaa…aa⏟x+y times
This appeals to the intuitive understanding that ax is a multiplied x times, so when you multiply the result also by a for another y times, you get ax+y. This is hardly satisfying as a proof.
Another "proof" is to reduce this to the additive law of logarithms logxy=logx+logy, but this is like throwing the hot potato to someone else.
logaxay=logax+logay=x+yalogaxay=ax+y
And since alogc=c i.e. log is the inverse of exponent, so alogaxay=axay=ax+y.
There are other exponent laws without formal proofs, but for this article I'm going to focus on the sum of powers.
Formal proof
We appeal to proof by induction for the formal proof. First we establish the base case for exponentiation:a0=1
Also recall that 1 is the multiplicative identity, so x⋅1=1⋅x=x, and 0 is the additive identity, so x+0=0+x=x. From this, we can prove the base case where y=0, i.e. axa0=ax⋅1=ax=ax+0.
Now for the inductive case, we need both the axiom of exponentiation ax⋅a=ax+1 and the induction hypothesis axay=ax+y. We proceed to show that axay+1=ax+y+1.
ax(ay+1)=⏟axi.ax(aya1)=⏟assoc.(axay)a1=⏟I.H.ax+ya1=⏟axi.a(x+y)+1
In the equations above, "axi." means the axiom of exponentiation, "I.H." means application of induction hypothesis, and "assoc." means associativity (which is true of all multiplicative groups, e.g. matrix multiplication).
Having painstakingly established a formal proof of the product of powers, there is a notable limitation, namely that we only allow natural number exponents, {x,y}⊆N. In particular, we don't allow negative (e.g. -3) or fractions (e.g. 3.14159...). Indeed, the real number domain has declarative properties that evade the mere application of modus ponens in discrete logic, which gives rise to the famous satire Alice in Wonderland.
Proof sketch in real number domain
Fortunately, all is not lost in the real number domain. We can invoke Taylor's theorem to expand the infinite series for calculating ex and ey, multiply the two series, and see if ex+y expands to the result of the multiplication.The Taylor series for ex is:
ex=∑∞n=0xnn!=1+x11!+x22!+x33!+x44!+…=1+x+x22+x36+x424+…
The following table multiplies the Taylor series for ex and ey.
×1xx22x36x424…11xx22x36x424…yyxyx2y2x3y6x4y24…y22y22xy22x2y24x3y212x4y248…y36y36xy36x2y312x3y336x4y3144…y424y424xy424x2y448x3y4144x4y4576…⋮⋮⋮⋮⋮⋮⋱
The Taylor series for ex+y, expanded individually, is:
1+(x+y)+(x+y)22+(x+y)36+(x+y)424+…||||||||xx22x36x424yxyx2y2x3y6y22xy22x2y24y36xy36y424
As you can see, the expansion of each term corresponds diagonally to the multiplication table above, so we can indeed show by Taylor expansion that exey=ex+y. This is only a proof sketch, but the enterprising mind could organize the table into a formal proof, using Binomial Theorem and Cauchy Product.
You might have noticed that we have only established the product law at base e but not other bases. For the other bases, recall that ax=exlna, so we have:
axay=exlnaeylna=e(xlna)+(ylna)=e(x+y)lna=ax+y
Conclusion
There are two reasons why I suspect the Harvard entrance exam only expected the informal reasoning of counting the number of multiplicands. Cauchy (1789-1857) product is a fairly recent development to the time of the exam in 1869, which makes it unlikely to become part of the curriculum. There were no other questions that require the use of proof by induction so that it is also unlikely to be part of the curriculum either.On the other hand, it is only after I became older (and overeducated) that I realize a lot of maths I was taught in grade school were really just informal proof sketches, and even so I didn't learn to question the profoundness of their limitations. The informal proof sketch of counting the multiplicands is limited to exponent in the natural number domain and would not work for real number exponents. I spent the better parts of my youth learning faux math!
Laws in the real number domain cannot be proven by counting alone because real numbers are uncountable. For this case I appealed to Taylor's Theorem, first expanding the polynomial series and showing the combined series are equal. I suspect many of the real number laws could use the same treatment.
No comments:
Post a Comment