\tan 75^\circ = \frac1 + \frac1\sqrt31 - 1 \cdot \frac1\sqrt3 = \frac\frac\sqrt3 + 1\sqrt3\frac\sqrt3 - 1\sqrt3 = \frac\sqrt3 + 1\sqrt3 - 1. - Portal da Acústica