Boa tarde! Realmente é difícil limitar qual o ferramental que pode ser usado. a>b ==> Existe x>0: a=×+r(i) seja k >0 a*k= k*(x+r)=k*x+kr>k*x a>b, multiplicando-se ambis os lados por 1/b temos: a/b>1. Mas mesmo assim, podia se questionar a demonstração de (i) e também a da propriedade distributiva. Aí, não tenho a menor ideia de como fazê-las. Saudações, PJMS
Em Qui, 6 de set de 2018 01:06, Bernardo Freitas Paulo da Costa < [email protected]> escreveu: > On Wed, Sep 5, 2018 at 7:17 PM Israel Meireles Chrisostomo > <[email protected]> wrote: > > Olá pessoal, como posso provar que se a,b,c,d, são positivos e se a>b, > c>d então ac>bd > > Oi Israel, Pedro, Luciano, e demais colegas da lista, > > quais são os resultados que você pode usar para demonstrar isso? > Positivos quer dizer reais, eu imagino, mas dependendo de como você > define / constrói os reais, a forma de responder (e entender) esta > questão é diferente. Por exemplo, todas as manipulações "algébricas" > (do tipo "a > b => a/b > 1") já podem pedir uma demonstração das > mesmas... Tudo depende do que você assume / admite como conhecido. > > Abraços, > -- > Bernardo Freitas Paulo da Costa > > -- > Esta mensagem foi verificada pelo sistema de antivírus e > acredita-se estar livre de perigo. > > > ========================================================================= > Instru�ões para entrar na lista, sair da lista e usar a lista em > http://www.mat.puc-rio.br/~obmlistas/obm-l.html > ========================================================================= > -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.

