Vielleicht hast du schon Vektoren?
Das Skalarprodukt von AB und CF müsste 0 sein.
BX = (a | a-x)
CF = ( -x | a)
BX * CF = -ax + (a-x)*a) = -ax + a^2 - ax = a^2 - 2ax = 0
a^2 = 2ax
a = 2x
a/2 = x
Nach dieser Rechnung müsste es mit x = a/2 klappen. Also ist die Antwort ja.
Ohne Gewähr. Kontrolliere das mal genau!