Topical Math

Today was a sleepy day. (I wonder what causes those.) I didn’t do any exercises, but ended up watching six videos on voting systems. It seemed an appropriate topic as the US presidential election begins in earnest. I’ve long thought about making a study of this topic, becoming a voting system wonk and joining one of the organizations that advocates for reform. I do think adoption of better systems might benefit the country, especially in the primaries, where it is already common to have more than two candidates. (Elections with more than two candidates being where our current system is most likely to produce perverse results.)

Below is the video I watched that I think is most likely to be interesting to non-wonks. It does a good job explaining some alternative voting systems, though it does not say much about their pros and cons:

Celebrate

Happy International Pi Approximation Day, readers!

Today I did the review exercises that I chose on Saturday and decided to forgo the challenge problems that follow them. This means that I have finally finished the first chapter of my textbook and, with it, the groundwork phase of my review project. I am now ready to start chapter two, which covers the actual calculus topics of limits and derivatives.

Over the weekend, I felt pretty discouraged that it has taken me more than four months to get through this chapter. (I started it on the other Pi Day, in fact.) Today I mostly feel pleased to have done it, though. We’ll see about tomorrow.

I don’t know if there is any good way to pick up the pace. There are a lot of days when my mind simply does not work well, and I have very little control over that. I could perhaps do fewer exercises, but I want to relearn the material thoroughly. As I’ve said before, my ultimate goal is to do some online tutoring, which requires laying out the steps to solve tricky problems quickly and in one’s head. (I do wonder how many days in a month I’m actually going to be able to do that, given my experience working on this review. Not none, hopefully.)


One of the exercises I did today concerned finding parametric equations for a curve called the Cissoid of Dioclese. It is traced by the point $P$ in the diagram below as $\theta$ varies from $-\frac{\pi}{2}$ to $\frac{\pi}{2}$. ($P$ is the point on $\overline{OB}$ such that $OP$ is equal to $AB$.)

Cissoid Small
Source: Single Variable Calculus by James Stewart

I was able to do this problem using the fact that a central angle has twice the measure of an inscribed angle subtended by the same arc, which is to say, that the measure of $\angle ADC$, below, is $2\theta$. (I proved this in the post Angles and Arcs.)

Cissoid Small Annotated

The way the diagram was drawn, however, suggests that mine wasn’t the author’s expected solution. Anyone have an idea about how to find expressions in terms of $\theta$ for the $x$ and $y$ coordinates of $P$ without using $\angle ADC$?

The cissoid looks like this (with the point $P$ renamed to $M$):

Cissoid Of Diocles By Dasha Mic
Source: Dasha Mic

An Alternative Construction

My brain was not functioning at all well today, but I still ground through almost all of the remaining exercises on parametric curves. It was fairly miserable, but I am proud to have done it. I did skip one exercise that I simply couldn’t get a handle on. I may or may not return to it another day.

I’m now ready to start the review exercises for the chapter on functions. After I have finished those, and possibly some of the challenge problems that follow them, I will be able to start my calculus review in earnest with the chapter on limits and derivatives. Hooray!

The most interesting problem I worked on today concerned the alternative construction of an ellipse that is illustrated in the diagram below.

Ellipse Construction Small
Source: Single Variable Calculus by James Stewart

It turns out that the figure traced by point $P$ as $\theta$ varies from $0$ to $2\pi$ is the ellipse $\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$. (The red right triangle always has legs parallel and perpendicular to the x-axis and changes proportions as $\theta$ varies. It does not tilt in order to maintain its proportions.) That this is so can be shown by using parametric equations to define the curve traced by $P$, then converting them to the Cartesian equation for the ellipse. I thought this was pretty neat, and I wonder if anything interesting would come out of examining the relationship between this construction and the usual one for an ellipse.

(I may demonstrate how to show the figure is an ellipse at some time in the future. Let me know if you are interested.)

Puzzling Parameters

I was tired today and struggled to concentrate. I only spent an hour on textbook exercises, even though I had hoped to finish the section on parametric curves. That will have to happen tomorrow. I also spent time on some experiments with parametric curves that I started yesterday. My thoughts about them are too numerous and disorganized for me to write them up here, but I have decided to share the Desmos notebook I’ve been using, to which I’ve added a bit of commentary. I hope some of you may find it interesting. You can view it here.1

  1. To do. ↩︎

Rolling Along

Today I worked on exercises in my calculus book concerning parametric curves. I also talked with my father a bit about cycloids, the curves traced by a point on the perimeter of a circle as the circle rolls along a line. (These are simplest to define parametrically.)

Cycloid By Zorgit
Cycloid animation by Zorgit

