\left[{(2+\sqrt{3})^n\over 2}\right]+1=\frac{(2+\sqrt{3})^n+(2-\sqrt{3})^n}{2}