二次型对角化演示
几何画板及绘图内容加载中,请稍等……
①本范例演示了二次型通过矩阵变换和对角化实现图形特征展示的现象;②涉及核心数学概念包括矩阵、特征值、特征向量、线性变换、二次型;③作图要点提炼自GeoGebra命令:使用If、Rotate、Transpose、Vertex、Center、Textfield、Vector、Translate、Coefficients、Line、Determinant、LaTeX、Text、Element等命令及对象θ、a、b、c、e_1、e_2、A、Eigenvec1fixed、Eigenvec2fixed、P、PT、PTAP、d、e、K、KP、f、Equation01、g、Vertex2、D、E、F、C、conic、Vertex、G、H、I、B、lambda1、lambda2、lambda1dir、lambda2dir、lambda1dir1b、lambda2dirb、α、Eigenvec2等,通过动态交互展示对角化过程;④适合高中及以上数学学习者,用于理解线性代数与几何的关联,及二次型在坐标变换下的不变性。
GeoGebra 命令及参数
If(a ≟ c, pi / 4, (1 / 2 * atan(b / (a - c)))) → thetaRotate(e_1, theta) → Eigenvec1fixedRotate(e_2, theta) → Eigenvec2fixedTranspose(P) → PTVertex(g) → Vertex2, D, E, FCenter(g) → CVertex(conic) → Vertex, G, H, ICenter(conic) → BRotate(e_2, (Signo * θ)) → Eigenvec2Textfield(a) → InputBox1Textfield(b) → InputBox2Textfield(c) → InputBox3Textfield(d) → InputBox4Textfield(e) → InputBox5Textfield(f) → InputBox6If((a - c)^(2) + (2 * b^(2)) > 0, 2, If[(a - c)^(2) + (2 * b^(2)) < 0, 0, 1]) → numEigenvaluesVector(If[C ≟ C, C, Vertex2], (0, 0)) → vectorauxiliar01Translate(g, vectorauxiliar01) → g'Coefficients(g') → coefficientsVector((0, 0), If[B ≟ B, B, Vertex]) → vectorauxiliar02Rotate(e_1, (Signo * θ)) → Eigenvec1Line((0, 0), Eigenvec1) → uaxisLine((0, 0), Eigenvec2) → vaxisTranslate(uaxis, Vector[(t * vectorauxiliar02)]) → uaxis'Translate(vaxis, Vector[(t * vectorauxiliar02)]) → vaxis'Center(conic) → CentreCenter(g) → Centre2Determinant(A) → DetADeterminant(AQ) → DetAQDeterminant(P) → DetPLaTeX($5) → text1Text(text1, If[Δ_2 ≟ 0, Vertex + 0.5, B + 0.5], true, true) → text5If(sgn(theta) ≟ -1, abs(α), abs(α)) → limitthetaElement(PTAP, 1, 1) → TestEigen1Element(PTAP, 2, 2) → TestEigen2
AI 绘图提示语参考
绘制一个二次型的对角化过程。首先输入二次型的系数a, b, c, d, e, f,然后根据这些系数计算出特征向量Eigenvec1fixed和Eigenvec2fixed。接着通过特征向量旋转原图形,展示对角化过程。最后通过变换和旋转,展示二次型在新坐标系下的对角形式,并标注出变换前后的中心点和特征值。
以上提示语为根据原始绘图命令整理而来,仅供参考。