abonnement Unibet Coolblue Bitvavo
  zaterdag 19 september 2009 @ 20:10:00 #126
75592 GlowMouse
l'état, c'est moi
pi_72914449
Je aanpak is dan ook abominabel en slecht te volgen. Je begint gewoon met 10^(k+1) + 3*4^(k+3) + 5, en schrijft dan net zo lang = ... = ... tot je op = 0 uitkomt. Dan zie je tenminste wat er gebeurt. Nu is het bij jou elk regeltje maar weer raden wat je aan het doen bent.

10^(k+1) + 3*4^(k+3) + 5
= 10^k + 4 * 3*4^(k+2) + 5 (mod 9)
= 10^k + 3*4^(k+2) + 5 + [vul zelf maar in, wat ben ik vergeten]
= [gewoon overnemen] (mod 9)
= ...

[ Bericht 0% gewijzigd door GlowMouse op 19-09-2009 20:23:15 ]
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zaterdag 19 september 2009 @ 20:21:00 #127
105018 Borizzz
Thich Nhat Hanh
pi_72914865
je moet toch van k naar k+1 redeneren?
en je haalt een factor 4 eruit, daar deel je door...? en 10^n blijft staan? dat kan toch niet?
kloep kloep
  zaterdag 19 september 2009 @ 20:22:32 #128
105018 Borizzz
Thich Nhat Hanh
pi_72914931
-edit-
kloep kloep
  zaterdag 19 september 2009 @ 20:22:36 #129
75592 GlowMouse
l'état, c'est moi
pi_72914934
quote:
Op zaterdag 19 september 2009 20:21 schreef Borizzz het volgende:
je moet toch van k naar k+1 redeneren?
Dat doe ik op regel 4, daar gebruik ik dat de uitspraak waar is voor n=k.

En ik deel nergens door, ik trek er wat af dat ik er later weer bijtel.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zaterdag 19 september 2009 @ 20:26:57 #130
105018 Borizzz
Thich Nhat Hanh
pi_72915083
Ik volg het nog niet, maar even opnieuw beginnen

10^k + 3*4^(k+2) +5 = 0 (mod 9)
10^k = 1 (mod 9)
1 + 3*4^(k+2) +5 = 0 (mod 9)
3* 4^(k+2) +6 = 0 (mod 9)
3* 4^(k+2) = 3 (mod 9)
nu van k+2 naar k+3, dus voor de inductie 1 stap verder, dus beide zijdne maal 4 doen...
3* 4^(k+3) = 12 (mod 9)
nu delen door 3
4^(k+3) = 4 (mod 9)
maar =0 zie ik nog nergens ...?
kloep kloep
  zaterdag 19 september 2009 @ 20:42:25 #131
105018 Borizzz
Thich Nhat Hanh
pi_72915568
quote:
Op zaterdag 19 september 2009 20:10 schreef GlowMouse het volgende:
= 10^k + 4 * 3*4^(k+2) + 5 (mod 9)
= 10^k + 3*4^(k+2) + 5 + [vul zelf maar in, wat ben ik vergeten]
hier haal je een factor 4 ineens weg.
Maar dan 10^k/4 en 5/4?
kloep kloep
  zaterdag 19 september 2009 @ 20:43:57 #132
75592 GlowMouse
l'état, c'est moi
pi_72915605
Ik deel helemaal niks door 4, want dan zou ik alles voor het =-teken ook door 4 moeten delen.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zaterdag 19 september 2009 @ 20:48:35 #133
105018 Borizzz
Thich Nhat Hanh
pi_72915711
Zucht... ik snap m niet, terwijl ik dit toch al vaker gedaan heb.
Volgens mij start ik hier:
10k +3*4k+2 +5 = 0 (mod 9)
en met inductie moet dit ook gaan gelden voor k+1 dus
10 k+1 +3*4 k+3 +5 = 0 (mod 9) en dit moet ik bewijzen.

10k +3*4k+2 +5 = 0 (mod 9)
10k = 1 (mod 9)
dus
1 +3*4k+2 +5 = 0 (mod 9)
3*4k+2 +6 = 0 (mod 9)
3*4k+2 = 3 (mod 9)

tot zover moet t kloppen toch?
kloep kloep
  zaterdag 19 september 2009 @ 20:49:22 #134
75592 GlowMouse
l'état, c'est moi
pi_72915728
quote:
Op zaterdag 19 september 2009 20:10 schreef GlowMouse het volgende:
Je aanpak is dan ook abominabel en slecht te volgen. Je begint gewoon met 10^(k+1) + 3*4^(k+3) + 5, en schrijft dan net zo lang = ... = ... tot je op = 0 uitkomt. Dan zie je tenminste wat er gebeurt. Nu is het bij jou elk regeltje maar weer raden wat je aan het doen bent.

