وسميت الفريضة عائلة من الزيادة إذا اجتمعت فيها فروض لا تفي بها جملة المال، ولم يكن إسقاط بعضها من غير حاجب، ولا تخصيص بع ... ذوي الفروض بالتنقيص دون بعض، فزيد في الفريضة سهام حتى يتوزع النقص على الجميع إلحاقًا لأصحاب الفروض بأصحاب الديون، فسمي ذلك عولاً.
أما تصحيح حساب المسائل ومبلغ السهام التي عليها تنقسم التركة، فيستدعي الخوض فيها تقديم قول في نسبة بعض الأعداد إلى بعض. وذلك أن كل عددين فإما يكونان متماثلين أو غير متماثلين، وكل عددين غير متماثلين فإذا نقص أقلهما من أكثرهما فإما أن يفنيه أو لا يفنيه، فإن أفناه سمي الأقل داخلاً في الأكثر، وقيل لهما: متداخلان. ولا يزيد الداخل على نصف الأكثر. وإن لم يفنه، بل بقي من الأكثر عدد أقل من الأقل، أسقطنا البقية من الاقل، فإن أفتنه وإلا اسقطنا منها ما بي منه أقل منها. ولا نزال نفعل هكذا نسقط الأقل من الأكثر حتى يفني أحدهما الآخر، بأكثر من الواحد، فنسميهما حينئذ متوافقين، ويكون الوفق بينهما الجزء السمي بعدة العدد الذي حصل به الإفناء، مفتوحًا كان أو أصم، كصنف إن كان اثنين، وثلث إن كان ثلاثة، وربع إن كان أربعة، وعلى هذا النحو. أو يجزء من أحد عشر إن وقع الغفناء بأحد عشر، أو بجزء من ثلاثة عشر إن وقع الإفناء بثلاثة عشر، وإن تمادينا على إسقاط الأقل من الأكثر من العددين حتى انتهينا إلى أن يفضل الواحد من العددين وقبل فناء أحدهما سميناهما متباينين.
وعبارة الحساب في ذلك: أن كل عددين يعدهما عدد ثالث فهما متوافقان، وكل عددين لا يعدهما إلا الواحد فهما متباينان. والمعنى في العبارتين، واحد ولاثانية أوجز، والأولى أقرب لاستخراج جزء الموفقة. وقد دخل في حد الموافقة المداخلة والمماثلة، وهو كذلك، وإنما أسقطا، أعني المثل، والذي يدخل فيه عدد لا يزيد على نصفه، لأن المقصود بطلب الوفق لا يحصل فيهما، فوقد دخل في حد الموافقة المداخلة والمماثلة، وهو كذلك، وإنما أسقطا، أعني المثل، والذي يدخل فيه عدد لا يزيد على نصفه، لأن المقصود بطلب الوفق لا يحصل فيهما، فإنا إذا ضربنا وفق أحد المتداخلين في كل الآخر لم يزد الخارج على الاكثر، لأن الموافقة بينهما بجزء منة جملةآحاد الأقل، وكذلك إذا ضربنا وفق أحد المثلين الآخر لم يزد عليه، لأن الموافقة بينهما بجزء من جملة آحاد أحدهما.
إذا تقرر هذا عدنا إلى المقصود، وقد قدمنا أن المسألة تصح من السهام إذا انفردت العصبات، فإ، كان معهم ذو فرض فمن المخارج المتقدمة، فإذا استخرجنا أصل مسألة من الأعداد المذكورة، وأعطينا من الأصل لكل صنف حقهم، فإن انقسمت سهام المسألة على أصناف الورثة فقد صحت من أصلها، وقد تكون عائلة وقد لا تكون، وإن وقع في قسمة السهام على مستحقها كسر فذلك لأجل عدد الأصناف؛ ثم قد يقع الكسر على صنف واحد، وقد يقع بأجزائها، والذي لا ينضبط هو عدد الأصناف؛ ثم قد يقع الكسر على صنف واحد، وقد يقع على صنفين، وعلى ثلاثة أصناف، ولا يزيد على الثلاثة على أصلنا، إذ لا يزيد عدد الورثة