Antoni Pierzchalski (Uniwersytet Łódzki), Twierdzenie Pitagorasa i twierdzenie kosinusów dla sympleksów