How extra calculus and complex numbers can help humanities mathematics

Original publication: Updated:

Why learn a little beyond your required course?

The original 2019 article encouraged humanities-track applicants to learn selected ideas from the advanced mathematics course then called Mathematics III. Curriculum boundaries and permitted examination methods depend on the examination, so check your own requirements. The mathematical question is simpler: Which additional tools would help you understand and check the problems you already study?

There are four possible benefits:

  1. Checking an answer. A limiting value can expose a probability formula that behaves implausibly.
  2. Continuing with an awkward variable choice. A less convenient expression may still be manageable by differentiation.
  3. Replacing a hard-to-spot trick with a systematic method. Calculus can sometimes find an extremum that would otherwise require a clever inequality.
  4. Writing a shorter argument. Complex multiplication provides a compact description of a rotation.

These benefits do not mean that every student should study an entire additional course, or that calculus solves every optimization problem. Choose tools that complement your preparation and understand why they work.

1. Limits: a useful way to check behavior

A limit describes how a quantity behaves as its argument approaches a value. For example,

lim⁡x→0+1x=+∞,lim⁡x→+∞1x=0.\lim_{x\to0+}\frac1x=+\infty,\qquad \lim_{x\to+\infty}\frac1x=0.

The first expression approaches zero from the positive side; it does not substitute x=0x=0 into 1/x1/x. Differentiation itself is defined by a limit:

f′(a)=lim⁡x→af(x)−f(a)x−a,f'(a)=\lim_{x\to a}\frac{f(x)-f(a)}{x-a},

when that finite limit exists.

Example: rolling a tetrahedron

A regular tetrahedron rests on a plane. At each step, choose one of the three edges of its bottom face with equal probability and roll onto the adjacent face. Let pnp_n be the probability that the initial bottom face is down after nn rolls.

From that face the next roll always leaves it; from any other face, one of three rolls reaches it. Therefore

pn+1=1−pn3,p0=1,p_{n+1}=\frac{1-p_n}{3},\qquad p_0=1,

and

pn=14+34(−13)n=14{1−(−13)n−1}(n≥1).p_n=\frac14+\frac34\left(-\frac13\right)^n =\frac14\left\{1-\left(-\frac13\right)^{n-1}\right\}\quad(n\ge1).

Its limit is 1/41/4, consistent with the four symmetric faces. The values p0=1p_0=1, p1=0p_1=0, and p2=1/3p_2=1/3 are additional checks.

The source screenshot instead says to track a face not initially down, while its displayed answer is for the initial bottom face. For a specified initially nonbottom face, the correct formula is

qn=14{1−(−13)n},q0=0.q_n=\frac14\left\{1-\left(-\frac13\right)^n\right\},\qquad q_0=0.

Both formulas tend to 1/41/4. This illustrates a limitation of checking only a limit: it cannot establish that the entire answer is correct. Initial conditions and the recurrence must also match the actual question. The full probability-recurrence guide explains the method in more detail.

2. Differentiation: more functions, more possible approaches

Beyond polynomial derivatives, the following five rules are especially useful:

ddxxα=αxα−1(x>0, α∈R),\frac{d}{dx}x^\alpha=\alpha x^{\alpha-1}\quad(x>0,\ \alpha\in\mathbb R), (fg)′=f′g−fg′g2(g≠0),\left(\frac{f}{g}\right)'=\frac{f'g-fg'}{g^2}\quad(g\ne0), (g∘f)′(x)=g′(f(x))f′(x),(g\circ f)'(x)=g'(f(x))f'(x), (sin⁡x)′=cos⁡x,(cos⁡x)′=−sin⁡x.(\sin x)'=\cos x,\qquad (\cos x)'=-\sin x.

The trigonometric formulas use radians. Each rule applies where the component functions have the required derivatives and the expression is defined. See the chain-rule explanation for the third rule.

Example: a cone tangent to a unit sphere

A right circular cone has its vertex on the positive zz-axis and its base centered at the origin in the xyxy-plane. Its lateral surface is tangent to the unit sphere centered at the origin. The source problem asks for minimum surface area and volume; the teaching example below first focuses on volume.

