ガウス記号

ガウス記号の性質?に関する不等式なんですが，
[n/x]≧n/x-(x-1)/x
この式はどのようにして導出できるのでしょうか??

No.1 ベストアンサー 回答者： rnakamra 回答日時： 2009/06/12 17:27

n=ax+b a,b:整数　0≦b≦x-1 と置く

[n/x]=[(ax+b)/x]=[a+b/x]=a+[b/x]=a
n/x-(x-1)/x=(ax+b-x+1)/x=(a-1)+(b+1)/x
この式に0≦b≦x-1を入れれば出てきます。

この回答への補足

たびたびすいません。
この解答ですと
右辺から左辺を導いているのですが
左辺[n/x]から右辺を導出しようとすると，なぜか出来ません。。。
[n/x]=[(ax+b)/x]≧[(ax+x-1)/x]≦(ax+x-1)/x=a+(x-1)/x≦n/x+(x-1)/x
となってしまいます＞＜
どこが間違っているのでしょうか??

補足日時：2009/06/13 02:22

この回答へのお礼

解説ありがとうございます。
上にも書きましたが，整数という記載は抜けていると考えておきます。

お礼日時：2009/06/12 23:56

No.3 回答者： rnakamra 回答日時： 2009/06/12 20:25

#1のものです。

前提を勝手に作っています。
n,xは整数として考えています。そうでないと成り立ちませんし。

この回答への補足

床関数という関数の性質らしいのですが，
n,xが整数という記載はされていません。
ただ抜けているだけかもしれませんが^^;

補足日時：2009/06/12 23:53

この回答へのお礼

いろいろやってみて無事解けました^^
アドバイスありがとうございました。

お礼日時：2009/06/16 02:47

No.2 回答者： arrysthmia 回答日時： 2009/06/12 19:24

0 ≦ b ＜ x では？