数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

■ 過去ログ検索の勧め⇒ここを読んでみてください
google検索

 
この掲示板の過去ログをgoogleで検索します。
検索条件:
現在のログを検索過去のログを検索
■ 2006/2/20より、累計:、本日:、昨日:
数式の記述方法
TeX入力ができます。 \[ TeX形式数式 \] あるいは,$ TeX形式数式 $ で数式を記述します。
 TeX形式数式には半角英数字のみです。詳しくは、ここを見てください。文字化けが発生したときはここを見てください。
■ 質問をする方は、回答者に失礼のないようにお願いします。
携帯電話でこの掲示板を見れるようにしました。⇒ここを見てください。
■ 24時間以内に作成されたスレッドは New で表示されます。
■ 24時間以内に更新されたスレッドは UpDate で表示されます。

記事リスト ( )内の数字はレス数
Nomal不等式(2) | Nomal無平方な多項式(2) | Nomal難しい積分(2) | Nomal積分不等式(1) | Nomalスピアマンの順位相関係数の求め方について(0) | Nomal相加相乗で(2) | Nomal微分で関数の最大値を求める(3) | Nomal自然数 階乗(0) | Nomal期待値と極限(0) | Nomal回転体の体積(6) | Nomal円と三角形、有理数と無理数(2) | Nomal定積分(2) | Nomal二次関数の9に等しい桁(1) | Nomalベクトル(4) | Nomal複素数(2) | Nomal式の値を求める(4) | Nomal漸化式と不等式(2) | Nomal最大公約数(4) | Nomalsin(x)sin(x+1)<c(2) | Nomal三角形の面積の大小(4) | Nomal4次多項式(2) | Nomal偶数の約数(2) | Nomal青空学園数学科(0) | Nomal一次変数の微分可能性について(1) | Nomal積分(0) | Nomal有限小数(2) | Nomalイデアル(2) | Nomal確率(3) | Nomalフェルマーの最終定理の証明(69) | Nomal52545の「約数の個数」の式変形について(5) | Nomal約数の個数(6) | Nomal羅生門(1) | Nomal高校数学 確率の問題です。(2) | Nomal(x^x)^x = x^(x^2)(4) | Nomal数字が重複しない積(1) | Nomal自然数(2) | Nomal余り(2) | Nomalklog(1+1/k) < 1を証明する(2) | Nomal積分の極限(3) | Nomal平方数と素数(2) | Nomal約数(1) | Nomal整数問題(4) | Nomal期待値(2) | Nomal定積分(4) | Nomaln乗根(1) | Nomallim[θ→0](θ/sinθ)(2) | Nomal常微分方程式の基本的な質問(2) | Nomal単位円と正三角形(2) | Nomal証明 微積(0) | Nomal台形(1) | Nomal設問ミスですか?それとも解けますか?(1) | Nomal二次関数(1) | Nomalコラッツ予想(0) | Nomalζ関数(1) | Nomal(削除)(0) | Nomal高校数学 期待値の問題です(2) | Nomal二項係数(1) | Nomalフェルマーの最終定理の普通の証明(10) | Nomal高校数学レベルの定積分(2) | Nomal場合の数 (カタラン数に関係したもの)(2) | Nomal和文差分を利用した数列について(1) | Nomal面積体積表面積です。(2) | Nomal確率の基礎問題(1) | Nomal微積分(1) | Nomal整数の方程式(1) | Nomal確率の最大値(0) | Nomal至急お願いします(2) | Nomal不等式(3) | Nomal場合の数(2) | Nomal平方数(3) | Nomal形式的べき級数(0) | NomalG(0) | Nomal岩波講座基礎数学集合の補題6.1についての質問(1) | Nomal確率(2) | Nomal素因数の個数について(2) | Nomal場合の数(1) | Nomal体(3) | Nomal部分分数分解(3) | Nomal線形代数の微分(1) | Nomal数珠順列(0) | Nomaleは無理数だけど(0) | Nomal素数(2) | Nomal(削除)(1) | Nomalフーリエ級数展開・フーリエ変換(2) | Nomal線形代数(1) | Nomal無限和(7) | Nomal進数の表現(4) | Nomal高校数学 整数問題(4) | Nomal整数の表現の同値証明(4) | Nomal多項式の既約性(0) | Nomal円錐台の断面積(9) | Nomal相関係数と共分散(1) | Nomallogの計算(3) | Nomaltan(z) を z = π/2 中心にローラン展開する(2) | Nomal複素数平面(1) | Nomal複素数 証明(難)(0) | Nomal確率の問題が分かりません 助けてください(1) | Nomal極限(3) | Nomalメビウス変換(0) | Nomal複素数 写像 (0) |



