洞渊九容

算学术语。李冶《测圆海镜序》中提到“老大以来，得洞渊九容之说”。后人或谓“洞渊”是北宋数学家，或谓《洞渊九容》是一部书。但最根本的是*九容，即从《测圆海镜》“圆城图式”中得到的九个求勾股形内接圆直径的公式：(1)勾上容圆;(2)股上容圆;(3)勾股上容圆;(4)弦上容圆;(5)勾外容圆;(6)股外容圆;(7)弦外容圆;(8)勾外容圆半;(9)股外容圆半。