餘弦定理修正項及風車證明