Skillnad mellan versioner av "Jonahs lilla sats"

AlefWiki
Hoppa till navigering Hoppa till sök
m
 
m (12 versioner)
(2 mellanliggande versioner av samma användare visas inte)
Rad 1: Rad 1:
'''Jonahs lilla sats''' uppkom efter en kvick diskussion som bl.a. innehöll Halloweenebröd ((c) 2006 [[Jonah|Jonah Schreiber]]) där ett intressant aspekt kom upp. Notera, Jonahs lilla sats är ännu inte bevisad och skall därför undvikas att användas. Generellt sett säger Jonahs lilla sats att alla ekvationer eller ekvationssystem kan lösas.
+
'''Jonahs lilla [[sats]]''' uppkom efter en kvick diskussion som bl.a. innehöll Halloweenebröd ((c) [[2006]] [[Jonah|Jonah Schreiber]]) där ett intressant aspekt kom upp. Notera, Jonahs lilla sats är ännu inte bevisad och skall därför undvikas att användas. Generellt sett säger Jonahs lilla sats att alla ekvationer eller ekvationssystem kan lösas.
  
 
== Satsens definition ==
 
== Satsens definition ==

Versionen från 4 oktober 2010 kl. 23.08

Jonahs lilla sats uppkom efter en kvick diskussion som bl.a. innehöll Halloweenebröd ((c) 2006 Jonah Schreiber) där ett intressant aspekt kom upp. Notera, Jonahs lilla sats är ännu inte bevisad och skall därför undvikas att användas. Generellt sett säger Jonahs lilla sats att alla ekvationer eller ekvationssystem kan lösas.

Satsens definition

Jonahs lilla sats säger följande:

Låt x vara ett okänt tal som skall lösas ut ur en ekvation och beräknas, och y vara ett godtyckligt tal sådan att ekvationens lösning gäller, problemet blir då i följande grundform:

[math]\displaystyle x=y (1)[/math]

Jonahs lilla sats säger då att:

[math]\displaystyle \exists x : (1)[/math]

Problem som är under investigation

Dessa problem håller för närvarande av att lösas av mupparna med hjälp av Jonahs lilla sats. Hittills har Jonahs sats fungerat för alla problem utom just dessa, och mupparna vet tyvärr inte varför.

  • [math]\displaystyle \cos x = 52[/math]


  • [math]\displaystyle 3+x = 2+x[/math] (Har lösts: se nedan)


  • [math]\displaystyle 2^x = -2[/math]

Problem som nu har lösts

Ett av problemen ovan, [math]\displaystyle 3+x = 2+x[/math], har nu lösts av Jonah Schreiber själv, skaparen av Jonahs lilla sats. Lösningen följer:

[math]\displaystyle 3+x = 2+x[/math]

Kvadrera båda led.

[math]\displaystyle (3+x)^2 = (2+x)^2[/math]

[math]\displaystyle 9+6x+x^2 = 4+4x+x^2[/math]

[math]\displaystyle 9+6x = 4+4x[/math]

[math]\displaystyle 2x = -5[/math]

[math]\displaystyle x = -\frac{5}{2}[/math]

Provning av lösning ger:

[math]\displaystyle 3- \frac{5}{2} = 2- \frac{5}{2}[/math]

Vilket naturligtvis gäller. QED.

Se även

Jonahs stora sats