Теорема о четырех замечательных точках трапеции: математическое объяснение