1

(q,p)

(p,q)

2

q

p

\frac{-b}{2a}

d

d

3

4

5

s = 8 (slider from -5 to 8, step 0.1)
csum: x + y = s
b = false
p = 8 (slider from 8 to 18, step 0.1)
hyp2: (x * y) = p
M = Intersect(csum, sym)
N = Intersect(hyp2, sym, 2)
hex, m, f, g, n, h, i = Polygon(M, (x(M), 0), (x(N), 0), N, (0, y(N)), (0, y(M)))
A = Intersect(hyp2, csum, 2)
B = Intersect(hyp2, csum, 1)
j = false
k = Segment(A, (x(A), 0))
l = Segment(M, (x(M), 0))
q = Segment(B, (x(B), 0))
o = false
r = false
t = Segment(M, (0, y(M)))
a_1 = Segment(B, (0, y(B)))
C = Intersect(k, t)
D = Intersect(l, a_1)
E = Intersect(sym, k)
poly2, c_1, m_1, d_1, e_1 = Polygon(C, M, D, E)
F = Intersect(t, yAxis)
G = Intersect(k, t)
H = Intersect(sym, k)
I = Intersect(a_1, yAxis)
poly3, f_1, g_1, h_1, i_1 = Polygon(F, G, H, I)
J = Intersect(sym, xAxis)
K = Point(q)
L = Point(l)
O = Intersect(l, a_1)
poly4, i_2, j_1, l_1, o_1 = Polygon(I, J, L, O)
u = false
v = 0 (slider from 0 to 1, step 0.01)
O' = Dilate(O, v, G)
L' = Dilate(L, v, F)
P = Point(k)
P' = Dilate(P, v, I)
poly5, h_2, p', l', o' = Polygon(H, P', L', O')
w = 0 (slider from 0 to 1, step 0.01)
poly6, b_1, k_1, n_1, p_1 = Polygon(L, O, H, P)
L'_1 = Dilate(L, w, P)
z = Vector(P, L'_1)
L'_2 = Translate(L, z)
O'_1 = Translate(O, z)
H' = Translate(H, z)
P'_1 = Translate(P, z)
poly6', l'_2, o'_1, h', p'_1 = Polygon(L'_2, O'_1, H', P'_1)
Q: (x(N), 0)
R: (x(B), 0)
a = 0 (slider from 0 to 1, step 0.01)
Q' = Dilate(Q, a, R)
poly1, q', c, d, e = Polygon(Q', (0, 0), (0, p / x(Q')), (x(Q'), p / x(Q')))