I am trying to rotate point (B0) by 90 degrees ccw around (A1) and then loop it to get (B\k) and (A\k). What am I doing wrong?
\documentclass[tikz]{standalone}
\begin{document}
\begin{tikzpicture}[scale=5]
\coordinate (A0) at (0,0);
\coordinate (B0) at (0,1);
\path[draw,blue](A0)--(B0)coordinate[pos=.382](A1);
\coordinate(B1)at([rotate around={90:(A1)}]B0);
\draw[red](A1)--(B1);
\end{tikzpicture}
\end{document}
red is what I get using
([rotate around={90:(A1)}]B0)
and green is what I would like to see.


