Serge Lang and Gene Murrow (1988) Geometry, →ISBN, page 203: “By Pythagoras, we find the length of the third side, |AB|² = (2a)² – a² = 4a² – a² = 3a²”