1127 1128 Påstående betecknas med P Motsatsen till påsteåendet betecknas ¬P = icke P = inte P = ej P Dela upp påståendet “Om π2 är ett jämnt tal, så är också π ett jämt tal” i två påståenden P βΆ π2 är ett jämnt tal Q βΆ π är ett jämt tal Vårt ursprungliga påstående kan nu skrivas P→Q a) P βΆ π är ett udda tal ¬P βΆ π är ett jämnt tal Kommentar: π kan enbart vara udda eller jämnt, inga andra alternativ finns. b) P βΆ π + 2π ≠ 15 ¬P βΆ π + 2π = 15 Kommentar: VL kan enbart vara 15 eller "inte 15" inga andra alternativ finns. c) P βΆ π’ + π£ > 90° ¬P βΆ π’ + π£ ≤ 90° Kommentar: Summan av två vinklar kan enbart vara "större än 90°" eller "minder än eller lika med 90° " inga andra alternativ finns. d) P βΆ Minst ett av talen π och π är udda = ett eller två av talen π och π är udda ¬P βΆ Inget av talen π och π är udda = både π och π är jämna π π Jämnt Jämnt Jämnt Udda Minst ett udda Udda Jämnt Minst ett udda Udda Udda Minst ett udda a) Q βΆ “π är ett jämnt tal” ¬Q βΆ “π är ett udda tal” b) P βΆ “π2 är ett jämnt tal” ¬P βΆ “π2 är ett udda tal” c) Enligt teorin om indirekta bevis kan vi påstå motsatsen ππβ vända på implikationen, vilket ger “om π äπ ett udda tal → π2 är ett udda tal” ¬π → ¬π VL βΆ Om π är udda kan det skrivas som 2π + 1 HL βΆ π2 = (2π + 1)2 = 4n2 + 4n + 1 = 2(2π2 + 2π) + 1 = 2 ⋅ heltal + 1 = 2k + 1 = udda tal Saken är klar påståendet “om π äπ ett udda tal → π2 är ett udda tal” är sant och då är även påståendet “Om π2 är ett jämnt tal, så är också π ett jämt tal” sant 1129 1130 Påstående βΆ ”Om π₯ = 4, så är 3π₯ − 5 ≠ 10" a) Vad beträffar både talen a och b kan de vara mindre än noll, lika med noll eller större än noll Logisk motsats till a < 0 är a ≥ 0 och Logisk motsats till b < 0 är b ≥ 0 Logisk motsats till “antingen a < 0 eller b < 0” blir då antingen både a≥0 och b≥0 (gör produkten a⋅b positiv eller noll) eller både a < 0 och b < 0" (gör produkten a⋅b positiv) a) Bevisa påståendet. Sätt in x = 4 i 3π₯ − 5 ≠ 10 ger VL: 3 β 4 − 5 = 7 HL: 10 Påståendet är sant då VL ≠ HL b) Antag motsatsen ”Om π₯ = 4, så är 3π₯ − 5 = 10” Sätt in π₯ = 4 i ekvationen VL = 3 β 4 − 5 = 7 HL = 10 VL = HL ger 7 = 10 som ger en motsägelse, inte sant. sålunda gäller att om x = 4, så är 3π₯ − 5 ≠ 10 b) Enligt teorin om indirekta bevis kan vi påstå motsatsen ππβ vända på implikationen, vilket ger antingen både a ≥ 0 och b ≥ 0 eller både a < 0 och b < 0 → a β b ≥ 0 Kan delas upp i två fall Fall 1 både a ≥ 0 och b ≥ 0 → a β b ≥ 0 Fall 2 både a < 0 och b < 0 → a β b > 0 Vi vet att om ett tal är större än noll så är det positivt och mindre än noll negativit. Teckenreglerna säger att: Produkten av två positiva tal är alltid positiv. Produkten av två negativa tal är alltid positiv. Produkten av ett negativt och ett positivt tal är negativ. Så för att produkten ska bli negativ krävs att ett av talen är negativt dvs < 0 Produkten av två tal som är större eller lika med noll är naturligtvis själv större eller lika med noll. Produkten av två tal som båda är mindre än noll är större än noll. Alltså gäller att ”om a β b < 0, så är antingen a < 0 eller b < 0” v. s. b. 1131 Antag att minst ett av talen a och b är jämnt. Om a är ett jämnt tal så gäller att a = 2n där n är ett positivt heltal. Då är a β b = 2n β b Eftersom produkten är delbar med 2 så är ab ett jämnt tal oavsett om b är ett udda eller jämnt tal. Motsvarande gäller om b är ett jämnt tal. Därmed gäller att om produkten av två tal a och b är udda så är båda talen a och b udda. Enligt teorin om indirekta bevis kan vi påstå motsatsen ππβ vända på implikationen, vilket ger att påståendet ”om produkten av a och b är udda → både a och b udda” kan logiskt ersättas av påståendet ”om minst ett av talen a och b är jämnt → produkten av a och b jämn” Kommentar: Alla jämna tal innehåller faktorn 2, om det jämna talet mulipliceras med ett heltal så finns faktorn 2 fortfarande kvar. Sålunda om minst ett jämnt tal ingår i en produkt av heltal så blir produkten alltid jämn. 1132 Dela upp påståendet "om produkten av två tal a⋅b är jämn" ger P βΆ "a ⋅ b är jämnt" "så är minst ett av talen jämnt" ger Q βΆ "minst ett av talen a eller b är jämnt " Vi ska visa att P → Q Enligt teorin om indirekta bevis kan vi påstå motsatsen ππβ vända på implikationen. ¬Q → ¬P ¬P βΆ "a ⋅ b är udda" ¬Q βΆ "både a och b är udda" Vi visar nu istället att ¬Q → ¬P Om både a och b är udda kan vi sätta a = 2m + 1 och b = 2n + 1 vilket ger a ⋅ b = (2m + 1) ⋅ (2n + 1) = 4mn + 2m + 2n + 1 = 2 ⋅ (2mn + m + n) + 1 = 2 ⋅ heltal + 1 = 2k + 1 , vilket är ett udda tal Sålunda är ¬Q → ¬P sant och då är även P → Q sant v. s. v 1133 1134 Dela upp påståendet ”om n3 + 5 är ett udda tal så är n ett jämnt tal” P βΆ ” det finns πππ‘π ett reellt tal r som är större än alla andra tal” P βΆ "n3 + 5 är ett udda tal" Q βΆ "n ett jämnt tal" ¬P βΆ ” det finns ett reellt tal r som är större än alla andra tal” Vi ska visa att P → Q Enligt teorin om indirekta bevis kan vi påstå motsatsen ππβ vända på implikationen. ¬Q → ¬P ¬P βΆ "n3 + 5 är ett jämnt tal" ¬Q βΆ "n ett udda tal" Sätt n = 2k + 1 ger n3 + 5 = (2k + 1)3 + 5 = *se eventuellt formelblad Ma 4 8k 3 + 3 ⋅ 4k 2 ⋅ 1 + 3 ⋅ 2k ⋅ 12 + 13 + 5 = 8k 3 + 12k 2 + 6k + 6 = 2 ⋅ (4k 3 + 6k 2 + 3k + 3) = 2 ⋅ heltal = 2m , vilket är ett jämnt tal Vi har visat att ¬Q → ¬P är sant och då är även P → Q sant v. s. v * Formelblad Ma4 s.1 Bevisa att ¬P är sant för talet r r > 0 eftersom positiva tal större än negativa. r > x , ∀x ∈ R (r större än alla reella tal x) antag nu till exempel att talet k = r + 1 då r + 1 > r blir k > r och vi har funnit ett tal som är större än r och sålunda är ¬P falskt och då måste P vara sant. 1135 Visa att P βΆ ”√3 är ett ππrationellt tal” Använd motsägelsebevis och visa att ¬P βΆ ”√3 är ett rationellt tal" Om √3 är rationellt så innebär det att a √3 = , där a och b är heltal och b ≠ 0 b a samt att bråket är förkortat så långt som möjligt b a2 3= 2 b 3b2 = a2 a Eftersom vi förkortat bråket så långt som möjligt b så måste talen a och b vara udda (eftersom jämna tal alltid kan förkortas) Om a och b är udda så är även a2 och b2 udda. (om ett tal är udda så är även talets kvadrat udda enligt räknelagar för udda och jämna tal) a = 2m + 1 b = 2n + 1 gör att 3b2 = a2 kan skrivas som 3(2n + 1)2 = (2m + 1)2 3(4n2 + 4n + 1) = 4m2 + 4m + 1 12n2 + 12n + 3 = 4m2 + 4m + 1 12n2 + 12n + 2 = 4m2 + 4m 2(6n2 + 6n + 1) = 2(2m2 + 2m) 6n2 + 6n + 1 = 2m2 + 2m 2(3n2 + 3n) + 1 = 2(m2 + m) 2 ⋅ heltal + 1 = 2 ⋅ heltal 2p + 1 = 2q udda tal = jämnt tal → π¦π¨ππ¬äπ ππ₯π¬π sålunda saknar ekvationen a √3 = , där a och b är heltal och b ≠ 0 b a samt att bråket är förkortat så långt som möjligt b lösningar och därmed kan inte √3 vara ett rationellt tal. √3 är ett irrationellt tal v. s. b.