5 svar
89 visningar
1PLUS2 289
Postad: 30 aug 2017 19:19

Direkta bevis

Uppgift 1,5 a)   Del 1 av Håkan Blomqvist

Ge direkta bevis för satsen:

Om ett tal är delbart med 6 så är talet även delbart med 3. 

 

Jag behöver vägledning genom denna uppgift. Jag har försökt att tänka uppgiften som en implikation där utsaga Q/ förutsättningen (tal som är delbart med 6) medför utsaga P/ påståendet (talet är delbart med 3), utan framgång.

 

Tacksam för svar

Stokastisk 3597 – Fd. Medlem
Postad: 30 aug 2017 19:25 Redigerad: 30 aug 2017 19:26

Vi säger att n är delbart med k om det existerar ett heltal m sådant att n = km.

Så utsagan "n är delbart med 6" betyder att det existerar ett heltal m0 m_0  sådant att n=6m0 n = 6m_0 .

Nu är din uppgift att visa att det då existerar ett heltal m1 m_1 sådant att n=3m1 n = 3m_1 . Ser du hur du kan välja m1 m_1 för att visa det?

1PLUS2 289
Postad: 30 aug 2017 20:11

Nej, jag har ingen aning. 

Stokastisk 3597 – Fd. Medlem
Postad: 30 aug 2017 20:16

Låt m1=2m0 m_1 = 2m_0 , är du med på att påståendet då är bevisat?

1PLUS2 289
Postad: 30 aug 2017 20:49 Redigerad: 30 aug 2017 20:52

A:   n = 6m0  -> faktoriserar -> n = 3(2m0

B:  3(2m0) = 3m1 -> förkortar -> 2m0m1

Jag är med på det men problemet är att jag inte vet hur jag ska börja samt genomföra beviset steg för steg. I de tidigare bevisen jag gjort har man behövt visa att A är ekvivalent med B och tvärtom. 

Stokastisk 3597 – Fd. Medlem
Postad: 30 aug 2017 21:22 Redigerad: 30 aug 2017 21:22

Du har påståendena

P: Det existerar ett heltal m0 m_0 sådant att n=6m0 n = 6m_0

Q: Det existerar ett heltal m1 m_1 sådant att n=3m1 n = 3m_1

Du vill bevisa att PQ P \Rightarrow Q . Antag att P är sant, låt då m1=2m0 m_1 = 2m_0 , detta innebär att

n=6m0=3(2m0)=3m1 n = 6m_0 = 3(2m_0) = 3m_1

och alltså existerar det ett heltal m1 m_1 sådant att n=3m1 n = 3m_1 , därmed så följer det att PQ P \Rightarrow Q .

Svara
Close