vc quis dizer alfa =(2n+1)/2, acredito... de qualquer forma, existem muitos
outros racionais que podem estar entre n e n+1 (ex: 25/18. 26/18, 35/18,
457/256 todos estão entre 1 e 2; de fato, há infinitos)
o problema é: dado um racional p/q, provar que existe apenas um inteiro n tal
que n<=p
Isto vale pra qualquer real alfa, não é verdade?
Seja n = supremo {m em Z | m <= alfa}. Como todo subconjunto de Z que seja
limitado inferior ou superiormente é bem ordernado, temos que n pertence a {m
em Z | m <= alfa}, de modo que n é inteiro. Pela defiição de n como supremo do
conjunto, te
2 matches
Mail list logo