Deducción del teorema de pitágoras