The One-Seventh Area Triangle in the Complex Plane: Proving the Proportionality Using Features of the Complex Number System
Mathew Miltonhardy
TL;DR
The paper proves that the inner triangle formed by cevians to the points one-third along the sides of an outer triangle in the complex plane has area equal to one-seventh of the outer triangle, using a purely algebraic approach. It fixes a canonical configuration with $p=0$, $q$ real, and $r=x+iy$, computes the outer area $A_{pqr}$, derives edge points $P,Q,R$, and solves for the inner vertices $\alpha,\beta,\gamma$ via a conjugate-trick, obtaining $A_{\alpha\beta\gamma}=\frac{1}{7}A_{pqr}$. The explicit coordinates yield $\alpha=\frac{3}{7}P$, $\beta=q+\frac{3}{7}(Q-q)$, and $\gamma=\frac{6}{7}P$, confirming the proportionality. By area invariance under translations and rotations, the result extends to all triangles in the complex plane, providing a robust algebraic proof of Feynman’s triangle.
Abstract
This paper explores and proves the one-seventh area triangle using a purely algebraic approach as opposed to a geometric one. A triangle set purely in the complex plane is used so that we can utilise features of the complex number system to determine areas. The area of a triangle in determinant form is derived using these features, and a rigorous proof of the one-seventh area triangle follows.