■記事リスト / ▼下のスレッド
■52876 / 親記事)  相加相乗で
□投稿者/ 相加相乗 一般人(1回)-(2025/05/15(Thu) 05:51:58)
    相加相乗平均の不等式を使って x+1/x-1/(x+1) (x>0) の最小値を求められますか?
引用返信/返信 [メール受信/OFF]

▽[全レス2件(ResNo.1-2 表示)]
■52883 / ResNo.1)  Re[1]: 相加相乗で
□投稿者/ WIZ 一般人(11回)-(2025/05/25(Sun) 08:49:10)
    解答ではなく参考情報です。
    べき乗演算子^は四則演算子より優先度が高いものとします。

    x > 0 で f(x) = x+1/x-1/(x+1) = x+1/(x^2+x) とおくと、1/(x^2+x) > 0 ですから、
    相加相乗平均の大小関係から f(x) ≧ 2√(x*(1/(x^2+x))) = 2√(1/(x+1)) となり、
    0 < 2√(1/(x+1)) < 2 だから最小値があればこの範囲の値だろうとは推論できます。

    そもそも最小値が存在するのかどうかも分からない状態で、
    ある定数sに対して f(x) ≧ s の形に持ち込めるのか試行錯誤しても徒労に終わる可能性があります。

    余談ですが数学では「どうしてそれを思い付いたのか」を説明する必要はないので、
    いきなり s = {-3+√(13+16√2)}/2, w = {(-1+√2)+√(2√2-1)}/2 とおけば、
    x > 0 で f(x) ≧ s であり、f(w) = s であることさえ示せればsが最小値であるといえると思います。

    とは言っても、f(x)を眺めていただけで最小値 {-3+√(13+16√2)}/2 を見出せる方はいないと思うので、
    以下、相加相乗平均の不等式は使いませんが、最小値の存在とその値の求め方を解説します。

    f'(x) = (x^4+2x^3+x^2-2x-1)/{(x^2)(x+1)^2}

    f'(x)の分母は正なので、分子の符号を調べます。
    g(x) = x^4+2x^3+x^2-2x-1 とおくと、
    g'(x) = 4x^3+6x^2+2x-2
    g''(x) = 12x^2+12x+2 = 3(2x+1)^2-1 > 0
    # x > 0なので2x+1 > 1 ⇒ 3(2x+1)^2 > 3

    x > 0 で g''(x) > 0 なので g'(x) は単調増加です。
    g'(0) = -2, g'(1) = 10 なので、0 < u < 1 となる実数uで g'(u) = 0
    0 < x < u で g'(x) < 0 なのでg(x)は減少、g(x) < 0
    x = u で g'(x) = 0 なのでg(x)は極小、g(x) < 0
    u < x で g'(x) > 0 なのでg(x)は増加

    つまり、0 < u < w < 1 となる実数wが存在して、
    u < x < w で g'(x) > 0 なのでg(x)は増加、g(x) < 0
    x = w で g'(x) > 0 なのでg(x)は増加、g(x) = 0
    w < x で g'(x) > 0 なのでg(x)は増加、g(x) > 0
    となる訳で、g(x)とf'(x)の符号は同じだから x = w でf(x)は極小になるといえます。

    g(x) = 0 となる x = w を求めます。フェラーリの公式を使うた為、y = x+1/2とおくと、
    x^4+2x^3+x^2-2x-1 = y^4-(1/2)y^2-2y+1/16 = 0
    ⇒ y^4+z(y^2)+(z^2)/4 = (z+1/2)y^2+2y+((z^2)/4-1/16)

    右辺も平方完成できるようにzを定めます。分解方程式は右辺の2次式の判別式を0とおけば良いので
    2^2-4(z+1/2)((z^2)/4-1/16) = 0
    ⇒ z^3+(1/2)z^2-(1/4)z-33/8 = 0
    ⇒ 8z^3+4z^2-2z-33 = (2z-3)((2z)^2+4(2z)+11) = 0

    z = 3/2 と選ぶと、
    ⇒ (y^2+3/4)^2 = 2(y+1/2)^2
    ⇒ {y^2-(√2)y+(3-2√2)/4}{y^2+(√2)y+(3+2√2)/4} = 0
    と因数分解できます。

    上記後半の2次方程式は実数解を持ちません。
    前半の2次方程式は実数解を持ちますが、x = y-1/2 > 0 を満たすのは
    y = {(√2)+√(2√2-1)}/2 のみで、w = {(-1+√2)+√(2√2-1)}/2 となります。
    よって、最小値は f(w) = {-3+√(13+16√2)}/2 となります。

