Logarithmic Action! Dynamic Illustration of Inverse Properties
Loading the math board and drawing, please wait…
In collections
Exponential & Logarithmic Functions
This interactive GeoGebra example dynamically illustrates two inverse properties of logarithms: log_a(a^x)=x and a^(log_a x)=x. It visually demonstrates the fundamental relationship between exponential and logarithmic functions as inverses, using the line y=x as the symmetry axis. The construction employs text fields and input boxes for user-defined base a and variable x, along with commands such as Intersect, Dilate, Segment, Vector, Translate, and Rotate to build the graphs and show corresponding points. Suitable for high school and college students learning logarithms, this tool is ideal for classroom demonstrations or self-study, reinforcing the concept of inverse functions through dynamic manipulation and visual feedback.
GeoGebra Commands & Parameters
Textfield(a) → InputBox1Textfield(f_1) → InputBox2Textfield(f) → InputBox3Intersect(f, h, 1) → EDilate(F, If[0 < d ≤ 1, 1 - d, 0], A) → F'Segment(F, F') → iDilate(A, If[1 < d ≤ 2, 2 - d, 0], B) → A'Segment(A, A') → jDilate(B, If[2 < d ≤ 3, 3 - d, 0], G) → B'Vector(B, B') → uTranslate(A, u) → A'_1Translate(A', u) → A''Segment(A'_1, A'') → j'Rotate(A'_1, If[3 < d ≤ 4, ((-(d - 3)) * π / 2), ((-π)) / 2], F) → HRotate(A'', If[3 < d ≤ 4, ((-(d - 3)) * π / 2), ((-π)) / 2], F) → A'''Segment(H, A''') → j''Rotate(A'_1, If[3 < d ≤ 4, ((d - 3) * π / 2), π / 2], F) → IRotate(A'', If[3 < d ≤ 4, ((d - 3) * π / 2), π / 2], F) → A'''_1Dilate(D, If[4 < d ≤ 5, 5 - d, 0], E) → D'Segment(D, D') → lDilate(A, If[1 < d ≤ 2, 2 - d, 0], C) → A'_2Segment(A, A'_2) → mDilate(C, If[2 < d ≤ 3, 3 - d, 0], J) → C'Vector(C, C') → vTranslate(A, v) → A'_3Translate(A'_2, v) → KSegment(A'_3, K) → m'Rotate(A'_3, If[3 < d ≤ 4, ((-(d - 3)) * π / 2), ((-π)) / 2], F) → LRotate(K, If[3 < d ≤ 4, ((-(d - 3)) * π / 2), ((-π)) / 2], F) → K'Segment(L, K') → m''Intersect(f, p, 1) → NDilate(M, If[4 < d ≤ 5, 5 - d, 0], Q) → M'Segment(M, M') → qRotate(F, If[5 < d ≤ 6, ((d - 5) * π / 2), π / 2], F) → F'_1Rotate(F', If[5 < d ≤ 6, ((d - 5) * π / 2), π / 2], F) → F''Segment(F'_1, F'') → i'Dilate(F, If[6 < d ≤ 7, 7 - d, 0], M) → F'_2Vector(F, F'_2) → wTranslate(F'_1, w) → PTranslate(F'', w) → F'''Segment(P, F''') → i''