نظرية فيثاغورس للساق المجاورة