Yes Alan thanks. That is a really simple way to demonstrate that this relationship must be true and I am also impressed.
But
I am trying to work out how this could be proven in a formal proof......
I suppose you could write it exactly as you have done.
--------------------------
Consider the triangles ADB and ACD
AD bisects BC by definition of a median
therefore BD=DC
<BDA=180 - <ADC adjacent supplementary angles
Rotate triangle ADC 180 degrees about the point D. to from the new triangle AA'B
AC has been rotated to the position A'B
i.e AC=A'B
AA' < A'B+AB One side of any triangle must be less than the sum of the other 2 sides.
AD+DA' < A'B+AB
AD+AD < AC+AB
2AD < AC+AB
2AD < (AC+AB)/2
Would this pass as a formal proof?