The red chord is a diameter of the circle, so the length of the blue arc is half the circle's circumference.
The circumference of a circle with diameter [tex]d[/tex] is [tex]\pi d[/tex], so the circle has circumference [tex]8\pi[/tex], and so the arc has length [tex]4\pi[/tex].
