このディレクトリの索引

二次方程式の一般解(_a,_b,_c,_根の姿,_x) :- '(b^2 - 4ac)'(_a,_b,_c,_y), 二次方程式の一般解_1(_a,_b,_y,_根の姿,_x). 二次方程式の一般解_1(_a,_b,_y,虚根,_x) :- _y < 0. 二次方程式の一般解_1(_a,_b,_y,重根,_x) :- _y = 0, _x is ((-1) * _b) / (2 * _a). 二次方程式の一般解_1(_a,_b,_y,'2実根',_x) :- _y > 0, 二次方程式の一般解_2(_a,_b,_y,_x). 二次方程式の一般解_2(_a,_b,_y,_x) :- _x is ((-1) * _b + sqrt(_y)) / (2 * _a). 二次方程式の一般解_2(_a,_b,_y,_x) :- _x is ((-1) * _b - sqrt(_y)) / (2 * _a). '(b^2 - 4ac)'(_a,_b,_c,_x) :- _x is (_b ^ 2 - 4 * _a * _c).