ForHosting KIT · 数学

退化三次ソルバー

t³ − 3t + 2 = 0の根は1、1、−2で、(t − 1)²(t + 2)と因数分解できます。pとqを入力すると、3つの根と判別式、カルダノの途中の値が分かります。ブラウザで無料で使えます。

  • 無料
  • ブラウザで動作
  • 登録不要
  • データは端末の外に出ません
ご利用方法 ウェブAPIメールTelegramアプリ 近日
入力した場合
電力(W)
-3
Q
2
結果
方程式
t^3 + (-3)*t + (2) = 0
判別式
0
解の種類
multiple_real
実数解の個数
3

退化三次方程式とは、二次の項がすでに消えたモニックな三次式で、t の三乗に p t と q を加えたものがゼロとなる形です。既約の場合 casus irreducibilis に出会う学習者、レゾルベントを段階的に示す指導者、手作業で既に多項式を退化させたノートブック著者は、本格的な数式処理を再度開かずに三つの根—実根または複素根—を必要とします。

退化三次とは何か、Cardano レゾルベントの仕組み

モニックな三次式 x の三乗に A x の二乗と B x と C を加えたものがゼロから始めます。x を t から A を三で割ったものを引く置換により二次の項が消え、t の三乗に p t と q を加えた退化形が得られ、p と q は A・B・C の明示的な多項式です。Cardano 法は根を推測しません。

補助数 u と v を導入し t が u と v の和、三 u v がマイナス p となるようにすると、u の三乗と v の三乗はマイナス q の半分に判別式 Delta の平方根を加えたものと引いたものになります。

Delta が正なら実根一つと共役複素対、ゼロなら重実根、負—casus irreducibilis—なら三実根で、古典的な立方根は答えが実でも複素になるため、本ソルバーはマイナス p の三分の一の平方根の二倍に三分の一の arccos の余弦を掛ける三角法の等価形に切り替えます。

三根は常に複素平面に存在し、t ゼロは u と v の和、他の二つは u と v を非実の立方根の単位 omega と omega 二乗と組み合わせます。

入力契約、応答形、エラーの扱い

t の係数 p と定数項 q で、方程式は t の三乗に p t と q を加えたものがゼロです。resolvent オブジェクトは u・v・delta を公開し、クライアントは Cardano の中間立方根を再計算せずに示せます。method と formula はアルゴリズムが古典的判別式恒等式を用いた Cardano であることを再述します。

例: p がマイナス三、q が二なら Delta ゼロで、二・マイナス一・マイナス一の重実根となり、(t マイナス一) の二乗と (t プラス二) の因数分解と一致します。よくある確認として p がゼロで q がマイナス八なら、実の立方根二と八の二つの複素立方根が得られます。グラフが必要なら独自の描画や手順文と組み合わせてください。

退化三次方程式を解くと役立つ場面

三次の平方完成のあと Cardano を教える代数の授業では、すでに退化形を仮定する決定論的オラクルが必要で、学習者は退化シフトではなくレゾルベントと判別式の場合分けに集中できます。試験生成器と LMS プラグインは t の三乗に p t と q を加えた宿題を採点し、学習目標が退化形そのものであるため四係数の一般三次を代用として受け付けません。

数式処理ノートブックは手作業や短いスクリプトで三次を退化したあと、スナップショット試験のために Cardano 枝だけを固定順の複素根で回したいことがよくあります。

depressed cubic solver で検索されるコンテンツサイトは、有料自動化経路とバイト一致する無料ブラウザツールを得て、一般三次のランディングだけでは拾いきれない検索意図を取り込めます。検証失敗は残高を消費しません。

退化三次の LMS 採点

すでに退化した宿題を自動採点し、無効な係数を拒否しつつスナップショット採点用に安定した根の順序を返します。

手作業退化後のノートブック

自ら x=t−b/(3a) を行うスクリプトで退化段階だけを解き、本格的な数式処理ライブラリを取り込まずに済みます。

退化三次の判別式とは何ですか?

Δ = (q/2)² + (p/3)³ です。正なら実根一つと共役複素二根、ゼロなら重実根、負なら相異なる三実根(casus irreducibilis)です。

退化三次方程式とは何ですか?

最高次の係数が1で二次の項がない三次方程式で、t³ + pt + qを0とおいた形です。一般の三次方程式も変数をずらせばこの形になるため、カルダノの方法はこの形で計算します。

t³ − 3t + 2 = 0の根は何ですか?

