Inverse functions: Arcsine and SSA (Part 13)

We’ve seen in this series that blinding using the arcsine function on a calculator is insufficient for finding all solutions of an equation like $\sin \theta = 0.8$ . In today’s post, I discuss one of the first places that this becomes practically important: solving the ambiguous case of solving a triangle given two sides and an nonincluded angle.

A note on notation: when solving for the parts of $\triangle ABC$ , $a$ will be the length of the side opposite $\angle A$ , $b$ will be the length of the side opposite $\angle B$ , and $c$ will be the length of the side opposite angle $C$ . Also $\alpha$ will be the measure of $\angle A$ , $\beta$ will be measure of $\angle B$ , and $\gamma$ will be the measure of $\angle C$ . Modern textbooks tend not to use $\alpha$ , $\beta$ , and $\gamma$ for these kinds of problems, for which I have only one response:

Why does an SSA triangle produce an ambiguous case (unlike the SAS, SSS, or ASA cases)? Here’s a possible problem that has exactly one solution:

Solve $\triangle ABC$ if $a = 5$ , $c = 10$ , and $\alpha = 30^\circ$ .

A student new to the Law of Sines might naively start solving the problem by drawing something like this:

Of course, that’s an inaccurate picture that isn’t drawn to scale. A more accurate picture would look like this:

Notice that the red circle intersects the dashed black line at exactly one point. Therefore, we know that there will be exactly one solution for this case.

Of course, the reason that the dashed circle and line intersect at exactly one point is because $a = c \sin \alpha$ , so that the triangle is a right triangle.

Of course, students should not be expected to make a picture this accurately when doing homework. Fortunately, this impossibility naturally falls out of the equation when using the Law of Sines:

$\displaystyle \frac{\sin \alpha}{a} = \displaystyle \frac{\sin \gamma}{c}$

$\displaystyle \frac{\sin 30^\circ}{5} = \displaystyle \frac{\sin \gamma}{10}$

$\displaystyle \frac{1/2}{5} = \displaystyle \frac{\sin \gamma}{10}$

$\displaystyle 1 = \sin \gamma$

$90^\circ = \gamma$

The jump to the last step is only possible because there’s exactly one angle between $0^\circ$ and $90^\circ$ whose sine is equal to $1$ . In the next couple posts in this series, we’ll see what happens when we get a step where $0 < \sin \gamma < 1$ .

Anyway, for the problem at hand, from this point forward it’s easy to solve for the remaining pieces. We begin by finding $\beta$ :

$\beta = 180^\circ - \alpha - \gamma = 60^\circ$

Then we can use the Law of Sines (or, in this case, the Pythagorean Theorem), to find $b$ :

$\displaystyle \frac{\sin \alpha}{a} = \displaystyle \frac{\sin \beta}{b}$

$\displaystyle \frac{\sin 30^\circ}{5} = \displaystyle \frac{\sin 60^\circ}{b}$

$\displaystyle \frac{1/2}{5} = \displaystyle \frac{\sqrt{3}/2}{b}$

$b = 5\sqrt{3}$

In the next few posts of this series, I’ll consider the other SSA cases — including the case where two solutions are possible.

Inverse functions: Arcsine and SSA (Part 12)

Why does an SSA triangle produce an ambiguous case (unlike the SAS, SSS, or ASA cases)? Here’s a possible problem that has no solution:

Solve $\triangle ABC$ if $a = 3$ , $c = 10$ , and $\alpha = 30^\circ$ .

A student new to the Law of Sines might naively start solving the problem by drawing something like this:

Of course, that’s an inaccurate picture that isn’t drawn to scale. A more accurate picture would look like this:

The red dashed circle with center $B$ illustrates the dilemma: “side” $BC$ is simply too short to reach the horizontal dashed line to make the vertex $C$ , dangling limply from the vertex $B$ .

Of course, students should not be expected to make a picture this accurately when doing homework. Fortunately, this impossibility naturally falls out of the equation when using the Law of Sines:

$\displaystyle \frac{\sin \alpha}{a} = \displaystyle \frac{\sin \gamma}{c}$

$\displaystyle \frac{\sin 30^\circ}{3} = \displaystyle \frac{\sin \gamma}{10}$

$\displaystyle \frac{1/2}{3} = \displaystyle \frac{\sin \gamma}{10}$

