Прямокутний трикутник. Теорія