Я что-то не понимаю. Зачем вы про теорему не "помнит кого" сказали? Вы в подробности стали влезать. Легче было привести пример задачи, которая решается этой теоремой, чем хвалиться. Знания ребенка (не только вашего ) по планиметрии заканчиваются в 9 классе. в 10 классе уже стереометрия и зависит от учителя, будете вы решать планиметрию на все уже изученные теоремы или нет. Большего по планиметрии ваш ребенок не узнает.На общем форуме имею права писать, что считаю нужным. А Вы  мне указываете, что обсуждать. Мимо проходите