余弦定理で

16+12−16√3*√3/2=4

とあるのですがどうやって4に導くか分かりません。
簡単に説明してほしいです。