여기서 AB²+AC²= 뭐라뭐라 했던 게 기억이 날락말락 하는데... 검색해봐도 기억이 안나네요

이 공식 뭘까요?