مبادئ في المنطق (4)
تمرين 18 tp
                    1) بين بالترجع الخاصية التالية 
                    ∀n∈IN
                
| 1³ + 2³ + 3³ +..+n³= | n²(n+1)² | 
| 4 | 
                    2)  بين بالترجع الخاصية التالية 
                    ∀n∈IN*
                    3|4n-1
                
تمرين 19 tp
                    بين بالترجع ان
                    ∀n∈IN*: 7|32n-2n
                
تصحيح
                    نبين ان
                    ∀n∈IN*: 7|32n-2n
                    من اجل n=1 لدينا
                    32-21=9-2=7 
                    و 7 يقسم 7 اذن الخاصية صحيحة من اجل n=1 
                    نفترض ان الخاصية صحيحة من اجل n ونبين انها صحيحة من اجل n+1
                
                    لدينا حسب الافتراض 
                    7|32n-2n
                    ونعلم ان 
                    7|32n-2n ⇔ ∃k∈IN / 32n-2n=7k
                    نبين اذن ان 
                     7|32(n+1)-2n+1
                    لدينا
                    32(n+1)-2n+1=32n+2-2n+1
                    =9.32n-2.2n
                    =(7+2).32n-2.2n
                    =7.32n+2.32n-2.2n
                
                    
                    =7.32n+2(32n-.2n)
                    =7.32n+2(7k)
                    =7.(32n+2k)
                    =7k', k'=32n+2k∈IN
                    وهذا يعني ان
                    7|32(n+1)-2n+1
                    اذن الخاصية صحيحة من اجل n+1
                    وبالتالي نستنتج ان 
                    ∀n∈IN*: 7| 32n-2n
                
تمرين 20 tp
                    بين بالترجع ان
                    ∀n∈IN: 5| 33n+2-2n+2
                
تصحيح
                    نبين ان
                    ∀n∈IN: 5| 33n+2-2n+2
                    من اجل n=0 لدينا
                    32-22=9-4=5 
                    و 5 يقسم 5 اذن الخاصية صحيحة من اجل n=0 
                    نفترض ان الخاصية صحيحة من اجل n ونبين انها صحيحة من اجل n+1
                
                    لدينا حسب الافتراض 
                    5|33n+2-2n+2
                    ونعلم ان 
                    5| 33n+2-2n+2 ⇔ ∃k∈IN / 33n+2-2n+2=5k
                    نبين اذن ان 
                     5|33(n+1)+2-2(n+1)+2
                    لدينا
                    33(n+1)+2-2(n+1)+2=3(3n+2)+3-2(n+2)+1
                    =27.33n+2-2.2n+2
                    =(25+2).33n+2-2.2n+2
                
                    
                    =25.33n+2+2.33n+2-2.2n+2
                    =25.33n+2+2(33n+2-.2n+2)
                    =25.33n+2+2(5k)
                    =5.(5.33n+2+2k)
                    =5k', k'=33n+2+2k∈IN
                    وهذا يعني ان
                    5| 33(n+1)+2-2(n+1)+2
                    اذن الخاصية صحيحة من اجل n+1
                    وبالتالي نستنتج ان 
                    ∀n∈IN: 5| 33n+2-2n+2
                
تمرين 21 tp
                    ليكن (x ; y)∈IR+²
                    بين ان
                    √(2x+1) + √(2y-3)=x+y ⇔ (x=0) ∧ (y=2)
                
تصحيح
                    
                    √(2x+1) + √(2y-3)=x+y 
                    ⇔ 
                    2√(2x+1) + 2√(2y-3)=2x+2y 
                    ⇔ 2√(2x+1)+ 2√(2y-3)=2x+1+2y-3 + 2 
                    ⇔ (2x+1)-2√(2x+1) 
                    + (2y-3)-2√(2y-3) +2 = 0
                
                    
                    ⇔ [√(2x+1)]²-2√(2x+1)+1 
                    + [√(2y-3)]²-2√(2y-3)+1 = 0 
                    ⇔ (√(2x+1)-1)² + (√(2y-3)-1)²=0 
                    ⇔ (√(2x+1)-1)=0 ∧ (√(2y-3)-1)=0 
                    
                    ⇔ √(2x+1)=1 ∧ √(2y-3)=1 
                    ⇔ 2x+1=1 ∧ 2y-3=1 
                    ⇔ 2x=0 ∧ 2y=4 
 
                    ⇔ x=0 ∧ y=2