Boa tarde! Fiz lambança. a>b ==> Existe x>0 : a=b+x Sej k>0 : ka=k(b+x)=kb+kx>kb a>b, multiplicando-se ambos os lados por 1/b : a/b>1. Saudações, PJMS
Em Sex, 7 de set de 2018 13:15, Pedro José <petroc...@gmail.com> escreveu: > 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 < > bernardo...@gmail.com> escreveu: > >> On Wed, Sep 5, 2018 at 7:17 PM Israel Meireles Chrisostomo >> <israelmchrisost...@gmail.com> 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.