Cut through the axis of symmetry. The upper semicircle of radius one is tangent to the two sides of an isosceles triangle.

Axial cross-section of a cone tangent to the unit semicircle, with a radius perpendicular to the sloping side.

An angle parameter can simplify the geometry. Suppose instead that we choose the base radius x>1x>1. If the height is hh, the sloping line in this section has distance one from the origin. Equivalently,

xhx2+h2=1,h=xx2−1.\frac{xh}{\sqrt{x^2+h^2}}=1, \qquad h=\frac{x}{\sqrt{x^2-1}}.

The resulting volume is

V(x)=π3x3x2−1.V(x)=\frac\pi3\frac{x^3}{\sqrt{x^2-1}}.

The quotient and chain rules let us continue with this parameter:

ddxx2−1=xx2−1,\frac{d}{dx}\sqrt{x^2-1}=\frac{x}{\sqrt{x^2-1}}, V′(x)=π33x2x2−1−x4/x2−1x2−1=π3x2(2x2−3)(x2−1)3/2.\begin{aligned} V'(x) &=\frac\pi3\frac{3x^2\sqrt{x^2-1}-x^4/\sqrt{x^2-1}}{x^2-1}\\ &=\frac\pi3\frac{x^2(2x^2-3)}{(x^2-1)^{3/2}}. \end{aligned}

For 1<x<3/21<x<\sqrt{3/2} this is negative, and for x>3/2x>\sqrt{3/2} it is positive. Thus

min⁡V=32πat x=32.\boxed{\min V=\frac{\sqrt3}{2}\pi\quad\text{at }x=\sqrt{\frac32}.}

The same function can also be studied by algebraic substitutions and inequalities; choosing xx did not make calculus logically necessary. The point is that the extra tool gives a direct route even when the chosen expression is not convenient for basic polynomial differentiation.

For completeness, distinguish lateral area from total surface area. The slant height is x2/x2−1x^2/\sqrt{x^2-1}, so lateral area equals 3V3V and has minimum 33π/23\sqrt3\pi/2. Total area includes the base and is

A=πx2(1+1x2−1).A=\pi x^2\left(1+\frac1{\sqrt{x^2-1}}\right).

Writing s=x2−1>0s=\sqrt{x^2-1}>0 gives A/π=s2+s+1+1/sA/\pi=s^2+s+1+1/s. Its derivative vanishes at the unique positive root σ\sigma of 2σ3+σ2−1=02\sigma^3+\sigma^2-1=0; the derivative is negative before this root and positive afterward. Therefore the minimum total area is π(σ2+σ+1+1/σ)\pi(\sigma^2+\sigma+1+1/\sigma), not three times the minimum volume.

Example: an inequality or a derivative

Find the minimum of x2+1/xx^2+1/x for x>0x>0.

A useful AM–GM argument splits the reciprocal term into two equal parts:

x2+12x+12x≥3x2⋅12x⋅12x3=343.x^2+\frac1{2x}+\frac1{2x} \ge3\sqrt[3]{x^2\cdot\frac1{2x}\cdot\frac1{2x}} =\frac3{\sqrt[3]4}.

Equality holds when x2=1/(2x)x^2=1/(2x), namely x=1/23x=1/\sqrt[3]2.

If that split does not occur to you, differentiation gives another route. Put f(x)=x2+1/xf(x)=x^2+1/x. Then

f′(x)=2x−1x2=2x3−1x2.f'(x)=2x-\frac1{x^2}=\frac{2x^3-1}{x^2}.

The derivative changes from negative to positive at x=1/23x=1/\sqrt[3]2, so

min⁡x>0(x2+1x)=343.\boxed{\min_{x>0}\left(x^2+\frac1x\right)=\frac3{\sqrt[3]4}.}

This example shows a systematic alternative to a clever transformation. For other functions, solving the derivative equation may itself be difficult, and endpoints or nondifferentiable points can still matter.

