Barbosa23 de mar. de 20213 minReductio ad absurdumResolvi guiar os leitores na demonstração da irracionalidade da raiz quadrada de dois utilizando álgebra simples.