10^(k+1) + 3*4^(k+3) + 5
= 10^k + 4 * 3*4^(k+2) + 5 (mod 9)
= 10^k + 3*4^(k+2) + 5 + [vul zelf maar in, wat ben ik vergeten]
= [gewoon overnemen] (mod 9)
= ...
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zaterdag 19 september 2009 @ 20:50:37 #135
105018 Borizzz
Thich Nhat Hanh
pi_72915772
quote:
Op zaterdag 19 september 2009 20:49 schreef GlowMouse het volgende:

[..]


Daar kan ik helemaal niets mee, terwijl mijn methode iets is, wat ik een jaar of wat geleerd had op de opleiding...
Volgens mij moet je er op 'mijn manier' ook kunnen komen.
kloep kloep
  zaterdag 19 september 2009 @ 20:52:31 #136
75592 GlowMouse
l'état, c'est moi
pi_72915828
Slaap er anders een nachtje over, ik kan me niet voorstellen dat ze iemand tot chaoot opleiden.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zaterdag 19 september 2009 @ 20:56:59 #137
105018 Borizzz
Thich Nhat Hanh
pi_72915926
Naja laat maar dan.
Maar toch, ik heb m oude aantekeningen erbij gepakt, en daar staat in dat ik van k naar k+1 moet redeneren.
...
ik kan niet veel fouts vinden in mijn post van hierboven.
3*4k+2 = 3 (mod 9) klopt gewoon, dus dan moet je toch wel verder kunnen komen.
kloep kloep
  zaterdag 19 september 2009 @ 20:58:18 #138
75592 GlowMouse
l'état, c'est moi
pi_72915964
Nee, je moet aannemen dat het waar is van k, en dan bewijzen dat het ook geldt voor k+1. Jij pakt de bewering voor k en schrijft het om tot iets onbruikbaars.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zaterdag 19 september 2009 @ 21:00:49 #139
147503 Iblis
aequat omnis cinis
pi_72916029
Kijk eens naar machten van 4 modulo 9, dus 4 (mod 9), 42 (mod 9), 43 (mod 9), 44 (mod 9). Er staat echter 3·4k+2, dus kijk ook eens naar 3·4, 3·42, enz (alles modulo 9).

Het patroon moet duidelijk zijn lijkt me, en dan moet je dat ook wel in een (inductie)bewijs kunnen omzetten.

[ Bericht 3% gewijzigd door Iblis op 19-09-2009 21:01:45 (ik ben niet aan het programmeren natuurlijk) ]
Daher iſt die Aufgabe nicht ſowohl, zu ſehn was noch Keiner geſehn hat, als, bei Dem, was Jeder ſieht, zu denken was noch Keiner gedacht hat.
  zaterdag 19 september 2009 @ 21:02:33 #140
105018 Borizzz
Thich Nhat Hanh
pi_72916077
Nou als ik aanneem dat het geldt voor k dan is het dus
10k +3*4k+2 +5 = 0 (mod 9)
nu laten zien dat dit ook waar is voor k+1.
10k + 3*4*4k+1 +5 =0 (mod 9)
10k +3*4k+1 +5 +3*4k+1 = 0 (mod 9)
zoiets had je volgens mij.
kloep kloep
  zaterdag 19 september 2009 @ 21:08:44 #141
105018 Borizzz
Thich Nhat Hanh
pi_72916242
machten van 4 modulo 9...
4 - 13 - 22 - 31
16 -23 -32 - 41
64-73-82-91
oke, een patroon maar helpt dit mij verder?
kloep kloep
  zaterdag 19 september 2009 @ 21:15:41 #142
105018 Borizzz
Thich Nhat Hanh
pi_72916462
Ik slaap hier nog wel even een nachtje over.
Ik heb het echt heel mooi gekund vroeger, maar nu bij deze wil het gewoon niet, terwijl het idee van inductiebewijzen mij echt wel duidelijk is.

Iets anders dan
ggd(a,b)=x en ggd(a-b,b)=y.

a) x| (a-b)
hier heb ik dit:
x|a dus a=kx en x|b dus b=lx
a-b = kx-lx
a-b = (k-l)x
dus x|(a-b).
Op zich ok, had ik een paar dagen geleden nog niet gekund. Dus: ben wel stukje verder.

b) bewijs x|y.
er geldt a-b=(k-l)x
ook geldt y|(a-b)
dus y|(k-l)x
.. en dan heb ik eigenlijk bewezen dat y een veelvoud van x deelt, maar nog niet x zelf.

c) bew ggd(a-b,b)=ggd(a,b)
dit zie ik dan nog niet helemaal
stel ggd(a,b)=d
dan d|a en d|b.
stel ook c|a en c|b, dan geldt d>c.
...
kloep kloep
  zaterdag 19 september 2009 @ 21:16:12 #143
