Ссылаясь на то, что квадрат гипотенузы равен сумме квадратов катетов, следовательно Вектор BC, АВ катеты, а АС гипотенуза(только надо перед этим доказать, что они не равны.), и тогда все получается. Вроде так(вначале про треугольник, потом про неравенство, потом про правило и вот доказательство(60% вориант-не все помню школу 10 лет закончил.