Problem — Prove the total area of the red + blue semicircles fills half the enclosing circle (hint: Pythagoras).

🔴 radius: px area: px
🔵 radius: px area: px
⚫ radius: px area: px