Dark Alley Mathematics

01 February 2026
jacobian integral

Trouble in the alley

You're walking alone at night through a dark alley in the middle of the night^[1] when a hooded figure stops you. They tell you: "Solve the following mathematical problem right now OR I WILL SHOOT YOU DEAD.". They give you a piece of paper with the problem statement.

Three points are chosen independently and uniformly at random from the interior of a unit circle. What is the probability that their circumcircle is entirely contained within the unit circle?

They have a gun so you have no choice but to solve it. Now, because you're super stressed you have no idea how to do this in some funky clever way by appealing to symmetry or whatever. You'll just have to do it the old fashioned way and painstakingly calculate the result. Luckily the hoodlum doesn't seem to care how long it takes you to arrive at the answer. He told you as much. He provides a notebook and pen.

The Cartesian start

You are dealing with 3 points, so 6 coordinates in total: 3 $x$ s, 3 $y$ s.

$(x_{1}, y_{1})$
$(x_{2}, y_{2})$
$(x_{3}, y_{3})$

Now you know you're dealing with a circular problem (heh). So even though you're in grave danger (the ruffian keeps twirling the gun on his fingers as if to emphasize just how much danger) you've got the mental wherewithal to realise there's a potential variable transformation you can do to make it easier for yourself.

Let's express everything in terms of the circumcircle center $O = (X, Y)$ , its radius $r$ as well as the three angles the 3 points make with the center $O$ : $ϕ_{1}$ , $ϕ_{2}$ , $ϕ_{3}$ .

This gives you a mapping from $(x_{1}, y_{1} , x_{2} , y_{2} , x_{3} , y_{3} )$ to $(X, Y, r, ϕ_{1 }, ϕ_{2} , ϕ_{3} )$ .

You have $\begin{array}{r} x_{i} = X + r \cos ϕ_{i} \\ y_{i} = Y + r \sin ϕ_{i} \\ for i = 1, 2, 3 \end{array}$

Now, you have to calculate the Jacobian since this is a non-trivial transformation, and you'll have to adjust the integral appropriately. The hoodlum reminds you the columns represent the partials with respect to the given output variable, and the rows are with respect to the same input variable. You proceed.

$J = [\begin{matrix} \frac{\partial x_{1}}{\partial X} & \frac{\partial x_{1}}{\partial Y} & \frac{\partial x_{1}}{\partial r} & \frac{\partial x_{1}}{\partial ϕ_{1}} & \frac{\partial x_{1}}{\partial ϕ_{2}} & \frac{\partial x_{1}}{\partial ϕ_{3}} \\ \frac{\partial y_{1}}{\partial X} & \frac{\partial y_{1}}{\partial Y} & \frac{\partial y_{1}}{\partial r} & \frac{\partial y_{1}}{\partial ϕ_{1}} & \frac{\partial y_{1}}{\partial ϕ_{2}} & \frac{\partial y_{1}}{\partial ϕ_{3}} \\ \frac{\partial x_{2}}{\partial X} & \frac{\partial x_{2}}{\partial Y} & \frac{\partial x_{2}}{\partial r} & \frac{\partial x_{2}}{\partial ϕ_{1}} & \frac{\partial x_{2}}{\partial ϕ_{2}} & \frac{\partial x_{2}}{\partial ϕ_{3}} \\ \frac{\partial y_{2}}{\partial X} & \frac{\partial y_{2}}{\partial Y} & \frac{\partial y_{2}}{\partial r} & \frac{\partial y_{2}}{\partial ϕ_{1}} & \frac{\partial y_{2}}{\partial ϕ_{2}} & \frac{\partial y_{2}}{\partial ϕ_{3}} \\ \frac{\partial x_{3}}{\partial X} & \frac{\partial x_{3}}{\partial Y} & \frac{\partial x_{3}}{\partial r} & \frac{\partial x_{3}}{\partial ϕ_{1}} & \frac{\partial x_{3}}{\partial ϕ_{2}} & \frac{\partial x_{3}}{\partial ϕ_{3}} \\ \frac{\partial y_{3}}{\partial X} & \frac{\partial y_{3}}{\partial Y} & \frac{\partial y_{3}}{\partial r} & \frac{\partial y_{3}}{\partial ϕ_{1}} & \frac{\partial y_{3}}{\partial ϕ_{2}} & \frac{\partial y_{3}}{\partial ϕ_{3}} \end{matrix}]$

The good news is that this is quite a regular Jacobian. The first two columns have a nice pattern, the third is straightforward (as long as you remember the $\cos$ and $\sin$ derivatives). The only slightly tricky columns are 4th, 5th and 6th - but they too have a cool pattern to them. You end up with:

