(R + r) sin 45 = R - r