Formula for the area of a 306090 triangle

For the formula
\( (\frac{s}{2})^2 \times \sqrt{3}\),
Is there a name? And is there a way to prove it?

@RZ923 Thanks for asking! I haven't gotten a chance to reply to this yet, but in the meantime, there are some more forum posts about this same topic ~~ Please check them out!