TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 17

Aus VoWi
Zur Navigation springen Zur Suche springen

an sei die größte Anzahl von Teilen, in die die Ebene duch n Geraden zerlegt werden kann.

Zeigen Sie durch vollständige Induktion: an=1+n(n+1)2

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:
{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}



Vollständige Induktion
Vollständige Induktion[Bearbeiten, Wikipedia]
  1. Induktionsanfang (IA)
  2. Induktionsschritt (IS): Induktionsvoraussetzung (IV) ⇒ Induktionsbehauptung (IB)

Lösungsvorschlag von samuelp

[Bearbeiten | Quelltext bearbeiten]

Induktionsanfang n=0

[Bearbeiten | Quelltext bearbeiten]

Wenn keine Gerade verwendet wird, ist die Ebene ein Teil. Auch die Formel liefert a0=1.

Induktionsschritt n→n+1

[Bearbeiten | Quelltext bearbeiten]

Induktionshypothese: mit n Geraden kann die Ebene in an=1+n(n+1)2 Teile zerschnitten werden

Induktionsbehauptung: mit n+1 Geraden kann die Ebene in an+1=1+(n+1)(n+2)2 Teile zerschnitten werden

Aufgrund der I.H. kann die Ebene in an=1+n(n+1)2 Teile zerschnitten werden. Wir legen eine neue Gerade sodass:

  • die neue Gerade ist zu keiner der n Geraden parallel
  • die neue Gerade geht durch keine der bisherigen Schnittpunkte. Dadurch entstehen n neue Schnittpunkte.

Die n neuen Schnittpunkte zerschneiden n+1 Gebiete und es entstehen dadurch n+1 neue.

an+1=I.H.an+n+1=n(n+1)2+2(n+1)2=n(n+1)+2(n+1)2=1.(n+2)(n+1)2=an+1

Dadurch ist gezeigt, dass die Formel von an+1 auch wahr ist.

Erklärungen der einzelnen Umformungen

  1. Herausheben von (n+1) aus den Termen n(n+1) und 2(n+1) zu (n+2)(n+1)