Доказать, что если каждые два различных из

векторов евклидова пространства

образуют между собой угол

, то

.
Чем-то смахивает на соседнюю тему. Я так понимаю нам достаточно доказать, что если мы возьмём любые

векторов, между которыми угол

, то они составляют базис данного пространства, так? Если это так, то она доказывается точно так же как предыдущая, с тем лишь различием, что скалярное произведение теперь положительное. Но перед этим я думаю надо доказать, что найдётся такое количество векторов, между которыми такой угол. В принципе это очевидно, но хотелось бы более строго это доказать.