Zum Inhalt springen

Gaußklammer/Bruchanteil/Gleich/Aufgabe/Lösung


Es sei  x−⌊x⌋=y−⌊y⌋.  Da ⌊x⌋,⌊y⌋ ganze Zahlen sind, ist  n=⌊y⌋−⌊x⌋  ganzzahlig. Damit gilt

y=⌊y⌋+(y−⌊y⌋)=⌊y⌋+(x−⌊x⌋)=x+⌊y⌋−⌊x⌋=x+n.

Es sei nun y=x+n mit n∈ℤ. Aus der definierenden Beziehung

⌊x⌋≤x<⌊x⌋+1

folgt

⌊x⌋+n≤x+n<⌊x⌋+n+1,

daher muss

⌊x+n⌋=⌊x⌋+n

sein. Somit ist

y−⌊y⌋=x+n−⌊x+n⌋=x+n−(⌊x⌋+n)=x−⌊x⌋.