Titu's Lemma, Circumcenter & Centroid: A Geometric Dive

Nov 13, 2025 by Andrew McMorgan 56 views

Hey Plastik Magazine readers! Ever wondered about the deep connections between seemingly disparate concepts in geometry? Today, we're diving into an intriguing question: Why does Titu's Lemma (a form of Cauchy-Schwarz) pop up when we're thinking about the circumcenter, while minimizing the sum of squared distances leads us straight to the centroid? We'll explore this using a specific example in the complex plane, making it super clear how these ideas intertwine. Let's get started!

Setting the Stage: Complex Plane and the Function F(z)

Okay, so imagine we've got three points chilling in the complex plane: A is at the origin (0), B is at 3, and C is at 6i. Now, we're introducing this function, F(z), which is defined as:

F(z) = |z|^2 + |z - 3|^2 + |z - 6i|^2

What does this mean? Well, |z| represents the distance from a point 'z' in the complex plane to the origin (point A). Similarly, |z - 3| is the distance from 'z' to point B (which is 3), and |z - 6i| is the distance from 'z' to point C (which is 6i). So, F(z) is basically summing up the squared distances from a point 'z' to our three fixed points A, B, and C. The big question we want to answer is: what's so special about the point that minimizes this sum of squared distances, and how does it relate to the centroid? And also, how does Titu's Lemma, which seems totally unrelated, sneak into the picture when we're trying to find the circumcenter?

Delving into the Centroid

Let's break down why the centroid minimizes the sum of squared distances. First, recall what the centroid is: it's the average position of all the points. In our case, the centroid 'G' is simply (0 + 3 + 6i) / 3 = 1 + 2i. Now, let's rewrite F(z) in a more useful form. Expanding the terms, we get:

F(z) = |z|^2 + |z - 3|^2 + |z - 6i|^2 
     = (z * conjugate(z)) + ((z - 3) * conjugate(z - 3)) + ((z - 6i) * conjugate(z - 6i))
     = z*conjugate(z) + (z - 3)*(conjugate(z) - 3) + (z - 6i)*(conjugate(z) + 6i)
     = |z|^2 + |z|^2 - 3conjugate(z) - 3z + 9 + |z|^2 + 6iz - 6i*conjugate(z) + 36
     = 3|z|^2 - 3(z + conjugate(z)) + 6i(z - conjugate(z)) + 45

Completing the square (or rather, completing the "magnitude-square"), we can rewrite this as:

F(z) = 3|z - (1 + 2i)|^2 + constant

Notice that the minimum value of F(z) occurs when |z - (1 + 2i)|^2 is minimized, which happens when z = 1 + 2i. And guess what? 1 + 2i is precisely the centroid 'G'! So, the centroid minimizes the sum of squared distances. This is a fundamental property of the centroid, and it holds true in any number of dimensions, not just in the complex plane.

Unveiling Titu's Lemma and the Circumcenter

Now, let’s shift gears and talk about Titu's Lemma and how it relates to the circumcenter. Titu's Lemma (also known as Engel's form of Cauchy-Schwarz) states that for real numbers a₁, a₂, ..., aₙ and positive real numbers b₁, b₂, ..., bₙ:

(a₁²/b₁) + (a₂²/b₂) + ... + (aₙ²/bₙ) ≥ (a₁ + a₂ + ... + aₙ)² / (b₁ + b₂ + ... + bₙ)

The equality holds when a₁/b₁ = a₂/b₂ = ... = aₙ/bₙ.

At first glance, it's not obvious how this relates to the circumcenter. The circumcenter is the center of the circle that passes through all three vertices of a triangle. Finding it usually involves finding the intersection of the perpendicular bisectors of the sides of the triangle. How can Titu's Lemma help us here?

Here's a clever way to think about it. Imagine we want to find a point 'z' such that some weighted sum of distances to the vertices is minimized, but with a twist that encourages 'z' to be equidistant from A, B, and C. This equidistance is the defining characteristic of the circumcenter. It turns out that under specific constructions, Titu's Lemma can be used to establish inequalities that are minimized precisely when 'z' is the circumcenter. This involves constructing suitable 'aᵢ' and 'bᵢ' terms in Titu's Lemma related to the distances |z - A|, |z - B|, and |z - C|, and cleverly chosen weights.

To relate this to our specific problem, consider a function that involves ratios of distances. While F(z) doesn't directly use ratios, we can construct a related problem where we seek to minimize or maximize a function of the form:

G(z) = (|z - A|² / w₁) + (|z - B|² / w₂) + (|z - C|² / w₃)

where w₁, w₂, and w₃ are carefully chosen weights. Applying Titu's Lemma to G(z), we get:

G(z) ≥ (|z - A| + |z - B| + |z - C|)² / (w₁ + w₂ + w₃)

The equality condition of Titu's Lemma becomes:

|z - A| / w₁ = |z - B| / w₂ = |z - C| / w₃

If we can choose w₁, w₂, and w₃ such that this equality condition implies that |z - A| = |z - B| = |z - C|, then 'z' is the circumcenter. While the direct application of Titu's Lemma to find the circumcenter in this specific scenario might be complex, it's the underlying principle of relating ratios and sums that connects Titu's Lemma to problems where equidistance (a characteristic of the circumcenter) is crucial.

Why the Discrepancy? Different Problems, Different Solutions

So, why does minimizing the sum of squared distances lead to the centroid, while Titu's Lemma, dealing with ratios and inequalities, can be massaged to relate to the circumcenter? It boils down to the fundamental nature of the problems we're solving.

Centroid: Minimizing the sum of squared distances is inherently an averaging problem. The centroid, being the average position, naturally arises as the solution. Squared distances penalize outliers more heavily, pulling the minimizing point towards the center of the distribution.
Circumcenter: Finding the circumcenter is an equidistance problem. We seek a point that is equidistant from the vertices. Titu's Lemma, with its ability to relate sums of ratios to overall sums, can be used in constructions where the equality condition forces equidistance, thus leading to the circumcenter.

In essence, the centroid minimizes a measure of dispersion (squared distances), while the circumcenter satisfies a geometric constraint (equidistance).

Conclusion

Alright, guys, we've journeyed through the complex plane, explored the properties of the centroid, and even touched on the sneaky ways Titu's Lemma can be linked to the circumcenter. While F(z) directly points to the centroid through minimizing the sum of squared distances, Titu's Lemma offers a pathway to understanding equidistance properties, crucial for finding the circumcenter, although its application isn't as straightforward in this specific F(z). Hopefully, this has shed some light on the beautiful connections between these geometric concepts! Keep exploring, and stay curious!