3.6 Double angle identities and Pythagoras