If a straight line be cut in extreme and mean ratio, the square on the whole and the square on the lesser segment together are triple of the square on the greater segment.
Proof
AB2+CB2=3⋅AC2 where C cuts AB in extreme-and-mean
ratio (greater AC). Use AC2=AB⋅CB and II.4 to verify
the identity.