9º ano do EF e o "Teorema de Pitágras", na prática.