the shorter of the two sides containing the right angle in a right-angled triangle (in ancient Chinese mathematics)

(literary) The longer side of a right-angled triangle, specifically in the context of the 勾股定理 gōu​gǔ​dìng​lǐ

(mathematics or logic) a statement or formula that has been proven to be true based on established principles