Раздел § 15. Прямокутний трикутник