$J = [\begin{matrix} 1 & 0 & \cos ϕ_{1} & - r \sin ϕ_{1} & 0 & 0 \\ 0 & 1 & \sin ϕ_{1} & r \cos ϕ_{1} & 0 & 0 \\ 1 & 0 & \cos ϕ_{2} & 0 & - r \sin ϕ_{2} & 0 \\ 0 & 1 & \sin ϕ_{2} & 0 & r \cos ϕ_{2} & 0 \\ 1 & 0 & \cos ϕ_{3} & 0 & 0 & - r \sin ϕ_{3} \\ 0 & 1 & \sin ϕ_{3} & 0 & 0 & r \cos ϕ_{3} \end{matrix}]$

Nice, you think to yourself. Now this is a 6x6 matrix. You really don't want to be calculating the determinant... But you need it. You begin trying to calculate the determinant but the masked figure stops you. They remind you of determinant properties that will make your job much easier:

You can factor out a number from a whole row / column and multiply the determinant by the same factor instead.
The determinant doesn't change if you add or subtract one row from another.
For Block Triangular Matrices $M = (\begin{matrix} A & B \\ 0 & D \end{matrix})$ Where:

$A$ is a square matrix
$0$ is a block of zeros
$B$ and $D$ are the other chunks...
Then you know: $det (M) = det (A) \times det (D)$

First, you notice the common factor of $r$ in 3 columns. Factored out, they will give you a factor of $r^{3}$ altogether. Now you have

$J = [\begin{matrix} 1 & 0 & \cos ϕ_{1} & - \sin ϕ_{1} & 0 & 0 \\ 0 & 1 & \sin ϕ_{1} & \cos ϕ_{1} & 0 & 0 \\ 1 & 0 & \cos ϕ_{2} & 0 & - \sin ϕ_{2} & 0 \\ 0 & 1 & \sin ϕ_{2} & 0 & \cos ϕ_{2} & 0 \\ 1 & 0 & \cos ϕ_{3} & 0 & 0 & - \sin ϕ_{3} \\ 0 & 1 & \sin ϕ_{3} & 0 & 0 & \cos ϕ_{3} \end{matrix}]$ Now you think about the block triangular matrix thing the guy mentioned. Surely this is relevant here. You notice that you could clear the first two columns and turn the top left 2x2 section into an identity matrix. Then $det A = 1$ which would make everything else much easier.

You continue. You want to clear the $1$ in the first column, rows 3 and 5. Also the $1$ in column 2, rows 4 and 6.

