Ursprungligen inskrivet av Hedis
Jag vet inte hur jag ska formulera mig, men jag försöker igen:
Antag att man har ett rationellt tal M, kan man då bevisa att det inte finns något "närmaste" rationellt tal till M. Exempelvis:
M = 1, väljer man ett rationellt tal r = 2/3 så är M-r = 1/3 men väljer man s=3/4 så är M-s=1/4, alltså är s "närmare" M än vad r är. Det jag då eftersöker är att oavsett vilket rationellt tal M man än tar så finns inget bästa "närmaste" rationellt tal som inte är lika med M.
Blev det obegripligt även denna gång så vet jag inte vad
Edit: Självklart bör det vara sant, säg att man vill ha M och har hittat ett rationellt tal r som är bra bör ju det rationella talet (M+r)/2 vara bättre ... intervallhalvering och alltid rationellt.
Så här kan man formulera det:
Givet ett rationellt tal M så existerar inget rationellt tal r skilt från M sådant att |M - s| >= |M - r| för varje rationellt tal s.
Detta är som du konstaterar lätt att visa med ett motbevis och intervallhalvering.
Det som Charlessss skriver är ett starkare påstående.