Example: finding a range

For x≠0x\ne0, find the range of g(x)=x+1/xg(x)=x+1/x.

An algebraic approach sets k=x+1/xk=x+1/x and asks when x2−kx+1=0x^2-kx+1=0 has a real root. The condition is k2−4≥0k^2-4\ge0, and its roots are nonzero because their product is one. Thus every k≤−2k\le-2 or k≥2k\ge2 occurs.

Calculus gives the same result from

g′(x)=1−1x2.g'(x)=1-\frac1{x^2}.

On the positive branch, gg decreases to g(1)=2g(1)=2 and then increases, tending to +∞+\infty at both ends. By continuity its range there is [2,∞)[2,\infty). On the negative branch, the maximum is g(−1)=−2g(-1)=-2, and the endpoint limits are −∞-\infty. Hence the full range is

(−∞,−2]∪[2,∞).\boxed{(-\infty,-2]\cup[2,\infty).}

3. Complex multiplication: a compact rotation rule

Identify the point (a,b)(a,b) with the complex number a+bia+bi. The horizontal real axis is labeled Re and the vertical imaginary axis Im.

The complex number 2+3i plotted at coordinates (2,3).

Multiplying by cos⁡θ+isin⁡θ\cos\theta+i\sin\theta rotates a point counterclockwise through θ\theta about the origin, without changing its distance from the origin. For example,

(2+3i)(cos⁡π3+isin⁡π3)=1−332+(32+3)i.(2+3i)\left(\cos\frac\pi3+i\sin\frac\pi3\right) =1-\frac{3\sqrt3}{2}+\left(\frac32+\sqrt3\right)i.

The point 2+3i and its counterclockwise rotation through pi/3.

In general,

(a+bi)(cos⁡θ+isin⁡θ)=(acos⁡θ−bsin⁡θ)+i(bcos⁡θ+asin⁡θ).(a+bi)(\cos\theta+i\sin\theta) =(a\cos\theta-b\sin\theta) +i(b\cos\theta+a\sin\theta).

The rotated coordinates are therefore

(acos⁡θ−bsin⁡θ, bcos⁡θ+asin⁡θ).\boxed{(a\cos\theta-b\sin\theta,\ b\cos\theta+a\sin\theta).}

Why multiplication rotates

The number 2+3i2+3i has modulus 13\sqrt{13}. Choose α\alpha with cos⁡α=2/13\cos\alpha=2/\sqrt{13} and sin⁡α=3/13\sin\alpha=3/\sqrt{13}. Then

2+3i=13(cos⁡α+isin⁡α).2+3i=\sqrt{13}(\cos\alpha+i\sin\alpha).

Polar description of 2+3i using its argument alpha and modulus square root of 13.

By the angle-addition formulas,

(cos⁡α+isin⁡α)(cos⁡θ+isin⁡θ)=cos⁡αcos⁡θ−sin⁡αsin⁡θ+i(sin⁡αcos⁡θ+cos⁡αsin⁡θ)=cos⁡(α+θ)+isin⁡(α+θ).\begin{aligned} &(\cos\alpha+i\sin\alpha)(\cos\theta+i\sin\theta)\\ &=\cos\alpha\cos\theta-\sin\alpha\sin\theta +i(\sin\alpha\cos\theta+\cos\alpha\sin\theta)\\ &=\cos(\alpha+\theta)+i\sin(\alpha+\theta). \end{aligned}

The modulus stays 13\sqrt{13} and the angle increases by θ\theta, which is exactly the required rotation.

Rotation increases the argument from alpha to alpha+theta while preserving the modulus.

These three tools—limits, more general derivatives, and complex rotations—can make familiar problems easier to check, solve, or explain. Learn their conditions as well as their formulas, then compare them with the methods already in your required course.

Related articles

About the author

Koki Saito

Physician and graduate of the University of Tokyo Faculty of Medicine. Drawing on his entrance-exam experience, he explains how to choose mathematical methods and construct complete solutions.

Full profile →

Have a question or spotted an error? Contact us.