Theo giả thiết ta thấy a = b + 47. Cộng c vào cả hai vế ta có : a + c = b + c + 47
Mà a + c là diện tích hình bán nguyệt ; b + c là diện tích tam giác vuông nên:
\(\dfrac{1}{2}\)π( \(\dfrac{DE}{2}\))2 = \(\dfrac{1}{2}\)( DE · EF ) + 47
\(\dfrac{1}{2}\)π(\(\dfrac{20}{2}\)) 2 = \(\dfrac{1}{2}\)(20 EF ) + 47
50π = 10 EF + 47
50π – 47 = 10 EF
EF = 5π – 4,7
=> EF ≈ 11.01
