## Informal Derivation of Euler’s Identity

“Who would have thought that which enters as the ratio of circumference to diameter, , as the natural base for logarithms, , as the fundamental imaginary unit and 0 and 1 (which we know all about from infancy) would all be tied together in any way, not to mention such a simple and compact way? I hope I never stumble into anything like this formula, for nothing I do after that in life would have any significance.” – Physicist Ramamurti Shankar 1

(1)

The Nobel Prize winning physicist Richard Feynman called equation (1), known as Euler’s identity, “one of the most remarkable, almost astounding, formulas in all of mathematics” 2.

Euler’s identity can be derived easily from Taylor series…

(2)

…as well as defining as

(3)

In equation (2), represents the -th derivative of the function , with the zeroth derivative of being equal to .

The Taylor series of can be easily derived from equation (2).

From the equations above, as well as equation (2), it follows that:

(4)

The Taylor series of can also be derived easily from equation (2).

From the equations above and equation (2), it follows that:

(5)

From equations (3), (4), and (5), if is a real number:

(6)

Finally, let . Equation (6) becomes:

And:

Notes:

1. “Basic Training in Mathematics: a Fitness Program for Science Students.” Basic Training in Mathematics: a Fitness Program for Science Students, by Ramamurti Shankar, Springer, 2006, p. 95.
2. Feynman, Richard. “Algebra.” The Feynman Lectures on Physics, www.feynmanlectures.caltech.edu/I_22.html.

## Radioactive Decay And Isochron Dating of Moon Rocks

The rate of decay of a sample of a radioactive isotope is proportional to the number, N, of particles of that isotope. Mathematically, this can be represented as

(1)

Equation (1) is a simple first order differential equation. It can be solved as follows. First, divide both sides of (1) by N(t):

Since,

(2)

Next, integrate both sides of equation (2):

(3)

Apply the fundamental theorem of calculus to both sides of equation (3). The integral on the left side is equal to

(4)

And, since is a constant, the integral on the right side of equation (3) is equal to

(5)

Letting , , and , from (3), (4), and (5):

(6)

(7)

If we define the half life of the radioactive isotope,the time it takes for half of the sample to decay, as , we can solve for the decay constant in terms of the half life:

(8)

The value of can be determined by experimentally measuring the half-life of the radioactive isotope. Assuming that the half life of a radioactive isotope is in fact constant (and therefore is a constant), we are still faced with a problem. Let’s assume that we have discovered rocks that we believe formed at the same time. If we want to date each of the rocks using equation (7), it appears that unless we know , the number of particles a radioactive isotope present in the rock at its formation, even if is a constant, we’ll have no way to determine the age of the rock. Making matters worse, it appears that there is no way of determining whether or not the rocks in question are ‘closed’ systems. If the ‘system’ (the rock in question) has been a closed system since its formation, that means that no material has been added or removed from the rock since its formation.

So is there no way to determine the age of rocks from radioactive isotopes present in the rocks? No. There are multiple possible methods for determining the age of rocks. The method I will focus on is the rubidium-strontium isochron method.

There are two naturally occuring isotopes of rubidium. is a radioactive isotope of rubidium, and has half life of billion years. is a stable isotope of rubidium 1. decays to via beta decay (one of decays into a proton, an electron, and an antineutrino).

Strontium-87 and Strontium-86 are two stable isotopes of strontium. If a group of rocks are co-genetic, meaning they are formed at the same time and place and are derived from the same parent material, they will have the same ratio of when they are formed 2. Assuming that the rocks are closed systems, the amount of at the time of in the rocks should be the same today as when the rocks were formed, since is not produced by radioactive decay. The amount of in each rock at the time of formation should be different from the amount of in each rock today, since can form from the decay of .

If a rock has been a closed system since its time of formation, each particle that decays forms a single particle. So the amount of particles measured long after the rock has formed is

(9)

Since the amount of is assumed to be constant, it follows that

(10)

From equation (6), letting and :

(11)

From (10) and (11) it follows that:

(12)

We are assuming that all of the rocks collected formed at the same time and thus are the same age. We are assuming that is the same for all rocks in our sample (since we assume they formed at the same time). depends on the initial amount of , , and the amount of present at the time of formation (which will vary from rock to rock). depends on both the amount of at the time of formation and the initial amount of present at the time of formation, which will vary from rock. From those assumptions, including the assumption that the half life of is a constant that has not changed over time (and is independent of geological conditions), equation (12) has the form of a simple linear equation.

(13)

