P

P

dx

dy

a

b·y'(x)

b

a·y'(x+dx)

\vec A

\vec B

\vec G

a)

b)

f(x) = cosh(x)
A = Point(f)
B = Point(f)
g(x) = If[x(A) ≤ x ≤ x(B), cosh(x)]
P = Point(g)
h = Tangent(P, g)
C = (4.168728478803222, 1.8952818808735843)
i = Line(C, h)
D = (3.6004376701840926, 2.3448253563484176)
c = Circle(C, D)
E, F = Intersect(c, i)
j = Segment(E, F)
G = (5.576732571799871, 3.617118211465871)
u = Vector(F, G)
H = (2.073686244043148, 0.9877129775564677)
v = Vector(E, H)
I: (4.16873, 0.5)
w = Vector(C, I)
J: (x(F), y(E))
k = Segment(E, J)
l = Segment(J, F)
K: (x(G), y(F))
m = Segment(F, K)
n = Segment(K, G)
L: (x(E), y(H))
p = Segment(E, L)
q = Segment(L, H)
M = (3.812486479370335, 0.9368212633517696)
N = (3.66829328912369, 1.19976178674271)
a = Vector(M, N)
g_1: g