Li-Fan Chen says to YSITD
列式就用餘弦列