und zu c)
wähle z = a + c*x und berechne < z,z > = < a + c*x , a + c*x >
= (nach der Def von <...> ) = < a,a> + < a, c*x > + < a,c*x > + < c*x , c*x >
und mit dem gegebenen a gibt das
= 1 + c*< a, x > + c*< a,x > + c^2 *< x , x >
und weil x aus A^2 ist das
= 1 + c*0 + c*0 + c^2 *1 = 1 + c^2 q.e.d.