$\displaystyle \frac{5}{3} = \sin \gamma$

Since $\sin \gamma$ must like between $0$ and $1$ (said another way, $\sin^{-1} \frac{5}{3}$ is undefined), we know that this triangle cannot be solved.

In the next few posts of this series, I’ll consider the other SSA cases — including the case where two solutions are possible.

Inverse Functions: Arcsine (Part 9)

I’d like to discuss a common mistake students make in trigonometry… as well as the one-liner that I use to (hopefully) help students not make this mistake in the future.

Question. Find all solutions (rounded to the nearest tenth of a degree) of $\sin x = 0.8$ .

Erroneous Solution. Plugging into a calculator, we find that $x \approx 53.1^o$ .

I offer a thought bubble if you’d like to think about why this answer is wrong.

The student correctly found the unique angle $x$ between $-90^o$ and $90^o$ so that $\sin x = 0.8$ . That’s the definition of the arcsine function. However, there are plenty of other angles whose sine is equal to $0.7$ . This can happen in two ways.

First, if $\sin x > 0$, then the angle $x$ could be in either the first quadrant or the second quadrant (thanks to the mnemonic All Scholars Take Calculus). So $x$ could be (accurate to one decimal place) equal to either $53.1^o$ or else $180^o - 53.1^o = 126.9^o$ . Students can visualize this by drawing a picture, talking through each step of its construction (first black, then red, then brown, then green, then blue).

However, most students really believe that there’s a second angle that works when they see the results of a calculator.

Second, any angle that’s coterminal with either of these two angles also works. This can be drawn into the above picture and, as before, confirmed with a calculator.

So the complete answer (again, approximate to one decimal place) should be $53.1^{\circ} + 360n^o$ and $126.9 + 360n^{\circ}$, where $n$ is an integer. Since integers can be negative, there’s no need to write $\pm$ in the solution.

Therefore, the student who simply answers $53.1^o$ has missed infinitely many solutions. The student has missed every nontrivial angle that’s coterminal with $53.1^o$ and also every angle in the second quadrant that also works.

Here’s my one-liner — which never fails to get an embarrassed laugh — that hopefully helps students remember that merely using the arcsine function is not enough for solving problems such as this one.

You’ve forgotten infinitely many solutions. So how many points should I take off?

Engaging students: Using right-triangle trigonometry

In my capstone class for future secondary math teachers, I ask my students to come up with ideas for engaging their students with different topics in the secondary mathematics curriculum. In other words, the point of the assignment was not to devise a full-blown lesson plan on this topic. Instead, I asked my students to think about three different ways of getting their students interested in the topic in the first place.

I plan to share some of the best of these ideas on this blog (after asking my students’ permission, of course).

This student submission comes from my former student Shama Surani. Her topic, from Precalculus: using right-triangle trigonometry.

How could you as a teacher create an activity or project that involves your topic?

A project that Dorathy Scrudder, Sam Smith, and I did that involves right-triangle trigonometry in our PBI class last week, was to have the students to build bridges. Our driving question was “How can we redesign the bridge connecting I-35 and 635?” The students knew that the hypotenuse would be 34 feet, because there were two lanes, twelve feet each, and a shoulder of ten feet that we provided on a worksheet. As a group, they needed to decide on three to four angles between 10-45 degrees, and calculate the sine and cosine of the angle they chose. One particular group used the angle measures of 10°, 20°, 30°, and 40°. They all calculated the sine of their angles to find the height of the triangle, and used cosine to find the width of their triangle by using 34 as their hypotenuse. The picture above is by Sam Smith, and it illustrates the triangles that we wanted the students to calculate.

The students were instructed to make a scale model of a bridge so they were told that 1 feet = 0.5 centimeters. Hence, the students had to divide all their calculations by two. Then, the students had to check their measurements of their group members, and were provided materials such as cardstock, scissors, pipe cleaners, tape, rulers, and protractors in order to construct their bridges. They had to use a ruler to measure out what they found for sine and cosine on the cardstock, and make sure when they connected the line to make the hypotenuse that the hypotenuse had a length of 17 centimeters. After they drew their triangles, they had to use a protractor to verify that the angle they chose is what one of the angles were in the triangle. When our students presented, they were able to communicate what sine and cosine represented, and grasped the concepts.

