Circles and Pythagorean identities