引用返信/返信 [メール受信/OFF]
■52885 / ResNo.2)  Re[1]: 相加相乗で
□投稿者/ WIZ 一般人(12回)-(2025/05/26(Mon) 07:24:14)
    2025/05/26(Mon) 15:22:36 編集(投稿者)

    最小値が存在することを前提とする別解です。

    f(x) = x+1/(x^2+x) ≧ 2√(1/(x+1)) > 0 なので、最小値sは s > 0 となります。
    すると、f(x) = (x^3+x^2+1)/(x^2+x) ≧ s となりますが、
    x^2+x > 0ですので、(x^3+x^2+1)-s(x^2+x) ≧ 0 となります。

    つまり、h(x) = x^3+(1-s)x^2-sx+1 ≧ 0 とおくことができます。
    またwを正の実数定数として h(w) = 0 ならば、s = f(w) が求める最小値となります。

    h'(x) = 3x^2+2(1-s)x-s です。
    x > 0 の範囲で「h(x) ≧ 0」かつ「h(x) = 0となるxが存在する」ということは、
    xy座標で y = h(x) のグラフが x > 0 の範囲で極小値を持ち、その極小なる点でx軸に接する必要があります。
    h(x)が極小になるのが x = w > 0 とすると、「x = wはh(x) = 0の重解」かつ「h'(w) = 0」となることが必要です。

    h(w) = w^3+(1-s)w^2-sw+1 = 0・・・・・(1)
    h'(w) = 3w^2+2(1-s)w-s = 0・・・・・(2)

    (1)より、3w^3+3(1-s)w^2-3sw+3 = 0・・・・・(3)
    (2)より、3w^3+2(1-s)w^2-sw = 0・・・・・(4)
    (3)-(4)より、(1-s)w^2-2sw+3 = 0
    ⇒ 3(1-s)w^2-6sw+9 = 0・・・・・(5)

    (2)より、3(1-s)w^2+2((1-s)^2)w-s(1-s) = 0・・・・・(6)
    (6)-(5)より、{2((1-s)^2)+6s}w-s(1-s)-9
    ⇒ 2(s^2+s+1)w+(s^2-s-9)

    ここで、s^2+s+1 > 0 ですので、w = (-1/2)(s^2-s-9)/(s^2+s+1) となります。

    h'(w) = 0 = 3{(-1/2)(s^2-s-9)/(s^2+s+1)}^2+2(1-s)(-1/2)(s^2-s-9)/(s^2+s+1)-s
    整理すると s^4+6s^3+7s^2-6s-31 = 0 となります。

    4次方程式 s^4+6s^3+7s^2-6s-31 = 0 をフェラーリの公式を使って解こうとすると、
    分解方程式は有理数解を持たないので簡単には因数分解できません。
    分解方程式をカルダーノの公式で解くことはできますが、解は非常に複雑な式となり、
    元の4次方程式の因数分解も非常に困難な計算となり、諦めました(!)。

    そこで、複2次式に変形できないか試行錯誤の末、以下のようになりました。
    a, b, c, dを定数として、
    s^4+6s^3+7s^2-6s-31
    = (s^2+as+b)^2+c(s^2+as+b)+d
    = s^4+2as^3+(a^2+2b+c)s^2+(2ab+ac)s+(b^2+bc+d)
    と変形できると仮定します。

    係数を比較して、
    2a = 6・・・・・(A)
    a^2+2b+c = 7・・・・・(B)
    2ab+ac = -6・・・・・(C)
    b^2+bc+d = -31・・・・・(D)

    (A)より、a = 3・・・・・(E)
    (E)を(B)に代入すると、3^2+2b+c = 7 ⇒ 2b+c = -2・・・・・(F)
    (E)を(C)に代入すると、2*3b+3c = -6 ⇒ 2b+c = -2・・・・・(Fと同じ)
    ⇒ c = -2b-2・・・・・(G)

    (G)を(D)に代入すると、b^2+b(-2b-2)+d = -31 ⇒ -b^2-2b+d = -31・・・・・(H)
    (G)(H)と式が2個で変数は3個なので、b = 0とすれば c = -2, d = -31 となります。

    以上から、
    s^4+6s^3+7s^2-6s-31 = (s^2+3s)^2-2(s^2+3s)-31 = 0
    ⇒ s^2+3s = 1±√32 = 1±4√2

    s^2+3s > 0 なので、s^2+3s = 1+4√2 です。
    ⇒ s = {-3±√(13+16√2)}/2

    s > 0 なので、s = {-3+√(13+16√2)}/2 となります。
    # 本当はwの値を求めるなりして、w > 0 を確認する必要がありますが・・・省略!
