Using GeoGebra, which I have included a little applet of, we can clearly see that 

1. Triangle ADC and Triangle BEC are similar

2. Triangle EBD is an isosceles triangle and therefore BE = BD

The proof of these 2 are not difficult but rather tedious, lots of good examples in the discussion forum!

Then using the Angular Bisector Theorem we have that AD/BD = AC/BC, combining all of this with AD + BD = AB we get BE = (AB*BC)/(AC + BC)

Let d = gcd(AC, BC) => AC = d*AC', BC = d*BC' where gcd(AC', BC') = 1

We then have that BE = (AB*BC')/(AC' + BC') and clearly AC' + BC' cannot divide BC' therefore (AC' + BC') divides AB

Now we know that AB is between the first multiple of (AC' + BC') that is greater than AC and the minimum of (BC + AC) and  (100,000 - AC - BC) by the Triangle Inequality