Источник TeX:
AC = AB\sqrt2=a\sqrt2