Formaler algebraischer Beweis

Neue Frage »

Jedschiii Auf diesen Beitrag antworten »
Formaler algebraischer Beweis
Meine Frage:
Hallo ihr Lieben,

Ich stehe völlig auf dem Schlauch und hoffe ihr könnt mir helfen.
Es geht um die Eigenschaften der Teilbarkeitsrelation.

Ich habe folgende Produktregel:
Wenn a | b und a | c gilt, dann gilt auch a | k * (b+c)

Diese Aussage soll ich formal durch einen algebraischen Beweis beweisen.

Wenn ich in die Regel jetzt Zahlen einsetze, kann ich das zwar ausrechnen uns verstehe das auch, aber wie führe ich dabei jetzt einen formalen algebraischen Beweis?

Eingesetzt sieht das bei mir so aus:
Wenn a | b und a | c gilt, dann gilt auch a | k ? (b+c)
Wenn 3 | 6 und 3 | 9 gilt, dann gilt auch 3 | 12 verwirrt 6+9)
3 | 12 ? (15)
3 | 180

Aber das ist ja kein formal algebraischer Beweis 128555

Ich bitte um Hilfe
Danke schonmal und einen schönen Sonntag


Meine Ideen:
Meine Ideen habe ich oben schon angeführt 128517
Elvis Auf diesen Beitrag antworten »

a|b und a|c, dann gibt es d und e mit ad=b und ae=c, also ist k(b+c)=a(kd+ke)
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »