Facendo riferimento alla figura verifica che un quadrato con lato uguale alla diagonale di un altro quadrato area doppia di questo ultimo