Источник TeX:

x=r\sqrt{2}-r