Прямокутний трикутник (теорія)