[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l]



pois é, sua prova simples está bem errada...

se a >= b NÃO É VERDADE que para todo c, a*c >= b*c
isso só vale se c >= 0, por exemplo
se a >= b, a(-1) <= b(-1)

além disso você não pode dividir por 0, e se k = 0, foi o que vc fez.

para provar que todo quadrado é não negativo, dê uma olhada nas mensagens da
lista, existem demonstrações simples que usam apenas alguns axiomas.

[ ]'s

----- Original Message ----- 
From: "Victor Luiz" <victorluiz16@yahoo.com.br>
To: <obm-l@mat.puc-rio.br>
Sent: Thursday, February 12, 2004 11:48 AM
Subject: [obm-l]


No caso de provas mais simples como provar que o quadrado de um número
qualquer não pode ser negativo eu posso dizer que simplesmente que se:

k^2 >= 0
k >= 0/k
k >= 0

Ou eu teria de usar a tabela verdade para esse caso?

Obrigado.

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================