Использовано свойство вписанного угла, равенство проекций в зависимости от равенства их наклонных, теорема Пифагора