Умножить, конечно, нужно :) Как в детской присказке о правописании слов "чулки" и "носки" в родительном падеже: "Чем длиннее, тем короче", т.е.  "без чулок", и "без носков" Применительно к этому случае - "чем больше напряжение, тем меньше ток". Ваш вопрос справедлив по отношению к току в обмотках. посмотрите РУ, там они оперируют числами витков обмоток. В данном случае это ток в фазах цепи, в шинах. Да, на стороне НН это фактически разность токов в обмотках, IA = Ia - Ib.
   Если считать питающую сеть сетью бесконечной мощности, то ток трёхфазного КЗ за ним можно подсчитать практически в уме. Смотрите, Uк = 7,5 % . Это значит, что при подаче на тр-р напряжения в 0,075 от номинального ток в выводах закороченной стороны равен номинальному. Значит, умножаете (в уме :) ) (4000 / 6,3 х 1,73) на 1 / 0,075 - получится ток трёхфазного КЗ на выводах НН. Особенно просто это работает с трансформатора 10/0,4 и 6/0,4, о которых типовой  Uк около 5. Значит, ток трёхфазного КЗ за ним примерно в 20 раз больше номинального тока.
  Собственно, корень из трёх появляется в основном тогда, когда от линейного (междуфазного) напряжения нужно перейти к фазной величине, т.к. ряд номинальных напряжеий - это величины междуфазные, а ток величина фазная, Iф = Uф / Z, ну и т.д. Да, к слову, мощность по умолчанию - это трёхфазная мощность.