The document proves that red-black trees are balanced through mathematical induction. It demonstrates that on any path from the root to an external node, at least half of the nodes are black. This implication is then used to establish that the longest path is less than twice the length of the shortest path.