HERAKLES Otomatik Avlı kalıcı sunucu. 19 Haziran'da açılıyor. Atius & Wizard güvencesiyle hemen kayıt ol, ön kayıt ödülleri aktif. HEMEN TIKLA!
Tüketerek tanıtlama veya kaba kuvvet yöntemi ya da durum çözümlemesi olarak bilinen yöntem, tanıtlanacak önermenin sonlu sayıda duruma bölünerek her durumun ayrı ayrı tanıtlandığı bir matematiksel tanıt yoludur. Tüketerek tanıtlama iki aşamada gerçekleştirilir:
Durumların sonlu sayıda olduğunu gösteren bir tanıt verilir; yani tanıtlanacak olan önermenin her gerçeklemesinin durumlardan en az birinin koşullarına uyduğunu göstermek.
Durumlardan her birini tanıtlamak.
Bunun aksine Eski Yunan bilginlerinden Eudoxus of Cnidus'un tüketme yöntemi (tanıtlama) yöntemi matematiksel limitleri geometrik ve esas olarak özenli bir şekilde hesaplama yöntemiydi.
Örnek
Her küp sayısı 9'un katı ya da 9'un katının 1 eksiği ya da 1 fazlasıdır.
Tanıt
Her küp sayısı bir tam sayısının küpüdür. Bu tam sayı ya 3'ün katıdır ya da 3'ün katının 1 eksiği ya da bir fazlasıdır. Bu nedenle aşağıdaki üç durum tüm durumları kapsar:
Durum 1: n sayısı 3'ün bir katı ise, n sayısının küpü 27 sayısının katıdır dolayısıyla kesin olarak 9'un bir katıdır.
Durum 2: n sayısı 3'ün bir katının 1 fazlası ise n sayısının küpü 9'un bir katının 1 fazlasıdır.
Durum 3: n sayısı 3'ün bir katının 1 eksiği ise, n sayısının küpü 9'un bir katının 1 eksiğidir.
[Tanıtı tamamlamak için, 2 ve 3 durumlarındaki önermeler basit cebir kullanılarak tanıtlanabilir.]
Durumların sonlu sayıda olduğunu gösteren bir tanıt verilir; yani tanıtlanacak olan önermenin her gerçeklemesinin durumlardan en az birinin koşullarına uyduğunu göstermek.
Durumlardan her birini tanıtlamak.
Bunun aksine Eski Yunan bilginlerinden Eudoxus of Cnidus'un tüketme yöntemi (tanıtlama) yöntemi matematiksel limitleri geometrik ve esas olarak özenli bir şekilde hesaplama yöntemiydi.
Örnek
Her küp sayısı 9'un katı ya da 9'un katının 1 eksiği ya da 1 fazlasıdır.
Tanıt
Her küp sayısı bir tam sayısının küpüdür. Bu tam sayı ya 3'ün katıdır ya da 3'ün katının 1 eksiği ya da bir fazlasıdır. Bu nedenle aşağıdaki üç durum tüm durumları kapsar:
Durum 1: n sayısı 3'ün bir katı ise, n sayısının küpü 27 sayısının katıdır dolayısıyla kesin olarak 9'un bir katıdır.
Durum 2: n sayısı 3'ün bir katının 1 fazlası ise n sayısının küpü 9'un bir katının 1 fazlasıdır.
Durum 3: n sayısı 3'ün bir katının 1 eksiği ise, n sayısının küpü 9'un bir katının 1 eksiğidir.
[Tanıtı tamamlamak için, 2 ve 3 durumlarındaki önermeler basit cebir kullanılarak tanıtlanabilir.]
