Hello. I'm a math and computer science educator based in NYC. For several years, I was a faculty member in cognitive neuroscience at the University of Rochester, but I gradually got fed up with that and moved into school teaching, and I'm very glad that I did.
I recently (Spring 2022) started making some additions and edits to math pages on Wikipedia, with the aim of making them clearer and easier to understand. Quite a few of the math pages could benefit from some improvement on that front, as they tend to be a bit too dry and technical, and they often don't have enough illustrative pictures.
Although Wikipedia isn't meant to be a tutorial textbook, it is supposed to be accessible to a broad general audience. So, I'm trying to help in a small way with that. Also, it's a nice feeling to be improving (or at least trying to improve!) the quality of webpages that get tens of thousands of page views a month, and which often show up at the top of a Google search on the particular topic in question.
Here is a collection of the edits and additions that I've made:
As shown in the accompanying animation, area-preserving shear mappings and translations can transform the squares on the sides adjacent to the right-angle onto the square on the hypotenuse, together covering it exactly.[1] Each shear leaves the base and height unchanged, thus leaving the area unchanged too. The translations also leave the area unchanged, as they do not alter the shapes at all. Each square is first sheared into a parallelogram, and then into a rectangle which can be translated onto one section of the square on the hypotenuse.
(Also on this page, there was an animated SVG of the rearrangement proof that wasn't actually showing up as animated until you clicked on it. It was a nice animation, so this struck me as unfortunate. Using some web-based tools, I turned the animated SVG into an animated gif, so now the webpage shows that instead.)
As shown in the accompanying animation, the theorem can be proved using similar triangles. In the version illustrated here, the triangle gets reflected across a line that is perpendicular to the angle bisector , resulting in the triangle with bisector . The fact that the bisection-produced angles and are equal means that and are straight lines. This allows the construction of triangle that is similar to . Because the ratios between corresponding sides of similar triangles are all equal, it follows that . However, was constructed as a reflection of the line , and so those two lines are of equal length. Therefore, , yielding the result stated by the theorem.
(I first looked at this page while I was teaching Precalculus, which includes trig identities as part of its curriculum. I noticed that the page had far too few pictures on it. Any topic involving geometry really needs pictures. I enjoy making figures in Desmos, so I added some made with that, along with explanatory captions. If you click through on the diagrams to their homes on Wikimedia Commons, the descriptions there should link to the Desmos graphs that were used to make them.)
Ptolemy's theorem is important in the history of trigonometric identities, as it is how results equivalent to the sum and difference formulas for sine and cosine were first proved (see the section on classical antiquity in the page History of trigonometry). It states that in a cyclic quadrilateral , as shown in the accompanying figure, the sum of the products of the lengths of opposite sides is equal to the product of the lengths of the diagonals. In the special cases of one of the diagonals or sides being a diameter of the circle, this theorem gives rise directly to the angle sum and difference trigonometric identities.[3] The relationship follows most easily when the circle is constructed to have a diameter of length one, as shown here.
By Thales's theorem, and are both right angles. The right-angled triangles and both share the hypotenuse of length 1. Thus, the side , , and .
By the inscribed angle theorem, the central angle subtended by the chord at the circle's center is twice the angle , i.e. . Therefore, the symmetrical pair of red triangles each has the angle at the center. Each of these triangles has a hypotenuse of length , so the length of is , i.e. simply . The quadrilateral's other diagonal is the diameter of length 1, so the product of the diagonals' lengths is also .
When these values are substituted into the statement of Ptolemy's theorem that , this yields the angle sum trigonometric identity for sine: . The angle difference formula for can be similarly derived by letting the side serve as a diameter instead of .[4]
(I added some text to the intro of this page, to emphasise that the exponentiation rules follow as necessary consequences from the basic fact that means occurrences of all multiplied by each other. The previous text stated these rules as definitions, potentially giving the false impression that they might have been arbitrary choices.)
Starting from the basic fact stated above that, for any positive integer , is occurrences of all multiplied by each other, several other properties of exponentiation directly follow. In particular:
In other words, when multiplying a base raised to one exponent by the same base raised to another exponent, the exponents add. From this basic rule that exponents add, we can derive that must be equal to 1, as follows. For any , . Dividing both sides by gives .
The fact that can similarly be derived from the same rule. For example, . Taking the cube root of both sides gives .
The rule that multiplying makes exponents add can also be used to derive the properties of
negative integer exponents. Consider the question of what should mean. In order to respect the "exponents add" rule, it must be the case that . Dividing both sides by gives
, which can be more simply written as , using the result from above that . By a similar argument, .
The properties of fractional exponents also follow from the same rule. For example, suppose we consider and ask if there is some suitable exponent, which we may call , such that . From the definition of the square root, we have that . Therefore, the exponent must be such that . Using the fact that multiplying makes exponents add gives . The
on the right-hand side can also be written as , giving . Equating the exponents on both sides, we have . Therefore, , so .