Hallo,
indefinit bedeutet doch, dass es einen Vektor v gibt mit s(v,v)<0 und einen Vektor w mit s(w,w)>0. Betrachte nunt
$$f(t):=s \left(tv+(1-t)w,tv+(1-t)w\right), \quad t \in [0,1]$$
- Durch "Ausmultiiplizieren" der Bilinearform kannst Du Dich überzeugen, dass f stetig ist.
- Der Zwischenwertsatz liefert die Behauptung.
Gruß Mathhilf