2. **Koeffizientenanalyse**:
- Wenn \(a \neq 0\), dann ist \(a \cdot 3^{2/3}\) irrational.
wenn a ≠ 0, dann ist a*3^{2/3} irrational
Hallo Astrofreund,
ich kann diesen Schritt nicht nachvollziehen; ja schlimmer noch - es scheint mir, dass das
genau die Aussage ist, die wir beweisen wollen.
Ok, man kann das natürlich kann man das elementar beweisen, aber "einfach so" folgt das meines Erachtens nicht.
Beweis, dass ³√3 irrational:
sei ³√3 = p/q, beide teilerfremd
=> p³ = 3q³ => p³ durch 3 teilbar => p durch 3 teilbar
3 Fälle:
(1) p=3n => p³=27n³ = 3*(9b³) durch 3 teilbar
(2) p=3n+1 => p³=(3n+1)*(3n+1)² = (3n+1)*(9n²+ 6n+1) = (27n³+18n²+ 3n+ 9n²+ 6n+1) = (27n³+27n²+ 9n+1) = 3*(9n³+ 9n²+ n ) + 1
(3) p=3n+2 => p³=(3n+2)*(3n+2)² = (3n+2)*(9n²+12n+4) = (27n³+36n²+12n+18n²+24n+8) = (27n³+54n²+36n+8) = 3*(9n³+18n²+36n+2) + 2
=> p=3n
=> p³ = 3q³ = p³ = (3n)³ = 27n³ => 3q³ = 27n³
=> q³ = 9n³, d.h. q³ ist durch 3 teilbar, d.h. q ist durch 3 teilbar --> Widerspruch
Beweis, dass (³√3)² irrational und somit (³√3) nicht algebraisch vom Grade 2:
sei (³√3)² = p/q, beide teilerfremd
=> p³ = 9q³ => p³ durch 3 teilbar => p durch 3 teilbar - Beweis siehe oben
=> p=3n
=> p³ = 9q³ = p³ = (3n)³ = 27n³ => 9q³ = 27n³ => q³ = 3n³
=> q³ = 3n³, d.h. q³ ist durch 3 teilbar, d.h. q ist durch 3 teilbar --> Widerspruch
Dasselbe klappt übrigens für (³√3)³ nicht:
sei (³√3)³ = p/q, beide teilerfremd
=> p³ = 27q³ => p³ durch 3 teilbar => p durch 3 teilbar - Beweis siehe oben
=> p=3n
=> p³ = 27q³ = p³ = (3n)³ = 27n³ => 27q³ = 27n³ => q³ = 1n³
=> q³ ist nicht zwingend durch 3 teilbar, d.h. Widerspruch nicht konstruierbar
Freundliche Grüsse, Ralf