Author Archives: KKK

Why is a² + b² ≥ 2ab ?

This post can be regarded as a sequel to my previous (and very ancient) post on 1+2+3+…. Though these two posts are not quite logically related, they share the same spirit (I’m asking a dumb question again). How can one … Continue reading

Posted in Calculus, Discrete Mathematics, Geometry, Inequalities, Linear Algebra, Probability | 1 Comment

A remark on the divergence theorem

The divergence theorem states that for a compact domain in with piecewise smooth boundary , then for a smooth vector field on , we have where is the unit outward normal and is the divergence of . In most textbooks, … Continue reading

Posted in Calculus | Leave a comment

The Cauchy-Schwarz inequality and the Lagrange identity

The classical Lagrange identity is the following: This can be proven by expanding and separating the terms into the cross-terms part and the non cross-terms part. The Lagrange identity implies the Cauchy-Schwarz inequality in . And when , this can … Continue reading

Posted in Algebra, Group theory, Inequalities, Linear Algebra | Leave a comment

On the existence of a metric compatible with a given connection

Question: Suppose we are given a torsion-free (i.e. the torsion tensor vanishes) affine connection on a smooth connected manifold . Does there exist a Riemannian metric such that its Levi-Civita connection is ? If so, is it unique if we … Continue reading

Posted in Differential equations, Geometry | 2 Comments

A curious identity on the median triangle

I just came across a curious identity about the angles of the “median triangle” of a given triangle, while I was reviewing a paper from a team participating in the Hang Lung Mathematics Award. Of course, I am not going … Continue reading

Posted in Geometry | 4 Comments

Weighted Hsiung-Minkowski formulas and rigidity of umbilic hypersurfaces

1. Motivation and Main Results A. D. Alexandrov [Ale1956], [Ale1962] proved that the only closed hypersurfaces of constant (higher order) mean curvature embedded in are round hyperspheres. The embeddedness assumption is essential. For instance, admits immersed tori with constant mean … Continue reading

Posted in Calculus, General Relativity, Geometry, Inequalities | Leave a comment

The discrete Gauss-Bonnet theorem

This is a slight extension of my previous note on discrete Gauss-Bonnet theorem. As mentioned in that note, this is a generalization of the well-known fact that the sum of the exterior angles of a polygon is always , which … Continue reading

Posted in Calculus, Combinatorics, Discrete Mathematics, Geometry, Topology | Leave a comment