算学术语。除法运算中除的过程与结果。实，被除数;法，除数;如，相等。实中有与法相等者便商一，几次相等，便得几。抽象算法用此。如《九章算术·方田》：“合分术曰：母互乘子，并以为实，母相乘为法，实如法而一。”若为应用题算草，则常称为“实如法得一钱”(或其他名数单位)。如《九章算术·衰分》衰分术所属第二题：“术曰：置牛四、马二、羊一，各自为列衰，副并为法。以五斗乘未并者各自为实。实如法得一斗。”
西安阳县：
西汉置。治今内蒙古乌拉特前旗东南公庙沟口古城。属五原郡。后汉书·蔡邕传：邕与家属，“居五原安阳县”，即此西安阳县。东汉末废。
历史知识