> Dado um conjunto finito S de n�meros reais, � poss�vel obter um conjunto > f(S), onde f � uma fun��o injetiva, f : IR -> Q (racionais) tal que > a, b, a + b em S <=> f(a), f(b), f(a+b) em f(S) ?
a condi��o � S, conjunto finito de n�meros reais, e f: S -> f(S) uma bije��o com f(S) contido em Q e a, b, a + b em S <=> f(a), f(b), f(a) + f(b) em f(S) se conseguirmos a condi��o a, b, a + b em S => f(a), f(b), f(a) + f(b) em f(S) j� est� bom o suficiente... desculpem os erros idiotas! + uma quest�o relacionada: se um sistema homog�neo de eq. lineares de coef. racionais tem uma solu��o real n�o trivial, � verdade que ele admite uma solu��o racional n�o trivial? [ ]'s ========================================================================= 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 =========================================================================
