解決済み @Rarara 2023/2/12 11:24 1 回答 ガウス記号について。[y]<0 ⟺ y<0[y]<0 \iff y<0[y]<0⟺y<0は成り立ちますか?(正や0以上、0以下も同様ですか? 高校生数学数学Ⅰ・A ベストアンサー 削除済みユーザー 2023/2/15 20:09 (1) [y]<0 ⟺ y<0[y] < 0 \iff y < 0[y]<0⟺y<0 は成り立ちます.(証明)y=y′+εy = y' + \varepsilony=y′+ε(y′y'y′ は整数,0≤ε<10 \leq \varepsilon < 10≤ε<1)とする.[y]<0[y] < 0[y]<0 ならば,y′<0y' < 0y′<0 であり,y′y'y′ が整数ゆえに y′≤−1y' \leq -1y′≤−1; よって y′+ε<0y' + \varepsilon < 0y′+ε<0.逆に,y<0y < 0y<0 ならば y′+ε<0y' + \varepsilon < 0y′+ε<0 であり,y′<−ε≤0y' < -\varepsilon \leq 0y′<−ε≤0.(2) [y]≤0 ⟺ y≤0[y] \leq 0 \iff y \leq 0[y]≤0⟺y≤0 は,(⟸)(\Longleftarrow)(⟸) については成り立ちますが,(⟹)(\Longrightarrow)(⟹) については y∈(0,1)y \in (0,1)y∈(0,1) のときが反例になります.(3) [y]>0 ⟺ y>0[y] > 0 \iff y > 0[y]>0⟺y>0 は,(⟹)(\Longrightarrow)(⟹) については成り立ちますが,(⟸)(\Longleftarrow)(⟸) については y∈(0,1)y \in (0,1)y∈(0,1) のときが反例になります.(4) [y]≥0 ⟺ y≥0[y] \geq 0 \iff y \geq 0[y]≥0⟺y≥0 の成立は (1) と同じように証明できます. 質問者からのお礼コメント 初めての文字の置き方を知れて良かったです。ありがとうございました。 シェアしよう! そのほかの回答(0件)
質問者からのお礼コメント
初めての文字の置き方を知れて良かったです。ありがとうございました。