Источник TeX:

AC = a\sqrt{2} = \sqrt{2}