معادلة نظرية فيثاغورس