https://peeterjoot.com/2023/09/27/a-silly-geometry-problem-length-of-side-of-square-in-circular-quadrant/