Aufgabe:
Beweise die folgende Formel: ∀x,y,z: (x ⋅ z = y ⋅ z) ∧ (z > 0) ⇒ (x = y)
Problem/Ansatz:
Ich habe es zuerst mit einem Beweis via Widerspruch beweisen versucht, allerdings war das nicht gefragt..
Da nicht angegeben ist, welcher Menge x,y,zx,y,zx,y,z entstammen,
hier eine Variante, in der x,y,zx,y,zx,y,z einem angeordnetem Integritätsbereich entstammen:
xz=yz⇒0=xz−yz=(x−y)zxz=yz\Rightarrow 0=xz-yz=(x-y)zxz=yz⇒0=xz−yz=(x−y)z
Satz vom Nullprodukt (Integritätsbereich) liefert wegen z≠0z\neq 0z=0:
x−y=0x-y=0x−y=0, also x=yx=yx=y.
Dividiere auf beiden Seiten der Gleichung x ⋅ z = y ⋅ z durch z.
Es das nicht sehr banal?
Wenn der eine Faktor jeweils derselbe ist bei 2 Produkten, muss dasselbe auch für die zweiten Faktoren gelten, damit die Gleichung stimmt.
Was soll man das großartig beweisen, wenn es evident ist?
Nur aus Formalisierungsgründen?
Habe nochmals nachgefragt, geht eher um die Beweis-Regeln, dass diese angewendet werden (Beispielsweise in Subbeweise zu unterteilen)
Was bedeutet Dividiere ?
@roland müsste ich dann nicht auf der anderen Seite der Implikation auch durch z dividieren?
Wenn Du die Lösung von Ermanus liest, siehst Du, dass der Schluss Voraussetzungen über die Objekte braucht. Beim Matrizenprodukt, wäre er z.B. im Allgemeinen falsch.
Was ist (z > 0) denn Beim Matrizenprodukt ?
Ja, meine Bemerkung betrifft nur das Grundproblem der Nullteiler-Frage und passt nicht zur Aufgabenstellung
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos