正射影公式是射影定理的一種表現形式，其內容是：在三角形中，如果角A=90度，AD是高，那麼AB²=AD·AC，BC²=CD·CA。兩式相加得：AB²+BC²=AD·AC+CD·AC=(AD+CD)·AC=AC²，這就是勾股定理。
正射影公式的證明可以通過以下步驟進行：
設點A在直線BC上的射影為點D，那麼AB、AC在直線BC上的射影分別為BD、CD，且BD=c·cosB，CD=b·cosC，所以a=BD+CD=b·cosC+c·cosB。同理可證其餘。
由正弦定理，可得：b=asinB/sinA，c=asinC/sinA=a(sinAcosB+cosAsinB)/sinA=acosB+(asinB/sinA)cosA=a·cosB+b·cosA。同理可證其餘。