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.

Responder a