1、1、−2です。判別式が0なので重なる実数の根があり、式は(t − 1)²(t + 2)と因数分解できます。

還元不能の場合とは何ですか?

判別式が負の場合です。3つの根はすべて実数なのに、カルダノの立方根の計算では複素数を通ることになります。そこでこのソルバーは、余弦を使う同等の三角関数の式に切り替えて実数の根を直接求めます。

uとvは何を表しますか?

t = u + v、3uv = −pとなるように選ぶ補助の数です。u³とv³は−q/2に判別式の平方根を足し引きした値で、途中の値として表示されるので計算の流れを確かめられます。

このページの機能はすべてAPIからも利用できます。自社システムに組み込みたいチーム向けのセクションです。それ以外の方は上のツールをそのままお使いください。

POSThttps://api.kit.forhosting.com/algebra/depressed-cubic

Bearerトークンで認証し、POST1回でタスクをキューに登録します。結果はWebhookまたは署名付きリンクで受け取れます。

curl -X POST https://api.kit.forhosting.com/algebra/depressed-cubic \
  -H "Authorization: Bearer $KIT_KEY" \
  -H "Content-Type: application/json" \
  -d '{"p":-3,"q":2}'
{
  "p": -3,
  "q": 2
}
{
  "task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
  "type": "algebra.depressed_cubic",
  "status": "queued",
  "_links": {
    "result": "/tasks/tsk_…/result"
  }
}

非同期APIです。task_idは即時に返ります。ポーリングは1秒あたり1リクエストまでです。

1リクエストあたり$0.002

単価はすべて公開しています。トークン換算や独自クレジットはありません。失敗したタスクは課金されません。

HTTPコード意味
401unauthorizedAPIキーが無効か、指定されていません。Authorizationヘッダーを確認してください。
402insufficient_balance残高が不足しています。チャージ後に再度お試しください。
404unknown_type指定されたタスクタイプは存在しません。タイプ名を確認してください。
429rate_limitedリクエストが多すぎます。しばらく待ってから再度お試しください。

一般の三次式 ax³+bx²+cx+d=0 は、x を t から b を三 a で割ったものを引くシフトによりこの形に帰着するため、Cardano の古典的な解法は退化形の上にあります。本ソルバーは有限の係数 p と q を受け取り、判別式 Delta を (q の半分) の二乗に (p の三分の一) の三乗を加えたものとして作り、Cardano レゾルベントの立方根 u と v を構築し、三つの根を複素対として根の種類とレゾルベントのペイロードとともに返します。

入力契約、応答形、エラーの扱い

POST で JSON 本体に二つの必須の有限数を送ります。各フィールドは JSON 数または数値文字列でよく、欠落・空文字・非有限・非オブジェクト本体は invalid_input で問題を示して失敗し、課金されません。本エンドポイントは t のみを解き、formula と resolvent 以外に図や長文レッスンは出しません。

退化三次の Cardano API が役立つ場面

二次項が消えたシフト座標ですでに動く工学・物理モデル—平均場展開や縮小された特性多項式—は、成功一件あたり公開の基本料金 $0.002 の小さな parse API を、モデルトークンも外向き通信もなく呼べます。リクエストを小さく保ち、清掃済みの根とレゾルベントをテストに固定すれば、自前の本格的な数式処理スタックなしで教育・採点・エッジワーカー向けに再現可能な Cardano 根が得られます。

授業での Cardano とレゾルベント実演

学習者に t³+pt+q=0 の p と q を提出させ、三つの順序付き根とレゾルベント対を手計算の Cardano 手順と比較させます。

退化三次 t³ + p t + q = 0 はどう解きますか?

有限数 p と q を送ってください。API は Δ=(q/2)²+(p/3)³ を作り、Cardano レゾルベント u と v を構築し、三つの複素根と root_type および resolvent オブジェクトを返します。

一般三次 ax³+bx²+cx+d=0 も解けますか?

いいえ。本エンドポイントは退化形 t³+pt+q=0 を前提とします。まず x=t−b/(3a) で退化する、または四係数問題には一般三次ソルバーを使ってください。

複素根は返されますか?

はい。毎回三つの根を {re, im} 対で返します。root_type が one_real_two_complex のとき、二つは虚部が非ゼロです(係数が実なら共役)。

退化三次ソルバーの料金は?

ブラウザ版は無料です。API は成功した呼び出しごとに前払い KIT 残高から $0.002 です。無効入力は課金されません。

KITの完全なドキュメントを見る →