Below are pictures of the triangles and bridges that one of our groups of students constructed. Overall, the students enjoyed this project, and with some tweaks, I believe this will be an engaging project for right triangle trigonometry.

How does this topic extend what your students should have learned in previous courses?

In previous classes, such in geometry, students should have learned about similar and congruent triangles in addition to triangle congruence such as side-side-side and side-angle-side. They should also have learned if they have a right angle triangle, and they are given two sides, they can find the other side by using the Pythagorean Theorem. The students should also have been exposed to special right triangles such as the 45°-45°-90° triangles and 30°-60°-90° triangles and the relationships to the sides. Right triangle trigonometry extends the ideas of these previous classes. Students know that there must be a 45°-45°-90° triangle has side lengths of 1, 1, and $\sqrt{2}$ which the lengths of 1 subtending the 45° angles. They also are aware that a 30°-60°-90° produces side lengths of 1, $\sqrt{3}$ , and 2, with the side length of 1 subtending the 30°, the length of $\sqrt{3}$ subtending the angle of 60°, and the length of 2 subtending the right angle. So, what happens when there is a right angle triangle, but the other two angles are not 45 degrees or 30 and 60 degrees? This is where right triangle trigonometry comes into play. Students will now be able to calculate the sine, cosine, and tangent and its reciprocal functions for those triangles that are right. Later, this topic will be extended to the unit circle and graphing the trigonometric functions as well as their reciprocal functions and inverse functions.

What are the contributions of various cultures to this topic?

Below are brief descriptions of various cultures that personally interested me.

Early Trigonometry

The Babylonians and Egyptians studied the sides of triangles other than angle measure since the concept of angle measure was not yet discovered. The Babylonian astronomers had detailed records on the rising and setting of stars, the motion of planets, and the solar and lunar eclipses. On the other hand, Egyptians used a primitive form of trigonometry in order to build the pyramids.

Greek Mathematics

Hipparchus of Nicaea, now known as the father of Trigonometry, compiled the first trigonometric table. He was the first one to formulate the corresponding values of arc and chord for a series of angles. Claudius Ptolemy wrote Almagest, which expanded on the ideas of Hipparchus’ ideas of chords in a circle. The Almagest is about astronomy, and astronomy relies heavily on trigonometry.

Indian Mathematics

Influential works called Siddhantas from the 4^th-5^th centry, first defined sine as the modern relationship between half an angle and half a chord. It also defined cosine, versine (which is 1 – cosine), and inverse sine. Aryabhata, an Indian astronomer and mathematician, expanded on the ideas of Siddhantas in another important work known as Aryabhatiya. Both of these works contain the earliest surviving tables of sine and versine values from 0 to 90 degrees, accurate to 4 decimal places. Interestingly enough, the words jya was for sine and kojya for cosine. It is now known as sine and cosine due to a mistranslation.

Islamic Mathematics

Muhammad ibn Mūsā al-Khwārizmī had produced accurate sine and cosine tables in the 9^th century AD. Habash al-Hasib al-Marwazi was the first to produce the table of cotangents in 830 AD. Similarly, Muhammad ibn Jābir al-Harrānī al-Battānī had discovered the reciprocal functions of secant and cosecant. He also produced the first table of cosecants.

Muslim mathematicians were using all six trigonometric functions by the 10^th century. In fact, they developed the method of triangulation which helped out with geography and surveying.

Chinese Mathematics

In China, early forms of trigonometry were not as widely appreciated as it was with the Greeks, Indians, and Muslims. However, Chinese mathematicians needed spherical geometry for calendrical science and astronomical calculations. Guo Shoujing improved the calendar system and Chinese astronomy by using spherical trigonometry in his calculations.

European Mathematics

Regiomontanus treated trigonometry as a distinct mathematical discipline. A student of Copernicus, Georg Joachim Rheticus, was the first one to define all six trigonometric functions in terms of right triangles other than circles in Opus palatinum de triangulis. Valentin Otho finished his work in 1596.

http://en.wikipedia.org/wiki/History_of_trigonometry

Calculators and complex numbers (Part 24)

In this series of posts, I explore properties of complex numbers that explain some surprising answers to exponential and logarithmic problems using a calculator (see video at the bottom of this post). These posts form the basis for a sequence of lectures given to my future secondary teachers.

