5. A pilot is flying from Austin, Texas, to Jacksonville, Florida, which is due east of Austin. To
avoid a headwind from the jet stream, the pilot changes course by turning the plane 17° to
the south for 800 miles. He then makes a turn of 67° toward the northeast to head to
Jacksonville.
a. How far does the pilot need to travel after the 67° turn to get to Jacksonville?