По­ло­жим По усло­вию

от­ку­да В силу сим­мет­рии не­ра­вен­ства можно счи­тать Рас­смот­рим че­ты­рех­уголь­ник ОABC (см. ри­су­нок) с вер­ши­на­ми в точ­ках За­ме­тим, что по­сколь­ку а есть рас­сто­я­ние от B до пря­мой OC. Таким об­ра­зом,

Оста­лось за­ме­тить, что пло­щадь OABC не пре­вос­хо­дит пло­ща­ди сек­то­ра ра­ди­у­са рас­тво­ра ко­то­рая равна

При­ве­дем дру­гое ре­ше­ние. По­ло­жим и В силу усло­вия

от­ку­да Тогда