引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-2]



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52879 / 親記事)  微分で関数の最大値を求める
□投稿者/ 星は昴 一般人(1回)-(2025/05/24(Sat) 18:30:11)
      f(x) = (n+mx)/√(1+x^2 ) = (n+mx)/(1+x^2 )^(1/2)   (n,m は正の定数:x>0)

      f'(x) = (m-nx)/{(1+x^2 )√(1+x^2 )} = 0

      x = m/n
      x<m/n⇒f'(x)>0
      x>m/n⇒f'(x)<0

     したがってf(x)はx = mnで極大値をとる。

      f(m/n) = √{(n^2+m^2)/n}  @

      lim[x→∞](n+mx)/√(1+x^2 ) = lim[x→∞](n/x+m)/√(1/x^2 +1) = m ……A

      lim[x→∞](n+mx)/√(1+x^2 ) = n ……B

     @が最大値であることを示すために、@ABの二乗を比較して@>A、@>Bを証明したいがうまくいきません。
     @とBを比較して

      {(n^2+m^2)/n}/n^2 = (n^2+m^2)/n^3

    とやっても、大小関係がわかりません。どうしたらいいでしょうか?

引用返信/返信 [メール受信/OFF]

▽[全レス3件(ResNo.1-3 表示)]
■52881 / ResNo.1)  Re[1]: 微分で関数の最大値を求める
□投稿者/ らすかる 一般人(30回)-(2025/05/24(Sat) 18:55:41)
    x<m/n ⇔ f'(x)>0
    x>m/n ⇔ f'(x)<0
    とわかっているならば、それだけでf(m/n)が最大値と決まりますので
    AやBの計算は不要です。

    また、@は間違っています。f(m/n)=√(n^2+m^2)です。

引用返信/返信 [メール受信/OFF]
■52882 / ResNo.2)  微分で関数の最大値を求める
□投稿者/ 星は昴 一般人(2回)-(2025/05/24(Sat) 19:02:08)
     すばやい回答まことにありがとうございます。
    > x<m/n ⇔ f'(x)>0
    > x>m/n ⇔ f'(x)<0
    > とわかっているならば、それだけでf(m/n)が最大値と決まります
     極値(この場合極大値)が1つしかないからですか?

引用返信/返信 [メール受信/OFF]
■52884 / ResNo.3)  Re[3]: 微分で関数の最大値を求める
□投稿者/ らすかる 一般人(31回)-(2025/05/25(Sun) 11:36:47)
    結果的にはそういうことになるかも知れませんが、そんな難しいことは考えていません。
    グラフで考えて
    f(x)はx<m/nで増加 → xをm/nから減らしていけばf(x)は減少し続ける → x<m/nの範囲にf(x)≧f(m/n)となるようなxは存在しない
    f(x)はx>m/nで減少 → xをm/nから増やしていけばf(x)は減少し続ける → x>m/nの範囲にf(x)≧f(m/n)となるようなxは存在しない
    ということですから、f(m/n)は最大値になります。
    # もちろん、これが言えるのはf(x)が連続だからです。
