P = (0, 0)
f(x) = sqrt(1 + x^(2))
Q = Point(f)
C = (-1, -1)
D = (1, -1)
l = Line(C, P)
m = Line(P, D)
n = OrthogonalLine(Q, l)
o = OrthogonalLine(Q, m)
Y = Intersect(l, n)
X = Intersect(m, o)
a = Segment(P, X)
b = Segment(P, Y)
c = Segment(Y, Q)
d = Segment(Q, X)
e: a * b
text2: "$P=" + (LaTeX[P]) + "$
$Q=" + (LaTeX[Q]) + "$
$X=" + (LaTeX[X]) + "$
$Y=" + (LaTeX[Y]) + "$"
text1: "$a=" + (LaTeX[a]) + "$
$b=" + (LaTeX[b]) + "$
$\mathrm{Area}=ab=" + (LaTeX[e]) + "$"
poly1, q, A, p, B = Polygon(Q, X, P, Y)