$f^{-1}$

y = x

$f$

$f(x) = $

x

y

$Q(y|x)$

$t_f$

1

$f'(y)$

$P(x|y)$

$t_{f^{-1}}$

1

$(f^{-1})'(x)$

f(x) = x^(2)
iL = 2
g0 = CurveCartesian(t, g(t), t, -100, 100)
w = Line((0, 0), (1, 1))
f0 = Mirror(g0, w)
Eingabefeld1 = Textfield(f)
X = Point(xAxis)
x0: x(X)
y0: g(x0)
Y: (0, y0)
Q: (y0, f(y0))
PXh: Q + (1, 0)
tf = Tangent(Q, f)
P1X: (y0 + 1, tf(y0 + 1))
h = Segment(Q, PXh)
i = Segment(PXh, P1X)
P: (x0, g(x0))
QXh: P + (0, 1)
tg = Tangent(P, g)
Q1X = Mirror(P1X, w)
j = Segment(P, QXh)
k = Segment(QXh, Q1X)
vP, l, p, m = Polygon(P, P + (1, 0), (x0 + 1, tg(x0 + 1)))
vQ = Mirror(vP, w)
g1x: g'(x0)
f1y: f'(y0)
Text1: "m_{P} = (f^{-1})'(x) \approx " + (LaTeX[g1x]) + ""
Text3: "f^{-1}(x) = " + (LaTeX[a]) + ""
Text2: "m_{Q} = f'(y) \approx " + (LaTeX[f1y]) + ""