Ancient Chinese proved the Pythagorean theorem in 17 characters: mathematician November 22, 2024 History