引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-3]



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52878 / 親記事)  自然数 階乗
□投稿者/ ココス 一般人(1回)-(2025/05/18(Sun) 09:05:47)
    a,b,c,dが自然数で
    a! b! +a = c! d! +c
    が成り立つとき
    (a,b) = (c,d)
    であると結論できますか?
引用返信/返信 [メール受信/OFF]



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52877 / 親記事)  期待値と極限
□投稿者/ ニコイチ 一般人(1回)-(2025/05/15(Thu) 12:02:26)
    mを正の整数とし、nはm以上の整数とする。
    箱の中に1からnまでの数字が書かれたカードが1枚ずつ合計n枚入っている。
    箱からカードを1枚取り出し、数字を確認してから箱に戻すという試行をm回繰り返し、確認した数字のうち最大のものをXとする。
    次に箱から同時にm枚のカードを取り出し、取り出したカードに書かれた数字のうち最大のものをYとする。
    Xの期待値をE[X]、Yの期待値をE[Y]としたとき、lim[n→∞](E[X]/E[Y])^nの求め方を教えて下さい。
引用返信/返信 [メール受信/OFF]



■記事リスト / ▲上のスレッド
■52866 / 親記事)  回転体の体積
□投稿者/ 筑波 一般人(1回)-(2025/05/10(Sat) 10:03:30)
    f(x)はx≧0で連続で、f(0)=0かつx>0においてf'(x)>0を満たすとする。t>0に対して、
    曲線y=f(x)とx軸および直線x=tとで囲まれる図形をx軸のまわりに一回転してできる立体の体積をX(t)、
    曲線y=f(x)とy軸および直線y=f(t)とで囲まれる図形をy軸のまわりに一回転してできる立体の体積をY(t)、
    とする。また、X(0)=Y(0)=0とする。このとき、t≧0で常にX(t)=Y(t)となるf(x)を全て求めよ。

    教えて下さい。
引用返信/返信 [メール受信/OFF]

▽[全レス6件(ResNo.2-6 表示)]
■52870 / ResNo.2)  Re[2]: 回転体の体積
□投稿者/ 健作 一般人(5回)-(2025/05/10(Sat) 22:09:55)
    Y(t)はdxではなくdyでは?
引用返信/返信 [メール受信/OFF]
■52871 / ResNo.3)  Re[1]: 回転体の体積
□投稿者/ WIZ 一般人(9回)-(2025/05/11(Sun) 09:21:29)
    > Y(t)はdxではなくdyでは?
    仰る通りでした。申し訳ありません。

    y = f(x)がx > 0で一価関数と仮定し、y = f(x)の逆関数をx = h(y)とします。
    x = 0でy = f(0) = 0より、h(0) = 0です。
    また、dx/dy = (d/dy)h(y) = h'(y)です。
    # 上記のダッシュ「'」はyによる微分

    よって、
    Y(t) = π∫[0,f(t)]{x^2}dy
    = π∫[0,f(t)]{h(y)^2}h'(y)dy
    = (π/3)(h(f(t))^3)
    = (π/3)(t^3)

    # 以下「'」はtによる微分
    X(t) = Y(t)
    ⇒ πg(t) = (π/3)(t^3)
    ⇒ g'(t) = t^2 = f(t)^2
    ⇒ f(t) = t または f(t) = -t

    x > 0でf'(x) > 0より、題意を満たすのはf(x) = xのみとなります。

    # また間違ってたらごめんなさい!
引用返信/返信 [メール受信/OFF]
■52872 / ResNo.4)  Re[2]: 回転体の体積
□投稿者/ 健作 一般人(6回)-(2025/05/11(Sun) 16:59:09)
    x = h(y)とするなら
    Y(t) = π∫[0,f(t)]{h(y)^2}dy
    ではないのでしょうか?

    y=f(x)のとき
    X(t) = π∫[0,t]{f(x)^2}dx
    であるのと同様に