To begin, we recall that the trigonometric form of a complex number $z = a+bi$ is

$z = r(\cos \theta + i \sin \theta) = r e^{i \theta}$

where $r = |z| = \sqrt{a^2 + b^2}$ and $\tan \theta = b/a$ , with $\theta$ in the appropriate quadrant. As noted before, this is analogous to converting from rectangular coordinates to polar coordinates.

Theorem. If $z = x + i y$ , where $x$ and $y$ are real numbers, then

$e^z = e^x (\cos y + i \sin y)$

Definition. Let $z = r e^{i \theta}$ be a complex number so that $-\pi < \theta \le \theta$ . Then we define

$\log z = \ln r + i \theta$ .

Definition. Let $z$ and $w$ be complex numbers so that $z \ne 0$ . Then we define

$z^w = e^{w \log z}$

Technical point: for the latter two definitions, these are the principal values of the functions. In complex analysis, these are usually considered multiply-defined functions. But I’m not going to worry about this technicality here and will only consider the principal values.

This is the last post in this series, where I state some generalizations of the Laws of Exponents for complex numbers.

In yesterday’s post, we saw that $z^{w_1} z^{w_2} = z^{w_1 + w_2}$ as long as $z \ne 0$ . This prevents something like $0^4 \cdot 0^{-3} = 0^1$ , since $0^{-3}$ is undefined.

Theorem. Let $z \in \mathbb{C} \setminus \{ 0 \}$ , $w \in \mathbb{C}$ , and $n \in \mathbb{Z}$ . Then $(z^w)^n = z^{wn}$ .

As we saw in a previous post, the conclusion could be incorrect outside of the above hypothesis, as $\displaystyle \left[ (-1)^3 \right]^{1/2} \ne (-1)^{3/2}$ .

Theorem. Let $u \in \mathbb{R}$ and $z \in \mathbb{C}$ . Then $(e^u)^z = e^{uz}$ .

Theorem. Let $x, y > 0$ be real numbers and $z \in \mathbb{C}$ . Then $x^z y^z = (xy)^z$ .

Again, the conclusion of the above theorem could be incorrect outside of these hypothesis, as $(-2)^{1/2} (-3)^{1/2} \ne \left[ (-2) \cdot (-3) \right]^{1/2}$ .

green line

For completeness, here’s the movie that I use to engage my students when I begin this sequence of lectures.

Calculators and complex numbers (Part 23)

To begin, we recall that the trigonometric form of a complex number $z = a+bi$ is

$z = r(\cos \theta + i \sin \theta) = r e^{i \theta}$

Theorem. If $z = x + i y$ , where $x$ and $y$ are real numbers, then

$e^z = e^x (\cos y + i \sin y)$

Definition. Let $z = r e^{i \theta}$ be a complex number so that $-\pi < \theta \le \theta$ . Then we define

$\log z = \ln r + i \theta$ .

Definition. Let $z$ and $w$ be complex numbers so that $z \ne 0$ . Then we define

$z^w = e^{w \log z}$

In the remaining posts in this series, I want to explore which properties of exponential functions remain true when complex numbers are used.

To begin, if $w$ is a real rational number, then there is an alternative definition of $z^w$ that matches De Moivre’s Theorem. Happily, the two definitions agree. Suppose that $z = r e^{i \theta}$ with $-\pi < \theta \le \pi$ . Then

$z^w = e^{w \log z}$

$= e^{w [\ln r + i \theta]}$

$= e^{w \ln r + i w \theta}$

$= e^{w \ln r} e^{i w \theta}$

$= r^w (\cos w\theta + i \sin \theta)$

Next, one of the Laws of Exponents remains true even for complex numbers:

$z^{w_1} z^{w_2} = e^{w_1 \log z} e^{w_2 \log z}$

$= e^{w_1 \log z + w_2 \log z}$

$= e^{(w_1 + w_2) \log z}$

$= z^{w_1 + w_2}$ .

However, in previous posts, we’ve seen that the rules $(x^y)^z = x^(yz)$ and $x^z y^z = (xy)^z$ may not be true if nonpositive bases, let alone complex bases, are used.

We can also derive the usual rules $z^0 = 1$ and $z^{-w} = \displaystyle \frac{1}{z^w}$ . First,

