Эта теорема ещё вполне себе применима в быту, например при определении кратчайшего маршрута (по гипотенузе всегда быстрее). А вот условные теоремы из матанализа и вузовского вышмата до сих пор хз где применить в повседневке.