Источник TeX:

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