$z^0 = e^{0 \log z} = e^0 = 1$ .

Next, we think like an MIT freshman and use the above Law of Exponents to observe that

$z^w z^{-w} = z^{w-w} = z^0 = 1$ .

Dividing, we see that $z^{-w} = \displaystyle \frac{1}{z^w}$ .

green line

For completeness, here’s the movie that I use to engage my students when I begin this sequence of lectures.

Calculators and complex numbers (Part 22)

To begin, we recall that the trigonometric form of a complex number $z = a+bi$ is

$z = r(\cos \theta + i \sin \theta) = r e^{i \theta}$

Theorem. If $z = x + i y$ , where $x$ and $y$ are real numbers, then

$e^z = e^x (\cos y + i \sin y)$

Definition. Let $z = r e^{i \theta}$ be a complex number so that $-\pi < \theta \le \theta$ . Then we define

$\log z = \ln r + i \theta$ .

At long last, we are now in position to explain the last surprising results from the calculator video below.

Definition. Suppose that $z$ and $w$ are complex numbers so that $z \ne 0$ . Then we define

$z^w = e^{w \log z}$

Naturally, this definition makes sense if $z$ and $w$ are real numbers.

For example, let’s consider the computation of $i^i$ . For the base of $i$ , we note that

$\log i = \log e^{\pi i/ 2} = \displaystyle \frac{\pi i}{2}$ .

Therefore,

$i^i = e^{i \log i} = e^{i \pi i/2} = e^{-\pi/2}$ ,

which is (surprisingly) a real number.

As a second example, let’s compute $(-8)^i$ . To begin,

$\log(-8) = \log \left( 8 e^{\pi i} \right) = \ln 8 + \pi i$ .

Therefore,

$(-8)^i = e^{i \log(-8)}$

$= e^{i (\ln 8 + \pi i)}$

$= e^{-\pi + i \ln 8}$

$= e^{-\pi} (\cos [\ln 8] + i \sin [ \ln 8 ] )$

$= e^{-\pi} \cos (\ln 8) + i e^{-\pi} \sin (\ln 8)$

In other words, a problem like this is a Precalculus teacher’s dream come true, as it contains $e, \ln, \pi, \cos, \sin$ , and $i$ in a single problem.

green line

For completeness, here’s the movie that I use to engage my students when I begin this sequence of lectures.

Calculators and complex numbers (Part 21)

To begin, we recall that the trigonometric form of a complex number $z = a+bi$ is

$z = r(\cos \theta + i \sin \theta) = r e^{i \theta}$

Over the past few posts, we developed the following theorem for computing $e^z$ in the case that $z$ is a complex number.

Definition. Let $z = r e^{i \theta}$ be a complex number so that $-\pi < \theta \le \theta$ . Then we define

$\log z = \ln r + i \theta$ .

Of course, this looks like what the definition ought to be if one formally applies the Laws of Logarithms to $r e^{i \theta}$ . However, this complex logarithm doesn’t always work the way you’d think it work. For example,

$\log \left(e^{2 \pi i} \right) = \log (\cos 2\pi + i \sin 2\pi) = \log 1 = \ln 1 = 0 \ne 2\pi i$ .

This is analogous to another situation when an inverse function is defined using a restricted domain, like

$\sqrt{ (-3)^2 } = \sqrt{9} = 3 \ne -3$

$\sin^{-1} (\sin \pi) = \sin^{-1} 0 = 0 \ne \pi$ .

The Laws of Logarithms also may not work when nonpositive numbers are used. For example,

$\log \left[ (-1) \cdot (-1) \right] = \log 1 = 0$ ,

but

$\log(-1) + \log(-1) = \log \left( e^{\pi i} \right) + \log \left( e^{\pi i} \right) = \pi i + \pi i = 2\pi i$ .

green line

For completeness, here’s the movie that I use to engage my students when I begin this sequence of lectures.

Calculators and complex numbers (Part 20)

To begin, we recall that the trigonometric form of a complex number $z = a+bi$ is

$z = r(\cos \theta + i \sin \theta) = r e^{i \theta}$

Over the past few posts, we developed the following theorem for computing $e^z$ in the case that $z$ is a complex number.

Theorem. If $z = x + i y$ , where $x$ and $y$ are real numbers, then

