Seien z1,...,z4 ∈ ℂ und a1,...,a4, b1,...b4 ∈ ℝ.
z' bezeichne jeweils die zu z komplex konjugierten Zahlen.
Beweisen Sie dass die Determinante rein imaginär ist
(z1z′1a1b1z2z′2a2b2z3z′3a3b3z4z′4a4b4) \begin{pmatrix} z1 & z'1 & a1 & b1\\ z2 & z'2 & a2 & b2\\ z3& z'3 & a3 & b3\\ z4 & z'4 & a4 & b4 \end{pmatrix} ⎝⎜⎜⎜⎛z1z2z3z4z′1z′2z′3z′4a1a2a3a4b1b2b3b4⎠⎟⎟⎟⎞
Rein imaginär müsste ja heissen dass der Realteil der Determinante =0 ist, aber wie beweise ich das hier ?
Aloha :)
Die Behauptung aus der Aufgabenstellung ist falsch. Die Determinante ist rein imaginär oder Null. Die Null erhält man z.B. wenn man die aka_kak gleich den Realteilen der zkz_kzk setzt.
Wir schreiben die komplexen Werte zk=xk+iykz_k=x_k+iy_kzk=xk+iyk als Real- und Imaginärteil mit xk,yk∈Rx_k,y_k\in\mathbb Rxk,yk∈R in die Determinante:
∣z1z1′a1b1z2z2′a2b2z3z3′a3b3z4z4′a4b4∣=∣x1+iy1x1−iy1a1b1x2+iy2x2−iy2a2b2x3+iy3x3−iy3a3b3x4+iy4x4−iy4a4b4∣\left|\begin{array}{cccc}z_1 & z'_1 & a_1 & b_1\\z_2 & z'_2 & a_2 & b_2\\z_3 & z'_3 & a_3 & b_3\\z_4 & z'_4 & a_4 & b_4\end{array}\right|=\left|\begin{array}{cccc}x_1+iy_1 & x_1-iy_1 & a_1 & b_1\\x_2+iy_2 & x_2-iy_2 & a_2 & b_2\\x_3+iy_3 & x_3-iy_3 & a_3 & b_3\\x_4+iy_4 & x_4-iy_4 & a_4 & b_4\end{array}\right|∣∣∣∣∣∣∣∣∣z1z2z3z4z1′z2′z3′z4′a1a2a3a4b1b2b3b4∣∣∣∣∣∣∣∣∣=∣∣∣∣∣∣∣∣∣x1+iy1x2+iy2x3+iy3x4+iy4x1−iy1x2−iy2x3−iy3x4−iy4a1a2a3a4b1b2b3b4∣∣∣∣∣∣∣∣∣
In einer Dederminante können wir das Vielfache einer Reihe von einer anderen Reihe subtrahieren oder zu einer Reihe addieren, ohne dass sich der Wert der Determinante ändert. Wir subtrahieren die zweite Spalte von der ersten Spalte:=∣i2y1x1−iy1a1b1i2y2x2−iy2a2b2i2y3x3−iy3a3b3i2y4x4−iy4a4b4∣=\left|\begin{array}{cccc}i2y_1 & x_1-iy_1 & a_1 & b_1\\i2y_2 & x_2-iy_2 & a_2 & b_2\\i2y_3 & x_3-iy_3 & a_3 & b_3\\i2y_4 & x_4-iy_4 & a_4 & b_4\end{array}\right|=∣∣∣∣∣∣∣∣∣i2y1i2y2i2y3i2y4x1−iy1x2−iy2x3−iy3x4−iy4a1a2a3a4b1b2b3b4∣∣∣∣∣∣∣∣∣Wie addieren die Hälfte der ersten Spalte zur zweiten Spalte:=∣i2y1x1a1b1i2y2x2a2b2i2y3x3a3b3i2y4x4a4b4∣=\left|\begin{array}{cccc}i2y_1 & x_1 & a_1 & b_1\\i2y_2 & x_2 & a_2 & b_2\\i2y_3 & x_3 & a_3 & b_3\\i2y_4 & x_4 & a_4 & b_4\end{array}\right|=∣∣∣∣∣∣∣∣∣i2y1i2y2i2y3i2y4x1x2x3x4a1a2a3a4b1b2b3b4∣∣∣∣∣∣∣∣∣
Aus einer Reihe der Determinante kann man Faktoren vor die Determinante ziehen. Aus der ersten Spalte ziehen wir den Faktor 2i2i2i vor die Determinante:=2i⋅∣y1x1a1b1y2x2a2b2y3x3a3b3y4x4a4b4∣=2i\cdot\left|\begin{array}{cccc}y_1 & x_1 & a_1 & b_1\\y_2 & x_2 & a_2 & b_2\\y_3 & x_3 & a_3 & b_3\\y_4 & x_4 & a_4 & b_4\end{array}\right|=2i⋅∣∣∣∣∣∣∣∣∣y1y2y3y4x1x2x3x4a1a2a3a4b1b2b3b4∣∣∣∣∣∣∣∣∣Da die Determinante nun nur noch reelle Zahlen enthält, wird ihr Ergebnis ebenfalls eine reelle Zahl sein. Wegen des Vorfaktors 2i2i2i, ist die Determinante dann rein imaginär (oder Null, falls die Determinante Null ergibt).
Mit zi=xi+yiiz_i = x_i + y_i\mathrm{i}zi=xi+yii ist die Determinante
−2i(a1b2x3y4−a2b1x3y4−a1b3x2y4+a3b1x2y4+a2b3x1y4−a3b2x1y4−a1b2x4y3+a2b1x4y3+a1b4x2y3−a4b1x2y3−a2b4x1y3+a4b2x1y3+a1b3x4y2−a3b1x4y2−a1b4x3y2+a4b1x3y2+a3b4x1y2−a4b3x1y2−a2b3x4y1+a3b2x4y1+a2b4x3y1−a4b2x3y1−a3b4x2y1+a4b3x2y1)-2i\left({a_1}{b_2}{x_3}{y_4}-{a_2}{b_1}{x_3}{y_4}-{a_1}{b_3}{x_2}{y_4}+{a_3}{b_1}{x_2}{y_4}+{a_2}{b_3}{x_1}{y_4}-{a_3}{b_2}{x_1}{y_4}-{a_1}{b_2}{x_4}{y_3}+{a_2}{b_1}{x_4}{y_3}+{a_1}{b_4}{x_2}{y_3}-{a_4}{b_1}{x_2}{y_3}-{a_2}{b_4}{x_1}{y_3}+{a_4}{b_2}{x_1}{y_3}+{a_1}{b_3}{x_4}{y_2}-{a_3}{b_1}{x_4}{y_2}-{a_1}{b_4}{x_3}{y_2}+{a_4}{b_1}{x_3}{y_2}+{a_3}{b_4}{x_1}{y_2}-{a_4}{b_3}{x_1}{y_2}-{a_2}{b_3}{x_4}{y_1}+{a_3}{b_2}{x_4}{y_1}+{a_2}{b_4}{x_3}{y_1}-{a_4}{b_2}{x_3}{y_1}-{a_3}{b_4}{x_2}{y_1}+{a_4}{b_3}{x_2}{y_1}\right)−2i(a1b2x3y4−a2b1x3y4−a1b3x2y4+a3b1x2y4+a2b3x1y4−a3b2x1y4−a1b2x4y3+a2b1x4y3+a1b4x2y3−a4b1x2y3−a2b4x1y3+a4b2x1y3+a1b3x4y2−a3b1x4y2−a1b4x3y2+a4b1x3y2+a3b4x1y2−a4b3x1y2−a2b3x4y1+a3b2x4y1+a2b4x3y1−a4b2x3y1−a3b4x2y1+a4b3x2y1)
laut laplaceschem Entwicklungssatz.
Mit z=x+iyz=x+iyz=x+iy (Spaltenvektoren) gilt
det(z,z‾,a,b)=det(z−z‾,z‾,a,b)=det(2iy,z‾,a,b)=\det(z,\overline{z},a,b)=\det(z-\overline{z},\overline{z},a,b)=\det(2iy,\overline{z},a,b)=det(z,z,a,b)=det(z−z,z,a,b)=det(2iy,z,a,b)=
=2idet(y,z‾,a,b)=2idet(y,z‾+iy,a,b)=2idet(y,x,a,b)=2i\det(y,\overline{z},a,b)=2i\det(y,\overline{z}+iy,a,b)=2i\det(y,x,a,b)=2idet(y,z,a,b)=2idet(y,z+iy,a,b)=2idet(y,x,a,b).
Die letztgenannte Determinante ist offenbar reell.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos