Pythagoras mbv halve cirkels