По свой­ству ка­са­тель­ной к опи­сан­ной окруж­но­сти имеем Сле­до­ва­тель­но, тре­уголь­ни­ки BAK и ACK по­доб­ны по двум углам. По­сколь­ку KM и KN  — со­от­вет­ству­ю­щие ме­ди­а­ны в этих по­доб­ных тре­уголь­ни­ках, имеем На­ко­нец, по­сколь­ку имеем Итак, и по свой­ству ка­са­тель­ной к опи­сан­ной окруж­но­сти по­лу­ча­ем, что опи­сан­ная окруж­ность тре­уголь­ни­ка MKN ка­са­ет­ся ℓ, что и тре­бо­ва­лось до­ка­зать.