引用返信/返信 [メール受信/OFF]
■52873 / ResNo.5)  Re[1]: 回転体の体積
□投稿者/ WIZ 一般人(10回)-(2025/05/11(Sun) 18:51:56)
    成程。まるでどっちが質問して、どっちが回答してるのか分からなくなりました。

    h(t)^2の原始関数をH(t), H(0) = 0とすると、
    Y(t) = π∫[0,f(t)]{h(y)^2}dy = πH(f(t))

    X(t) = Y(t)
    ⇒ πg(t) = πH(f(t))
    ⇒ g'(t) = f(t)^2, H'(f(t))f'(t) = (h(f(t))^2)f'(t) = (t^2)f'(t)
    ⇒ f(t)^2 = (t^2)f'(t)

    f(0) = 0かつx > 0においてf'(x) > 0より、x > 0でf(x) > 0です。
    よって、t > 0のとき、
    ⇒ 1/t^2 = f'(t)/(f(t)^2)
    ⇒ -1/t+C = -1/f(t) (Cは積分定数)
    ⇒ t/(1-Ct) = f(t)

    0/(1-C*0) = 0 = f(0)だから、上記はt = 0でも成り立ちます。

    検算
    C = 0のとき、y = x, x = y
    X(t) = π∫[0,t]{x^2}dx = (π/3)(t^2)
    Y(t) = π∫[0,t]{x^2}dx = (π/3)(t^2)

    C ≠ 0かつ1-Ct ≠ 0のとき、y = x/(1-Cx) = (-1/C)(1+1/(Cx-1))
    (1-Cx)y = x ⇒ y = (Cy+1)x
    Cy+1 ≠ 0のとき、x = y/(Cy+1) = (1/C)(1-1/(Cy+1))

    X(t) = (π/(C^2))∫[0,t]{1+2/(Cx-1)+1/((Cx-1)^2)}dx
    = (π/(C^2))[x+(2/C)ln(|Cx-1|)-(1/C)/(Cx-1)]_[0,t]
    = (π/(C^2)){t+(2/C)ln(|Ct-1|)-(1/C)/(Ct-1)-1/C}
    = (π/(C^2)){t+(2/C)ln(|Ct-1|)-(1/C)(1+Ct-1)/(Ct-1)}
    = (π/(C^2)){t+(2/C)ln(|Ct-1|)-t/(Ct-1)}
    = (π/(C^2)){t(Ct-2)/(Ct-1)+(2/C)ln(|Ct-1|)}

    Y(t) = (π/(C^2))∫[0,t/(1-Ct)]{1-2/(Cy+1)+1/((Cy+1)^2)}dy
    = (π/(C^2))[y-(2/C)ln(|Cy+1|)-(1/C)/(Cy+1)]_[0,t/(1-Ct)]
    = (π/(C^2)){t/(1-Ct)-(2/C)ln(|Ct/(1-Ct)+1|)-(1/C)/(Ct/(1-Ct)+1)+1/C}
    = (π/(C^2)){t/(1-Ct)-(2/C)ln(|1/(1-Ct)|)-(1/C)/(1/(1-Ct))+1/C}
    = (π/(C^2)){t/(1-Ct)+(2/C)ln(|1-Ct|)+t}
    = (π/(C^2)){t(2-Ct))/(1-Ct)+(2/C)ln(|1-Ct|)}

    ・・・とどうやら大丈夫そうです。
    但し、1-Ct = 0やCy+1 = 0の場合も積分範囲を分けて極限として吟味する必要があると思いますが、
    私はもう限界ですので、勝手ながらこれでこのスレの最後の発言とさせて頂きます。
    # 安直にこのスレに口を出したことを後悔しています。
引用返信/返信 [メール受信/OFF]
■52875 / ResNo.6)  Re[2]: 回転体の体積
□投稿者/ 筑波 一般人(2回)-(2025/05/14(Wed) 22:09:09)
    とても理解り易かったです。ご丁寧に有難う御座いました。
解決済み!
引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-6]






Mode/  Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター