函数 f(x,y) 的临界点性质:局部最大/最小/鞍点
几何画板及绘图内容加载中,请稍等……
①本范例演示了如何通过 GeoGebra 绘制并分析函数 f(x,y) 的临界点,包括局部最大值、最小值和鞍点;②涉及的核心数学概念有:多元函数、偏导数、Hessian 矩阵、二阶导数检验法;③作图要点:使用了 Simplify, ImplicitCurve, Zip, Sequence, TableText, LaTeX, Sort, Length, Max, RotateText 等命令,以及对象 f, fx, fy, l2, ax, l1, ay, fxx, fxy, fyy, fyx, Text2, M, D, Text4, f_{xx}, l4, l5, lfx, lfy, l21, text3, text1, text2, button1, l4a, l5a, l1a, Schaltfläche1, lmax, lmin, lsad, lämax, lämin, läsad, l4aa, text1a, lq, läq, z0;④适合大学数学、微积分课程教学或自学,用于理解和掌握多元函数极值点的判定方法。
GeoGebra 命令及参数
Simplify(Derivative[f, x, 1]) → fxSimplify(Derivative[f, y, 1]) → fyImplicitCurve(fx(x, y)) → axImplicitCurve(fy(x, y)) → aySimplify(Derivative[fx, x, 1]) → fxxSimplify(Derivative[fx, y, 1]) → fxySimplify(Derivative[fy, y, 1]) → fyySimplify(Derivative[fy, x, 1]) → fyxZip({{fxx(a), fxy(a)}, {fyx(a), fyy(a)}}, a, l1) → MZip(Determinant[a], a, M) → DZip(fxx(a), a, l1) → f_{xx}Sequence(If[D(i) > 0, If[f_{xx}(i) > 0, "local minimum", "local maximum"], If[(D(i) * f_{xx}(i)) ≟ 0, "?", "saddle point"]], i, 1, Length[l1]) → l4Zip((x(a), y(a), f(a)), a, l1) → l5Zip(fx(a), a, l1) → lfxZip(fy(a), a, l1) → lfyTableText(Append["i", 1…Length[l1]], Append["critical points", l5], Append["f_{x}", lfx], Append["f_{y}", lfy], Append["f_{xx}", f_{xx}], Append["Det", D], Append["", l4], "v") → text1LaTeX(f, true) → text2Sequence(If[D(i) > 0, If[f_{xx}(i) > 0, 1, 2], If[D(i) ≟ 0, -5, -1]], i, 1, Length[l1]) → l4aSort(l5, l4a) → l5aSort(l1, l4a) → l1aLength(lmax) → lämaxLength(lmin) → läminLength(lsad) → läsadSort(l4, l4a) → l4aaTableText(Append["i", 1…Length[l1]], Append["critical points", l5a], Append["", l4aa], "v") → text1aLength(lq) → läqImplicitCurve(f(x, y) - z0) → IFxyZip((x(a), y(a)), a, lsad) → lsad_2Zip((x(a), y(a)), a, lq) → lq_2Zip((x(a), y(a)), a, lmax) → lmax_2Zip((x(a), y(a)), a, lmin) → lmin_2Max(z(lmax)) → maxMax(z(lmin)) → minRotateText(txt1, 90°) → txt2