Top 10.238

Angle ADB = X = 15°

Radius R = 3.50823207723

A₁ = -2 sin 45, A₂ = 2

Angle BAE = X = 12°

| CE | = | AP | = X / Y = 1

EF = X = 13.416407865

Shaded = 31.1769145362

Ratio = 0.437016024449

Angle ADE = 40°

K = 22 / 3 = 7.33333333333333