What is the length of the dotted line in the diagram below? Leave your answer in
simplest radical form.
