Is there formula to easily factorize $7+4 \sqrt{3}$ to $(2+ \sqrt{3} )^2$?

54 Views Asked by At

Is there some formula to easily guess that:

$7+4\sqrt{3}$ can be factorize to: $(2+ \sqrt{3}) ^2$?

Only looking at $7+4\sqrt{3}$, it's difficult to guess that you can factorize like that.

EDIT: Duplicate of Strategies to denest nested radicals $\sqrt{a+b\sqrt{c}}$ , thanks @Martin_R