Would this make sense then? Using the equation for the bottom quarter circle. Assuming,
xf < yf
xf < r - sqrt(r2 - xf2)
r - xf > sqrt(r2 - xf2)
square both sides, since both sides are positive and also assuming xf is not zero, it eventually reduces to
xf > r
Therefore, by contradiction, we...