数学ナビゲーター掲示板

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

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

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

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



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52868 / 親記事)  無平方な多項式
□投稿者/ ふとめネコ 一般人(1回)-(2025/05/10(Sat) 20:59:22)
    整数係数の2次多項式f(x)で任意の整数nに対してf(n)がsquarefreeになるものは存在しますか?
引用返信/返信 [メール受信/OFF]

▽[全レス2件(ResNo.1-2 表示)]
■52874 / ResNo.1)  Re[1]: 無平方な多項式
□投稿者/ らすかる 一般人(28回)-(2025/05/12(Mon) 12:05:52)
    証明はできないのですが、
    f(x)=ax^2+bx+c として
    1≦a≦2000, 0≦b≦2000, 0≦c≦2000 の範囲では
    そのようなf(x)は存在しなかったことから、
    おそらく条件を満たすものは存在しないのではないかと思います。
    ちなみにこの範囲の中では
    f(x)=293x^2+246x+1307
    が最も長くsquarefreeの値が続くもので、このf(x)では
    0≦n≦3000でf(n)がsquarefreeとなり、
    f(3001)で初めて71^2が登場します。

引用返信/返信 [メール受信/OFF]
■52894 / ResNo.2)  Re[1]: 無平方な多項式
□投稿者/ WIZ 一般人(17回)-(2025/06/15(Sun) 15:14:45)
    2025/06/16(Mon) 15:33:38 編集(投稿者)

    べき乗演算子^は四則演算子より優先度が高いものとします。
    1以外の整数の平方を因数に持たない整数を「無平方数」と呼ぶことにします。

    a, b, cは整数で a ≠ 0 とします。
    またxを整数として f(x) = ax^2+bx+c とします。
    結論から言うと、xが整数のときf(x)が常に無平方数となることはないと言えます。

    f(x)は2次関数ですから、f(x) = 1 となる整数xは高々2種類の値しかありません。
    同様に f(x) = 0 とか f(x) = -1 となる整数xもそれぞれ高々2種類です。
    よって、有限個の整数xを除き、無数の整数xに対して |f(x)| > 1 となります。

    整数uに対して |f(u)| > 1 とし、f(u)の素因数の1つをpとします。
    この時、ある整数vが存在して、f(v)がp^2で割り切れるようにできることを示します。

    ある整数mが存在して f(u) = au^2+bu+c = mp とおけます。
    kを整数として v = u+kp とおくと、
    f(v) = f(u+kp)
    = a(u^2+2ukp+(k^2)p^2)+b(u+kp)+c
    = (au^2+bu+c)+(2au+b)kp+(k^2)p^2
    = (m+(2au+b)k)p+(k^2)p^2

    (1) 2au+b が法pで0に合同でない場合
    m+(2au+b)k ≡ 0 (mod p) となるkを選べます。
    pは素数なので法pの剰余類は整域となり、k = -m*((2au+b)^(-1)) とできるからです。
    そして、このようなkを用いれば f(v) ≡ 0 (mod p^2) となり、無平方数ではないと言えます。

    (2) 2au+b が法pで0に合同な場合
    f(u) ≡ 2au+b ≡ 0 (mod p)
    ⇒ 2a(au^2+bu+c)-u(2au+b) = (2au^2+2bu+2c)-(2au^2+bu) = bu+2c ≡ 0 (mod p)
    ⇒ b(2au+b)-2a(bu+2c) = (2abu+b^2)-(2abu-4ac) = b^2-4ac ≡ 0 (mod p)

    従って、f(x)と2au+bの公約数となる素数pはb^2-4acの素因数でもあると言えます。
    f(x)を決めればb^2-4acは定数ですから、b^2-4acの素因数pの種類は有限個です。

    しかし、f(x)の約数となる得る素数は無数であることが以下のように示せます。
    f(x)の約数となる得る素数の種類が有限個だと仮定すると、
    f(x)が無平方数なら|f(x)|は有限個の素数の積、つまり有限の最大値を持つことになりますが、
    2次関数の整数値となる絶対値はいくらでも大きくなれるので矛盾です。

    よって、|f(x)|が無平方数とならないことがあるか、
    または、f(x) = ax^2+bx+cの約数かつb^2-4acの約数でない素数が存在して
    (1)の場合に帰着できかのどちらかと言えます。

    以上から、任意の整数xに対して無平方数となるf(x)は存在しないと言えます。
引用返信/返信 [メール受信/OFF]

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



■記事リスト / ▼下のスレッド / ▲上のスレッド
■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]



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52863 / 親記事)  円と三角形、有理数と無理数
□投稿者/ タマヨ 一般人(1回)-(2025/05/09(Fri) 17:44:21)
    半径が√2の円に三辺の長さが相異なる有理数の三角形が内接することはありますか?
引用返信/返信 [メール受信/OFF]

▽[全レス2件(ResNo.1-2 表示)]
■52864 / ResNo.1)  Re[1]: 円と三角形、有理数と無理数
□投稿者/ らすかる 一般人(27回)-(2025/05/09(Fri) 20:07:17)
    あります。例えば3辺が(8/3,24/11,80/33)の三角形は外接円の半径が√2です。
    確認のため座標(の例)も求めました。
    円をx^2+y^2=2として
    A(1,1), B((-7-4√2)/9,(-7+4√2)/9), C((-23+84√2)/121,(-23-84√2)/121)
    とすると、A,B,Cは確かに円x^2+y^2=2上にあり、
    またAB=8/3, BC=80/33, CA=24/11となります。

引用返信/返信 [メール受信/OFF]
■52867 / ResNo.2)  Re[2]: 円と三角形、有理数と無理数
□投稿者/ タマヨ 一般人(2回)-(2025/05/10(Sat) 19:26:22)
    すごい…よく見つけられましたね。
    ありがとうございました。
引用返信/返信 [メール受信/OFF]

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



■記事リスト / ▲上のスレッド
■52860 / 親記事)  定積分
□投稿者/ 1000 一般人(1回)-(2025/05/08(Thu) 19:02:26)
    ∫[0→π/18]cos(x-π/6)sin(x)cos(x+π/6)dx
    の求め方を教えて下さい。
引用返信/返信 [メール受信/OFF]

▽[全レス2件(ResNo.1-2 表示)]
■52861 / ResNo.1)  Re[1]: 定積分
□投稿者/ らすかる 一般人(26回)-(2025/05/09(Fri) 01:05:25)
    ∫[0〜π/18]cos(x-π/6)sin(x)cos(x+π/6)dx
    =∫[0〜π/18]sin(x){cos(x+π/6)cos(x-π/6)}dx
    =∫[0〜π/18]sin(x){(1/2){cos(2x)+cos(π/3)}}dx
    =∫[0〜π/18]sin(x){(1/2){2(cos(x))^2-1+(1/2)}}dx
    =∫[0〜π/18]sin(x)(cos(x))^2-(1/4)sin(x)dx
    =[-(cos(x))^3/3+(1/4)cos(x)][0〜π/18]
    =(1/12)[-4(cos(x))^3+3cos(x)][0〜π/18]
    =(1/12)[-cos(3x)][0〜π/18]
    =(1/12)(-(√3/2)+1)
    =(2-√3)/24
    となります。
引用返信/返信 [メール受信/OFF]
■52862 / ResNo.2)  Re[2]: 定積分
□投稿者/ 1000 一般人(2回)-(2025/05/09(Fri) 07:27:22)
    ありがとうございます&#128557;
解決済み!
引用返信/返信 [メール受信/OFF]

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






Mode/  Pass/

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

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