147503 Iblis
aequat omnis cinis
pi_72916479
quote:
Op zaterdag 19 september 2009 21:08 schreef Borizzz het volgende:
machten van 4 modulo 9...
4 - 13 - 22 - 31
16 -23 -32 - 41
64-73-82-91
oke, een patroon maar helpt dit mij verder?
Hoe je erop komt… en welk patroon je denkt te zien… neem nu eens de rest na deling door 9, dat is immers wat je met 10k ook doet, en dat geeft doorgaans het best beeld. Ja, 43 (mod 9) ≡ 91, maar dat helpt toch niemand verder?

41 (mod 9) ≡ 4
42 (mod 9) ≡ 7
43 (mod 9) ≡ 1
44 (mod 9) ≡ 4

Enz. Nu nog eens keer 3, en het wordt echt interessant modulo 9. Volgens mij kun je dan wel wat voor 3·4k + 2 (mod 9) stellen. In het algemeen dus. Dan weet je dus wat 10k (mod 9) is, wat 3·4k + 2 (mod 9) is, en dan zou het toch echt moeten lukken.
Daher iſt die Aufgabe nicht ſowohl, zu ſehn was noch Keiner geſehn hat, als, bei Dem, was Jeder ſieht, zu denken was noch Keiner gedacht hat.
pi_72916565
Korter: machten van 4 zijn 1 mod 3. Vermenigvuldigd met 3 is dit 3 mod 9.
pi_72916598
c) komt op hetzelfde neer: a = (a-b) + b
  zaterdag 19 september 2009 @ 21:25:19 #146
105018 Borizzz
Thich Nhat Hanh
pi_72916760
dus 3*4k+2 is 3 mod 9?

waren a) en b) dan goed?
maar y deelt dan toch een veelvoud van x?
dan heb ik nog niet bewezen dat y|x.
kloep kloep
  zaterdag 19 september 2009 @ 21:41:37 #147
147503 Iblis
aequat omnis cinis
pi_72917246
quote:
Op zaterdag 19 september 2009 21:25 schreef Borizzz het volgende:
dus 3*4k+2 is 3 mod 9?
Ik had gehoopt dat je dat niet meer had hoeven te vragen. Maar, ja. Als je graag een inductie bewijs wilt: neem aan dat het geldt voor k, dan k + 1 = 4 * 3 (mod 9) = 12 (mod 9) = 3. En voor k = 0 geldt het natuurlijk want 48 (mod 9) = 3. Klaar. Maar het kan directer als je zoals thabit doet van de rekenregels van modulo gebruik maakt.
quote:
waren a) en b) dan goed?
maar y deelt dan toch een veelvoud van x?
dan heb ik nog niet bewezen dat y|x.
Eigenlijk zijn die 3 alle drie heel makkelijk doen met een bekende eigenschap van de ggd.
Daher iſt die Aufgabe nicht ſowohl, zu ſehn was noch Keiner geſehn hat, als, bei Dem, was Jeder ſieht, zu denken was noch Keiner gedacht hat.
  zaterdag 19 september 2009 @ 21:45:53 #148
105018 Borizzz
Thich Nhat Hanh
pi_72917368
Ik denk dat ik er beter mee kan stoppen vanavond.
Belooft niet veel goeds voor dit vak als het zolang duurt voordat ik het ook een keer doorheb.
Aan de andere kant moet ik ook niet te veel en te snel willen, ik ben pas 3 dagen echt bezig met dit vak.
kloep kloep
  zaterdag 19 september 2009 @ 21:46:50 #149
105018 Borizzz
Thich Nhat Hanh
pi_72917398
quote:
Op zaterdag 19 september 2009 21:41 schreef Iblis het volgende:

Eigenlijk zijn die 3 alle drie heel makkelijk doen met een bekende eigenschap van de ggd.
Je bedoelt lineaire combinatie?
kloep kloep
  zaterdag 19 september 2009 @ 21:55:17 #150
147503 Iblis
aequat omnis cinis
pi_72917627
quote:
Op zaterdag 19 september 2009 21:46 schreef Borizzz het volgende:

[..]

Je bedoelt lineaire combinatie?
Naja, eigenlijk denk ik dat je die niet kent, want dan zou het te makkelijk zijn, maar i.h.a. geldt ggd(a + mb, b) = ggd(a, b) met m een geheel getal. Dus x = y.
Daher iſt die Aufgabe nicht ſowohl, zu ſehn was noch Keiner geſehn hat, als, bei Dem, was Jeder ſieht, zu denken was noch Keiner gedacht hat.
abonnement Unibet Coolblue Bitvavo
Forum Opties
Forumhop:
Hop naar:
(afkorting, bv 'KLB')