余弦定理扩展勾股定理
几何画板及绘图内容加载中,请稍等……
这个范例演示了余弦定理如何通过 -2abcosC 项在 a^2 + b^2 与 c^2 之间进行加或减以维持等式平衡。通过观察不同情况下的变化,可以深入理解余弦定理的应用。涉及的核心数学概念包括余弦定理、勾股定理、三角形和不等式。作图要点包括使用点、线、距离、圆弧、角度、线段、多边形、旋转、向量、平移、缩放、镜像、面积、求和、垂线、交点、射线等 GeoGebra 命令和对象。适合高中及以上数学学习者使用,用于理解和应用余弦定理和勾股定理。
GeoGebra 命令及参数
Point(Circle[A, scale]) → arcrightLine(A, arcright) → hPoint(h) → CDistance(A, C) → acPoint(Circle[A, scale]) → arcleftCircleArc(A, arcright, arcleft) → c_1Point(c_1) → BDistance(B, C) → bcAngle(B, C, A) → angleCSegment(A, arcleft) → fSegment(A, arcright) → gSegment(C, A) → bSegment(A, B) → cSegment(B, C) → aPolygon(A, B, 4) → csquared, j, k, l, m, D, EPolygon(B, C, 4) → asquared, n, p, q, r, F, GPolygon(C, A, 4) → bsquared, s, t, a_1, d, H, IAngle(B, C, I) → αAngle(F, C, A) → βRotate(C, (-β), C) → C'Rotate(A, (-β), C) → A'Segment(C', A') → b'_1Rotate(B, α, C) → B'Rotate(C, α, C) → C'_1Segment(B', C'_1) → a'_1Vector(C, I) → uTranslate(B', u) → B''Translate(C'_1, u) → JSegment(B'', J) → a''Vector(C, F) → vTranslate(C', v) → C''Translate(A', v) → A''Segment(C'', A'') → b''Dilate(B'', cosc, J) → B'''Dilate(J, cosc, J) → J'Segment(B''', J') → a'''Dilate(C'', cosc, C'') → C'''Dilate(A'', cosc, C'') → A'''Segment(C''', A''') → b'''Vector(J, H) → wTranslate(B''', w) → KTranslate(J', w) → J''Segment(K, J'') → iVector(C'', G) → eTranslate(C''', e) → LTranslate(A''', e) → MSegment(L, M) → f_1Polygon(C'', A''', M, G) → poly1, c'', a'''_1, m_1, g_1Polygon(B''', K, H, J) → poly2, b'''_1, k_1, h_1, j_1Line(H, J) → i_1Line(G, C'') → l_1Mirror(C'', l_1) → C'''_1Mirror(A''', l_1) → NMirror(M, l_1) → M'Mirror(G, l_1) → G'Polygon(C'''_1, N, M', G') → poly1', bcosc, a'_2, m', g'Mirror(B''', i_1) → OMirror(K, i_1) → K'Mirror(H, i_1) → H'Mirror(J, i_1) → J'_1Polygon(O, K', H', J'_1) → poly2', b'_2, acosc, h', j'_1Area(csquared) → ccArea(asquared) → aaArea(bsquared) → bbSum({aa, bb}) → aaplusbbDistance(A, B) → abOrthogonalLine(B, b) → n_1OrthogonalLine(B, h) → p_1Intersect(h, p_1) → QPoint(t) → RIntersect(b'_2, acosc) → SSegment(R, S) → s_1Intersect(b'_2, acosc) → TIntersect(b'_2, j'_1) → USegment(T, U) → t_1Segment(R, T) → acosCSegment(T, U) → b'Segment(C'''_1, N) → bcosCSegment(N, M') → a'Angle(A, B, C) → γRay(A, C) → q_1