Although problem statement says r > 0 and AC, BC > r,

1. It's possible that r == 0
2. It's possible that AC == r or BC == r