Dynamic Illustration of a Circle Tangent to the Hypotenuse of an Isosceles Right
Loading the math board and drawing, please wait…
This example dynamically illustrates the relationship between the circumcircle of an isosceles right triangle and its hypotenuse, which is tangent to the circle. Key math concepts include circle, isosceles triangle, tangent line, trigonometric functions, and geometric constructions. The construction utilizes GeoGebra commands such as Circle, Segment, OrthogonalLine, Rotate, Angle, Ray, Intersect, Polygon, Line, Point, Dilate, CircleSector, Vector, CircleArc, Midpoint, and Translate. It is suitable for high school mathematics education, helping students understand the properties of circles and triangles, tangent lines, and dynamic geometric relationships.
GeoGebra Commands & Parameters
Circle(B, C) → cSegment(B, C) → aOrthogonalLine(C, a) → bRotate(C, 45°, B) → C'Angle(C, B, C') → αRay(B, C') → dIntersect(b, d) → ASegment(A, C) → eSegment(B, A) → fPolygon(B, C, A) → poly1, a_1, b_1, c_1Line(B, C) → hPoint(h) → DPoint(h) → ERay(C, E) → iPoint(i) → FRay(C, F) → jDilate(B, If[0 < g ≤ 1, 1 - g, 0], C) → B'Segment(B, B') → kDilate(C, If[1 < g ≤ 2, 2 - g, 0], A) → C'_1Segment(C, C'_1) → lCircle(C, (0.15 * a)) → pIntersect(p, j, 1) → GIntersect(p, e, 1) → HIntersect(p, a, 1) → ICircle(A, (0.15 * a)) → qCircle(B, (0.15 * a)) → rIntersect(q, e, 1) → JIntersect(q, f, 1) → KCircleSector(C, H, I) → sDilate(A, If[2 < g ≤ 3, 3 - g, 0], B) → A'Segment(A, A') → mRotate(s, If[3.5 < g ≤ 4.5, ((-(g - 3.5)) * π / 2), -1.5707963267948966], C) → s'Dilate(A, If[5.5 < g ≤ 6.5, 6.5 - g, 0], B) → A'_1Vector(A, A'_1) → uRotate(B, If[4.5 < g ≤ 5.5, ((-(g - 4.5)) * π / 2), -1.5707963267948966], C) → B'_1Rotate(B', If[4.5 < g ≤ 5.5, ((-(g - 4.5)) * π / 2), -1.5707963267948966], C) → B''Segment(B'_1, B'') → k'Dilate(A, If[7.5 < g ≤ 8.5, 8.5 - g, 0], C) → A'_2Vector(A, A'_2) → vDilate(A, If[9.5 < g ≤ 10.5, 10.5 - g, 0], C) → A'_3Vector(A, A'_3) → wLine(B, C) → nCircle(B, 1) → tLine(C, A) → f_1Circle(A, 1) → d_1Intersect(d_1, f_1, 2) → LIntersect(t, n, 1) → MRay(A, L) → g_1Ray(B, M) → h_1Rotate(L, 67.5°, A) → L'Angle(L, A, L') → βRotate(A, 67.5°, B) → A'_4Angle(A, B, A'_4) → γRay(A, L') → i_1Ray(B, A'_4) → j_1Circle(B, (0.25 * k)) → e_1Circle(A, (0.25 * k)) → k_1Intersect(e_1, h_1, 1) → NIntersect(e_1, j_1) → O,Intersect(k_1, i_1) → P,Intersect(k_1, g_1) → Q,CircleSector(A, Q, P) → p_1CircleSector(B, O, N) → q_1Intersect(i_1, j_1) → ROrthogonalLine(R, h_1) → l_1OrthogonalLine(R, g_1) → m_1Intersect(m_1, g_1) → SIntersect(h_1, l_1) → TAngle(B, T, R) → δAngle(R, S, A) → εDilate(A, If[5.5 < g ≤ 6.5, 6.5 - g, 0], R) → A'_5Dilate(B, If[5.5 < g ≤ 6.5, 6.5 - g, 0], R) → B'_2Segment(A, A'_5) → n_1Segment(B, B'_2) → r_1Dilate(R, If[6.5 < g ≤ 7.5, 7.5 - g, 0], T) → R'Dilate(R, If[6.5 < g ≤ 7.5, 7.5 - g, 0], S) → R'_1Segment(R, R') → s_1Segment(R, R'_1) → t_1Rotate(T, If[8.5 < g ≤ 10.5, ((g - 8.5) * π), (2 * π)], R) → T'Rotate(p_1, If[7.5 < g ≤ 8.5, (((g - 7.5) * 67.5) * π / 180), (67.5 * π / 180)], A) → c_2Rotate(q_1, If[7.5 < g ≤ 8.5, (((-(g - 7.5)) * 67.5) * π / 180), (-67.5 * π / 180)], B) → d_2CircleArc(R, T, T') → e_2Circle(R, T) → f_2Line(R, A) → g_2OrthogonalLine(C, g_2) → h_2Intersect(g_2, h_2) → VAngle(A, V, C) → ζDilate(C, If[10.5 < g ≤ 11.5, 11.5 - g, 0], V) → C'_2Dilate(A, If[10.5 < g ≤ 11.5, 11.5 - g, 0], V) → A'_6Segment(A, A'_6) → i_2Segment(C, C'_2) → j_2Midpoint(R, A) → UDilate(A, If[11.5 < g ≤ 12.5, 12.5 - g, 0], U) → A'_7Segment(A, A'_7) → k_2Dilate(U, If[12.5 < g ≤ 13.5, 13.5 - g, 0], R) → U'Segment(U, U') → l_2Dilate(V, If[13.5 < g ≤ 14.5, 14.5 - g, 0], A) → V'Vector(V, V') → u_1Translate(C, u_1) → C'_3Translate(C'_2, u_1) → WSegment(C'_3, W) → m_2Rotate(C'_3, If[14.5 < g ≤ 15.5, ((-(g - 14.5)) * π / 2), ((-π)) / 2], A) → ZRotate(W, If[14.5 < g ≤ 15.5, ((-(g - 14.5)) * π / 2), ((-π)) / 2], A) → W'Segment(Z, W') → n_2Rotate(Z, If[15.5 < g ≤ 16.5, ((-(g - 15.5)) * π), (-π)], U) → Z'Rotate(W', If[15.5 < g ≤ 16.5, ((-(g - 15.5)) * π), (-π)], U) → W''Segment(Z', W'') → p_2