Measures

What area is shaded red?
number: 7 8 9 10 10.5 11 11.5 12 12.5 13 15	Please enable Java for an interactive construction (with Cinderella).