二次型对角化演示

二次型对角化演示
几何画板及绘图内容加载中,请稍等……
2022-10-06 18:11
①本范例演示了二次型通过矩阵变换和对角化实现图形特征展示的现象;②涉及核心数学概念包括矩阵、特征值、特征向量、线性变换、二次型;③作图要点提炼自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 命令及参数

  1. If(a ≟ c, pi / 4, (1 / 2 * atan(b / (a - c)))) → theta
  2. Rotate(e_1, theta) → Eigenvec1fixed
  3. Rotate(e_2, theta) → Eigenvec2fixed
  4. Transpose(P) → PT
  5. Vertex(g) → Vertex2, D, E, F
  6. Center(g) → C
  7. Vertex(conic) → Vertex, G, H, I
  8. Center(conic) → B
  9. Rotate(e_2, (Signo * θ)) → Eigenvec2
  10. Textfield(a) → InputBox1
  11. Textfield(b) → InputBox2
  12. Textfield(c) → InputBox3
  13. Textfield(d) → InputBox4
  14. Textfield(e) → InputBox5
  15. Textfield(f) → InputBox6
  16. If((a - c)^(2) + (2 * b^(2)) > 0, 2, If[(a - c)^(2) + (2 * b^(2)) < 0, 0, 1]) → numEigenvalues
  17. Vector(If[C ≟ C, C, Vertex2], (0, 0)) → vectorauxiliar01
  18. Translate(g, vectorauxiliar01) → g'
  19. Coefficients(g') → coefficients
  20. Vector((0, 0), If[B ≟ B, B, Vertex]) → vectorauxiliar02
  21. Rotate(e_1, (Signo * θ)) → Eigenvec1
  22. Line((0, 0), Eigenvec1) → uaxis
  23. Line((0, 0), Eigenvec2) → vaxis
  24. Translate(uaxis, Vector[(t * vectorauxiliar02)]) → uaxis'
  25. Translate(vaxis, Vector[(t * vectorauxiliar02)]) → vaxis'
  26. Center(conic) → Centre
  27. Center(g) → Centre2
  28. Determinant(A) → DetA
  29. Determinant(AQ) → DetAQ
  30. Determinant(P) → DetP
  31. LaTeX($5) → text1
  32. Text(text1, If[Δ_2 ≟ 0, Vertex + 0.5, B + 0.5], true, true) → text5
  33. If(sgn(theta) ≟ -1, abs(α), abs(α)) → limittheta
  34. Element(PTAP, 1, 1) → TestEigen1
  35. Element(PTAP, 2, 2) → TestEigen2

AI 绘图提示语参考

绘制一个二次型的对角化过程。首先输入二次型的系数a, b, c, d, e, f,然后根据这些系数计算出特征向量Eigenvec1fixed和Eigenvec2fixed。接着通过特征向量旋转原图形,展示对角化过程。最后通过变换和旋转,展示二次型在新坐标系下的对角形式,并标注出变换前后的中心点和特征值。
以上提示语为根据原始绘图命令整理而来,仅供参考。