As part of our discussion, we imagined a related class of curves that turn out to be called called cyclogons, traced by a point at the vertex of a rolling regular polygon. Just as a circle is the limit of a sequence of polygons as the number of sides approaches infinity, so a cycloid is the limit of a sequence of cyclogons as the number of sides of the polygon approaches infinity. Visualizing this can make it more intuitive that the point that traces a cycloid never moves backward as the circle rolls. Check out this demonstration and notice how the point always traces part of the top half of a circle, passing through each horizontal position only once.

(I’d also like to draw readers’ attention to the series of videos on rolling curves that I shared a while ago: The Wonderful World of Weird Wheels by Morphocular)

The Great Wide Open

My mental health was poor today, and I spent my study time watching math videos. This included one on open problems that are relatively simple to state but have proven difficult to solve. It was quite interesting, but had several errors (some of which I noticed and some of which I found pointed out in the comments). Therefore I won’t link it here.

My favorite open problem is the first one that caught my imagination: the conjecture that there are infinitely many perfect numbers. This turns out to be closely related to the conjecture that there are infinitely many Mersenne primes, a type of prime number that is one less than a power of two. So a conjecture about summing factors is related to the existence of a type of prime numbers. Cool huh?

Boom Day

Happy 4th of July, readers.

Today I finished the exercises and reading from yesterday. The latter explained a way I could use parametric equations to instruct a graphing calculator to draw the inverse of Tuesday’s wild function. Desmos does not require this indirect method, however. It can graph $x=3+y^2+\tan(\frac{\pi y}{2})$ as written. Whatever the benefits for graphing, I don’t think converting the wild function into parametric equations makes it any easier to test whether it has an inverse. That may require calculus, as a reader suggested earlier in the week.

Wild Functions

Today went well. I’m nearly finished with the exercises for the section I’m working on.

One of the exercises I did today reminded me what a walled garden I am playing in when working from a textbook. The functions encountered there are always tame ones susceptible to the techniques being taught. Today one of the exercises gave me a glimpse of a wild function, though.

$f(x)=3+x^2+\tan(\frac{\pi x}{2})$ for $-1<x<1$

I was asked to find $f^{-1}(3)$. It’s not too difficult to find that particular value, but I could find no way to do it by the first method I tried: by deriving a formula for the inverse, $f^{-1}(x)$. I don’t know how to solve $x=3+y^2+\tan(\frac{\pi y}{2})$ for $y$. That’s what makes this a wild function. It cannot be bidden the way most of the functions used in textbook exercises can.

(I believe the function does have an inverse, though I would like to come up with a better test for that than I have.1 Right now, I have the word of the textbook and an examination of the graph, which you can see here and which does not show any two $x$ values with the same $y$ value.)

  1. To do. ↩︎

Can’t Live With ‘Em…

My struggle to make progress on my review over the past couple of weeks was caused mostly by issues with my medication. Problems with my regimen as prescribed were the main thing, with a little user error thrown in, as well. I’m finally recovered from that, but I complicated today with a little more user error by forgetting to take my medication last night. As a result, I slept a good part of the day and only had time and energy for an hour of study. Yet I did manage both to work on calculus exercises and to explore my question about composition of functions.

I didn’t make any new progress in the explorations. So far, I have only the fairly low-hanging observation that, if $f(x)$ and $g(x)$ each apply a single algebraic operation to $x$ and both operations are of the same type, then $f(g(x))=g(f(x))$. The types are: exponentiation (including roots), multiplication or division, and addition or subtraction. Below are some examples, which you can easily see are interchangeable this way:

Exponentiation
$f(x) = x^2$, $g(x) = \sqrt[3]{x}=x^{\frac{1}{3}}$:
$(x^{\frac{1}{3}})^2=x^{\frac{2}{3}}=(x^2)^{\frac{1}{3}}$

Multiplication and division
$f(x) = 3x$, $g(x) = \frac{x}{5}$:
$3(\frac{x}{5})=\frac{3x}{5}=\frac{(3x)}{5}$

Addition and subtraction
$f(x) = x-5$, $g(x) = x+3$:
$(x+3)-5=x-2=(x-5)+3$

In general, this does not work with algebraic operations of different types:

Exponentiation and multiplication
$f(x) = x^2$, $g(x) = 3x$:
$(3x)^2=9x^2\neq 3(x^2)=3x^2$

I’ve also easily found examples that even simple trigonometric, logarithmic, and exponential functions are not generally interchangeable in composition.

Olly Returns

Hello again, faithful readers. I spent today’s study time reading the next section of my calculus book and investigating some of the ideas it presented. In particular, I was interested in what pairs of functions, $f(x)$ and $g(x)$, have the property that $f(g(x))=g(f(x))$.1 I made some minor discoveries, but I am too tired this evening to write them up. Perhaps tomorrow.

  1. To do. ↩︎