理就已经应用于治水工程中，还延伸至国家建章立制的政治高度—“故禹之所以治天下者，此数之所生也。”《周髀算经》中记载，周公后人陈子叙述的勾股定理公式为“若求邪至日者，以日下为勾，日高为股，勾股各自乘，并而开方除之，得邪至日”，即formula_1《史记·夏本纪》记载大禹治水：“陆行乘车，水行乘船，泥行乘橇，山行乘檋。左准绳，右规矩，载四时，以开九州，通九道，陂九泽，度九山。”其中的规和矩就是运用勾股定理的实用工具之一。刘徽在《九章算术注》序言中，言及周代运用勾股定理立杆测影：“以南戴日下及日去地为