$e^z = e^x (\cos y + i \sin y)$

As a consequence, there are infinitely many complex solutions of the equation

$e^z = -2 - 2i$ ,

namely, $z = \ln 2\sqrt{2} - \displaystyle \frac{3\pi}{4} + 2 \pi n i$ .

Choosing the solution that has an imaginary part in the interval $(-\pi,\pi]$ leads to the definition of the complex logarithm.

Definition. Let $z = r e^{i \theta}$ be a complex number so that $-\pi < \theta \le \theta$ . Then we define

$\log z = \ln r + i \theta$ .

Of course, this looks like what the definition ought to be if one formally applies the Laws of Logarithms to $r e^{i \theta}$ . So, for example,

$\log (-2-2i) = \ln 2\sqrt{2} - \displaystyle \frac{3\pi}{4}$

A technicality: this is the principal value of the complex logarithm. In complex analysis, this is technically thought of as a multiply-defined function.

The complex version of the natural logarithm function matches the ordinary definition when applied to real numbers. For example,

$\log 6 = \log \left( 6 e^{0i} \right) = \ln 6 + 0 i = \ln 6$ .

A couple of observations. In high school, the symbol $\log$ is usually dedicated to base 10. However, in higher-level mathematics courses, $\log$ always means natural logarithm. That’s because, for the purposes of abstract mathematics, base-10 logarithms are practically useless. They are helpful for us people since our number system uses base 10; it’s easy for me to estimate $\log_{10} 9000$ , but $\ln 9000$ requires a little more thought. But nearly all major theorems that involve logarithms specifically employ natural logarithms. Indeed, when I first become a professor, I had to remind myself that my students used $\ln$ for natural logarithms and not $\log$ . Still, I write $\log_{10}$ for base-10 logarithms and not $\log$ as a silent acknowledgment of the use of the symbol in higher-level courses.

This use of the logarithm explains the final results of the calculator in the video below. When $\ln(-5)$ is entered, it assumes that a real answer is expected, and so the calculatore returns an error message. On the other hand, when $\ln(-5+0i)$ is entered, it assumes that the user wants the principal complex logarithm. Since $-5+0i = 5 e^{i \pi}$ , the calculator correctly returns $\ln 5 + \pi i$ as the answer. (Of course, the calculator still uses $\ln$ and not $\log$ to mean natural logarithm.)

green line

For completeness, here’s the movie that I use to engage my students when I begin this sequence of lectures.

Calculators and complex numbers (Part 19)

To begin, we recall that the trigonometric form of a complex number $z = a+bi$ is

$z = r(\cos \theta + i \sin \theta) = r e^{i \theta}$

Over the past few posts, we developed the following theorem for computing $e^z$ in the case that $z$ is a complex number.

Theorem. If $z = x + i y$ , where $x$ and $y$ are real numbers, then

$e^z = e^x (\cos y + i \sin y)$

Example. Find all complex numbers $z$ so that $e^z = 5$ .

Solution. If $z = x + iy$ , then

$e^x (\cos y + i \sin y) = 5 (\cos 0 + i \sin 0)$

Matching parts, we see that $e^x = 5$ and that the angle $y$ must be coterminal with $0$ radians. In other words,

$x = \ln 5 \qquad$ and $\qquad y = 2\pi n$ for any integer $n$ .

Therefore, there are infinitely many answers: $z = \ln 5 + 2 \pi n i$ .

Notice that there’s nothing particularly special about the number $5$ . This could have been any nonzero number, including complex numbers, and there still would have been an infinite number of solutions. (This is completely analogous to solving a trigonometric equation like $\sin \theta = 1$ , which similarly has an infinite number of solutions.) For example, the complex solutions of the equation

$e^z = -2 - 2i$

are $z = \ln 2\sqrt{2} - \displaystyle \frac{3\pi}{4} + 2 \pi n i$ .

These observations lead to the following theorems, which I’ll state without proof.

Theorem. The range of the function $f(z) = e^z$ is $\mathbb{C} \setminus \{ 0 \}$ .

Theorem. $e^z = e^w \Longleftrightarrow z = w + 2\pi n i$ .

Naturally, these conclusions are different than the normal case when $z$ is assumed to be a real number.

green line

For completeness, here’s the movie that I use to engage my students when I begin this sequence of lectures.