So if we collect a sample of rocks that we assume were formed at the same time and place, by the same parent material, measure the ratios of to and to present in each rock, a graph of (the ratio of to versus to should form a straight line. The slope of that line will be and the will give us the initial ratio of to .

We have made multiple assumptions, and these can all be tested by plotting the ratio of versus to . If we find a linear relationship between and , we can be confident that our assumptions were correct.

The following data set is of moon rocks collected during the Apollo 17 mission. The relationship between and forms nearly a perfect straight line 3. The dataset can be downloaded here

The slope of the best-fit line is . From equation (13):

(14)

From equation (8), equation (14), and the fact that the measured half life of is 48 billion years:

(15)

The moon rocks that the Apollo 17 collected are approximately billion years old.

Notes:

1. Dating Rocks with the Rb-Sr “Isochron” Method http://www.sciencecourseware.org/VirtualDatingDemo/files/50RbSr.html
3. “Rb-Sr study of a lunar dunite and evidence for early lunar differentiates”, Papanastassiou, D. A. & Wasserburg, G. J.. http://adsbit.harvard.edu//full/1975LPSC….6.1467P/0001467.000.html

## Interesting Geometric Series and Applications of Geometric Series

A geometric series is a series that can be written as

(1)

A geometric series will converge if . For a proof that that the only way a geometric series converges is if , click here.

Proving that a geometric series converges if is simple. The sum of the first terms of a geometric series is

(2)

Equation (2) is derived as followers.

Multiply the left side of the above equation and the far right side by r.

Next, subtract the equation above from and solve for :

(3)

The sum of a geometric series, if it exists, is defined as

(4)

Since and are constants, equation 4 can be written as

(5)

If :

So if , from equation (5), it follows that the geometric series converges, and is equal to

(6)

Here are a few interesting consequences of the definition of the sum of a geometric series (equation (4)).

In the example above, and . So,

So

Proof:

(7)

Focusing on the exponent on the right side, . This is a geometric series with and .

(8)

From (7) and (8):

In the example above, I used 2. The choice of 2 was arbitrary. If c is a positive number:

## Derivation of Generalization of the Gamma Function

The following definite integral problem was posted on stackexchange today.

(1)

The version of the gamma function, a useful function for solving improper integrals, that I learned as an undergraduate physics major is

(2)

At first glance, it appears that the gamma function (equation (2)) can be used to solve equation (1), since a constant times a definite integral is equal to the constant times the definite integral. However, since , equation (2) can’t be used to solve equation (1); the integrands are not of the same form. But it is possible to derive a formula for solving improper integrals of the same form as equation (2) using u-substitution and the gamma function.

Equation (1) has the form

(3)

(with c and a being constants being any constant).

Let

(4)

It follows from equation (4) that

(5)

and

(6)

Applying equations (4), (5), and (6) to equation (3):

(7)

(8)

In equation (7), is just the gamma function, and is thus equal to .

Note: the bounds of integration have not changed, since when x goes to zero, from equation (4), u goes to zero as well. And when x goes to infinity, u goes to infinity for any non-zero constant a.

Finally, from equations(7) and (2) (the gamma function):

(9)

From (1), and . So the solution to (1) is:

Without using equation (8), the integral could still be solved, but it would require using integration by parts multiple times (unless there is another method that I am unaware of), which is an unnecessarily long and arduous way to evaluate the integral.

## Using Python To Find Square-Triangular Numbers

A number is triangular if it satisfies the formula for some positive integer . The square-triangular numbers are numbers that are both triangular and the square of a positive integer.

Letting the n-th triangular number equal

…and the square of the m-th positive integer equal … it follows that a positive integer is both triangular and a square if

for some value of n and some value of m. Finding pairs of values of m and n that satisfy this equation is not easy by hand. The following manipulations of the equations above allow for the use of a simple python algorithm to find square-triangular numbers.

The following two definitions will help simplify the equation above:

With the definitions of w and z above, can be re-written as

Finding values of w and z that satisfy the equation above is not simple, but solutions can be found easily in Python. The following short algorithm finds the first 6 square-triangular numbers.

## Informal Proof of the Associative Law of Matrix Multiplication

In general, if A is an matrix (meaning it has m rows and n columns), the matrix product AB will exist if and only if the matrix B has n rows. If B is an matrix, AB will be an matrix. In general, if A is an matrix (meaning it has m rows and n columns), the matrix product AB will exist if and only if the matrix B has n rows. If B is an matrix, AB will be an matrix.

When multiplying one matrix by another, the number of columns of the matrix on the left must be equal to the number of rows of the matrix on the right. The number of rows of the resulting matrix will be equal to the number of rows of the matrix on the left, and the number of columns will be equal to the number of columns of the matrix on the right.

For (AB)C to exist, C must have p rows (the same number of rows as columns of AB). If C is a matrix, (AB)C will be an matrix.

If (AB)C exists, A(BC) will also exist and have the same shape as (AB)C. For these matrices to exist, A must have the same number of columns as B has rows, and C must have the same number of rows as B has columns. If B is an matrix, for BC to exist, C must have p rows. If C is a matrix, BC will be an matrix. If (AB)C exists, that means that AB exists. If BC is an matrix, then A must have n columns. If A is an matrix, A(BC) will be an matrix. So if A is an matrix, B is an matrix, and C is a matrix, it follows that (AB)C and A(BC) both exist and are matrices.

When (AB)C and A(BC) both exist, . To prove this, all we must do is prove that an arbitrary column of AB(C) will be equal to the same arbitrary column in A(BC).

If represents the i-th column of any matrix K, matrix B can be represented as

is the i-th column of B, and is a vector with n rows. The i-th column of AB is equal to A times the i-th column of B.

The j-th column of the matrix C can be represented as

is the value in row i, column j of C.

Column j of (AB)C is equal to AB times column j of C. This is equal to the linear combination of the i-th columns of (AB) with the i-th values in .

The j-th column of BC is equal to , which is equal to the linear combination of the i-th columns of B with the i-th values in :

The j-th column of A(BC) is equal to the jth column of BC, times A.

Since the j-th column of (AB)C is equal to the j-th column of A(BC), it follows that .