y=secx
Author: 藍邦偉 老師

θ

y=secx

A = Point(xAxis)
c = Circle(A, 1.0)
f(x) = 1.0 / cos(x)
B = Point(c)
θ = 0.1885 rad (slider from 0 to 6.283185307179586, step 5.0E-4)
B' = Rotate(B, θ, A)
α = Angle(B, A, B')
P: (θ, 1.0 / cos(θ))
a = OrthogonalLine(P, xAxis)
C = Intersect(a, xAxis)
b = Segment(P, C)
D = Intersect(xAxis, yAxis)
d = Segment(D, C)
e = OrthogonalLine(B, xAxis)
g = Ray(A, B')
E = Intersect(g, e)
i = Segment(E, A)
F = Intersect(g, j)
h = Segment(A, F)
u = Vector((x(Corner[1.0]), 0.0), (x(Corner[2.0]), 0.0))
v = Vector((0.0, y(Corner[1.0])), (0.0, y(Corner[3.0])))
O = (0, 0)
m = Segment(O, C)