$J^{'} = [\begin{array}{cccccc} 1 & 0 & \cos ϕ_{1} & - \sin ϕ_{1} & 0 & 0 \\ 0 & 1 & \sin ϕ_{1} & \cos ϕ_{1} & 0 & 0 \\ 0 & 0 & \cos ϕ_{2} - \cos ϕ_{1} & \sin ϕ_{1} & - \sin ϕ_{2} & 0 \\ 0 & 0 & \sin ϕ_{2} - \sin ϕ_{1} & - \cos ϕ_{1} & \cos ϕ_{2} & 0 \\ 0 & 0 & \cos ϕ_{3} - \cos ϕ_{1} & \sin ϕ_{1} & 0 & - \sin ϕ_{3} \\ 0 & 0 & \sin ϕ_{3} - \sin ϕ_{1} & - \cos ϕ_{1} & 0 & \cos ϕ_{3} \end{array}]$

You're very happy. Since the top left $A$ is now an identity matrix with $det A = 1$ and you can skip the whole $B$ submatrix in the top right. You've now boiled this all down to calculating:

$det J = det J^{'} = det A \times det D = det D$

$D$ is a $4 \times 4$ matrix, so not the easiest to calculate by hand. But it's tractable. Let's just remember to put that $r^{3}$ factor out front at the end.

$D = [\begin{matrix} \cos ϕ_{2} - \cos ϕ_{1} & \sin ϕ_{1} & - \sin ϕ_{2} & 0 \\ \sin ϕ_{2} - \sin ϕ_{1} & - \cos ϕ_{1} & \cos ϕ_{2} & 0 \\ \cos ϕ_{3} - \cos ϕ_{1} & \sin ϕ_{1} & 0 & - \sin ϕ_{3} \\ \sin ϕ_{3} - \sin ϕ_{1} & - \cos ϕ_{1} & 0 & \cos ϕ_{3} \end{matrix}]$

You can now subtract row 1 from row 3, and subtract row 2 from row 4. You get $D = [\begin{matrix} \cos ϕ_{2} - \cos ϕ_{1} & \sin ϕ_{1} & - \sin ϕ_{2} & 0 \\ \sin ϕ_{2} - \sin ϕ_{1} & - \cos ϕ_{1} & \cos ϕ_{2} & 0 \\ \cos ϕ_{3} - \cos ϕ_{2} & 0 & \sin ϕ_{2} & - \sin ϕ_{3} \\ \sin ϕ_{3} - \sin ϕ_{2} & 0 & - \cos ϕ_{2} & \cos ϕ_{3} \end{matrix}]$

Now you can expand down colum 2 instead of the dense column 1.

$det (D) = - \sin ϕ_{1} det (M_{12}) - \cos ϕ_{1} det (M_{22})$ $M_{12} = [\begin{matrix} \sin ϕ_{2} - \sin ϕ_{1} & \cos ϕ_{2} & 0 \\ \cos ϕ_{3} - \cos ϕ_{2} & \sin ϕ_{2} & - \sin ϕ_{3} \\ \sin ϕ_{3} - \sin ϕ_{2} & - \cos ϕ_{2} & \cos ϕ_{3} \end{matrix}]$ $M_{22} = [\begin{matrix} \cos ϕ_{2} - \cos ϕ_{1} & - \sin ϕ_{2} & 0 \\ \cos ϕ_{3} - \cos ϕ_{2} & \sin ϕ_{2} & - \sin ϕ_{3} \\ \sin ϕ_{3} - \sin ϕ_{2} & - \cos ϕ_{2} & \cos ϕ_{3} \end{matrix}]$ You go on. $\begin{aligned} det (M_{12}) = & (\sin ϕ_{3}) | \begin{array}{c} \sin ϕ_{2} - \sin ϕ_{1} & \cos ϕ_{2} \\ \sin ϕ_{3} - \sin ϕ_{2} & - \cos ϕ_{2} \end{array} | \\ + (\cos ϕ_{3}) | \begin{array}{c} \sin ϕ_{2} - \sin ϕ_{1} & \cos ϕ_{2} \\ \cos ϕ_{3} - \cos ϕ_{2} & \sin ϕ_{2} \end{array} | \end{aligned}$

$\begin{aligned} det (M_{22}) = & (\sin ϕ_{3}) | \begin{array}{c} \cos ϕ_{2} - \cos ϕ_{1} & - \sin ϕ_{2} \\ \sin ϕ_{3} - \sin ϕ_{2} & - \cos ϕ_{2} \end{array} | \\ + (\cos ϕ_{3}) | \begin{array}{c} \cos ϕ_{2} - \cos ϕ_{1} & - \sin ϕ_{2} \\ \cos ϕ_{3} - \cos ϕ_{2} & \sin ϕ_{2} \end{array} | \end{aligned}$

You start wondering if maybe you should have stuck with the original Cartesian product. Those sines look scary. You crack on nonetheless.

$det J = - \sin ϕ_{1} \cdot det (M_{12}) - \cos ϕ_{1} \cdot det (M_{22})$

And then, remembering about the $r^{3}$ $\begin{aligned} J & = - r^{3} [\sin ϕ_{1} (\sin ϕ_{1} \sin (ϕ_{3} - ϕ_{2}) + \cos ϕ_{3} - \cos ϕ_{2}) \\ + \cos ϕ_{1} (\sin ϕ_{2} - \sin ϕ_{3} + \cos ϕ_{1} \sin (ϕ_{3} - ϕ_{2}))] \end{aligned}$

Now, you know that $\cos^{2} + \sin^{2} = 1$ and you also remember the formula for $\sin (A - B)$ . Also, the hoodlum helpfully points out that he's happy to give you a refresher on the sine of a difference in case you need it.

$\begin{aligned} J & = - r^{3} [(\sin^{2} ϕ_{1} + \cos^{2} ϕ_{1}) \sin (ϕ_{3} - ϕ_{2}) \\ + (\sin ϕ_{1} \cos ϕ_{3} - \cos ϕ_{1} \sin ϕ_{3}) \\ + (\cos ϕ_{1} \sin ϕ_{2} - \sin ϕ_{1} \cos ϕ_{2})] . \end{aligned}$

You're ecstatic. You love sines and cosines now. You loudly point out that $\begin{aligned} \sin^{2} ϕ_{1} + \cos^{2} ϕ_{1} & = 1 \\ \sin ϕ_{1} \cos ϕ_{3} - \cos ϕ_{1} \sin ϕ_{3} & = \sin (ϕ_{1} - ϕ_{3}) \\ \cos ϕ_{1} \sin ϕ_{2} - \sin ϕ_{1} \cos ϕ_{2} & = \sin (ϕ_{2} - ϕ_{1}) \end{aligned}$

and hence $det J = - r^{3} (\sin (ϕ_{3} - ϕ_{2}) + \sin (ϕ_{1} - ϕ_{3}) + \sin (ϕ_{2} - ϕ_{1})) .$

Your thug gives you a supportive nod. You don't care about the sign of $det J$ so you flip the difference inside of the sines and add absolute value for good measure to remove the stupid minus sign. $det J = r^{3} | \sin (ϕ_{1} - ϕ_{2}) + \sin (ϕ_{2} - ϕ_{3}) + \sin (ϕ_{3} - ϕ_{1}) |$

At this point you notice that this kind of makes sense because three collinear points won't make any kind of circumcirle. You carry on but you make a mental note to remember this problem if you ever need to interview someone for a software role. This is trivial now after all.

Okay, the Jacobian is all sorted. You move on to the probability calculation. In general, since we're picking points from the unit circle (area $π$ ) and you do it 3 times ("independently" as the villain points out excitedly!) you have a "volume" of $\frac{1}{π^{3}}$ to scale everything by.

Very generally $P = \frac{1}{π^{3}} \dots \int 1_{condition} \cdot | J |, d X, d Y, d r, d ϕ_{1}, d ϕ_{2}, d ϕ_{3}$

and less generally

$P = \frac{1}{π^{3}} \int d X, d Y \int_{0}^{\infty} d r \int d ϕ_{1}, d ϕ_{2}, d ϕ_{3} \cdot | J | \cdot 1_{condition}$

where the condition you're after is $\sqrt{X^{2} + Y^{2}} + r \leq 1$ since you know you only care about points whose circumcirle fits nicely inside the unit circle. That is: $R = \sqrt{X^{2} + Y^{2}}$ is the distance from the origin to the circumcircle, and you want to make sure that $R + r \leq 1$ .

You hit this head on: you can split this into the angular part (the sine difference bit from the determinant of the Jacobian) and the geometric part.

For the geometric part, you realise that $r$ can go from $0$ to $1$ , and for any specific $r$ the center $(X, Y)$ must be within a smaller circle of radius $(1 - r)$ . "Area of the circle is pi times radius squared", the gangster points out. He's right.

So, the $\int d X, d Y \int_{0}^{\infty} d r$ simplifies to $\int_{0}^{1} r^{3} π (1 - r)^{2} d r$ (the $r^{3}$ comes from that pesky $| J |$ factor you promised not to forget. You did forget but the brigand helpfully reminded you to include it.).

Now, the angular part is just $I = \int_{0}^{2 π} d ϕ_{1} \int_{0}^{2 π} d ϕ_{2} \int_{0}^{2 π} d ϕ_{3} | \sin (ϕ_{1} - ϕ_{2}) + \sin (ϕ_{2} - ϕ_{3}) + \sin (ϕ_{3} - ϕ_{1}) |$

Now, you grab a spare bit of paper and try to tackle this triple angular integral that has cost you so much effort already.

You start scribbling on the second page to quickly work out this triple integral...

Let the integrand be $S = \sin (ϕ_{1} - ϕ_{2}) + \sin (ϕ_{2} - ϕ_{3}) + \sin (ϕ_{3} - ϕ_{1})$ . Using the identity $\sin A + \sin B + \sin (- (A + B)) = - 4 \sin (A / 2) \sin (B / 2) \sin ((A + B) / 2)$ , you can rewrite the absolute value:

$| S | = | 4 \sin (\frac{ϕ_{1} - ϕ_{2}}{2}) \sin (\frac{ϕ_{2} - ϕ_{3}}{2}) \sin (\frac{ϕ_{1} - ϕ_{3}}{2}) |$

By shift invariance^[2], you integrate over the differences $u$ and $v$ and multiply by the length of the interval $2 π$ :

For more detail

Formally, you can perform a change of variables: ${\begin{cases} u = ϕ_{1} - ϕ_{2} \\ v = ϕ_{2} - ϕ_{3} \\ w = ϕ_{3} \end{cases}$ The Jacobian determinant of this transformation is $1$ , so $d ϕ_{1} d ϕ_{2} d ϕ_{3} = d u, d v, d w$ .

Substituting this into the integral: $I = ∭ | S (u, v) |, d u, d v, d w$ Notice that the integrand $| S |$ only depends on $u$ and $v$ , not on $w$ . This allows you to separate the integrals: $I = (\int_{0}^{2 π} d w) \times (\iint | S (u, v) |, d u, d v)$ The first integral simply evaluates to $2 π$ . The remaining double integral accounts for the relative differences $u$ and $v$ over their periods.

$I = 2 π \int_{0}^{2 π} d u \int_{0}^{2 π} d v | 4 \sin (\frac{u}{2}) \sin (\frac{v}{2}) \sin (\frac{u + v}{2}) |$

Now, substitute $x = u / 2$ and $y = v / 2$ . The limits become $[0, π]$ and the differentials $d u, d v$ become $4, d x, d y$ :

$I = 2 π \cdot 4 \cdot 4 \int_{0}^{π} d x \int_{0}^{π} d y | \sin (x) \sin (y) \sin (x + y) |$

The term $\sin (x + y)$ is positive when $x + y \leq π$ and negative when $x + y \geq π$ . Due to symmetry, the integral over these two triangular regions is identical. You calculate the positive region and multiply by 2.

$I = 32 π \cdot 2 \int_{0}^{π} d x \int_{0}^{π - x} d y, \sin (x) \sin (y) \sin (x + y)$

$I = 64 π \int_{0}^{π} \sin (x) [\int_{0}^{π - x} \sin (y) \sin (x + y), d y] d x$

You use the product-to-sum formula $\sin A \sin B = \frac{1}{2} [\cos (A - B) - \cos (A + B)]$ to integrate with respect to $y$ .

Using the product-to-sum formula on the inner term:

$\int_{0}^{π - x} \frac{1}{2} (\cos (x) - \cos (x + 2 y)), d y$

$= \frac{1}{2} {[y \cos (x) - \frac{1}{2} \sin (x + 2 y)]}_{0}^{π - x}$

$= \frac{1}{2} ((π - x) \cos (x) + \sin (x))$

Substituting back into $I$ :

$I = 64 π \int_{0}^{π} \sin (x) \cdot \frac{1}{2} ((π - x) \cos (x) + \sin (x)), d x$

$I = 32 π (\int_{0}^{π} (π - x) \sin (x) \cos (x), d x + \int_{0}^{π} \sin^{2} (x), d x)$

Evaluating the two integrals separately:

$\int_{0}^{π} (π - x) \frac{1}{2} \sin (2 x), d x = \frac{π}{4}$ (via integration by parts)
$\int_{0}^{π} \sin^{2} (x), d x = \frac{π}{2}$

$I = 32 π (\frac{π}{4} + \frac{π}{2}) = 32 π (\frac{3 π}{4})$

$I = 24 π^{2}$

and you finally get the answer: $24 π^{2}$ .

You feel you're very close now. You go back to the integral expression for $P$ and you plug in the angular integral value: $P = \frac{1}{π^{3}} \cdot (24 π^{2}) \cdot \int_{0}^{1} π r^{3} (1 - r)^{2}, d r$

You simplify and expand the polynomial.

$P = 24 \int_{0}^{1} r^{3} (1 - 2 r + r^{2}), d r$

Distribute everything. The criminal seems very happy you're at this stage of the calculation.

$\begin{aligned} P & = 24 \int_{0}^{1} (r^{3} - 2 r^{4} + r^{5}), d r \\ = 24 {[\frac{r^{4}}{4} - \frac{2 r^{5}}{5} + \frac{r^{6}}{6}]}_{0}^{1} \\ = 24 (\frac{1}{4} - \frac{2}{5} + \frac{1}{6}) \end{aligned}$

Just the fractions now... $\begin{aligned} P & = 24 (\frac{30}{120} - \frac{48}{120} + \frac{20}{120}) \\ = 24 (\frac{2}{120}) \\ = 24 (\frac{1}{60}) \\ = \frac{24}{60} \\ = \frac{2}{5} \end{aligned}$

You've done it! The hooligan looks happy. He says you can go. He also says that everyone always calculates it this way, and he's yet to see a clever way that doesn't involve a sextuple integration. He invites you to share a clever solution later on by emailing it to him.

You wonder if you actually got the right answer. It was a nice fraction but did you not overcount? Undercount? Did you mess up the integral? The whole angular thing had like 6 permutations to it after all... Well, the villain seemed satisfied either way. You go home. You're very tired. You plan on not doing the "dark alley at night" thing any more.

You don't remember why you were in this situation. ↩︎
Since the integrand $S$ depends only on the differences between angles, not their absolute values. ↩︎

← Previous
Why the Liar Is the Helpful One
Next →
Verifying the fraction