Εμβαδά με χρώματα [58]

Επι των κάθετων πλευρών ενός ορθογωνίου τριγώνου $ABC$ σχεδιάζουμε δύο ημικύκλια, όπως φαίνεται στο παρακάτω σχήμα.  

Αν τα εβαδά των ημικυκλίων $x$ και $y$, να βρεθεί το εμβαδόν του κόκκινου κύκλου.