Coq 三角形矢量圖