驗證推導
①CD^2=AD·BD;②AC^2=AD·AB;③BC^2=BD·AB;④AC·BC=AB·CD

∴2CD^2+AD^2+BD^2=AC^2+BC^2
∴2CD^2=AB^2-AD^2-BD^2
∴2CD^2=(AD+BD)^2-AD^2-BD^2
∴2CD^2=AD^2+2AD×BD+BD^2-AD^2-BD^2
∴2CD^2=2AD·BD
∴CD^2=AD·BD
②∵CD^2=AD·BD(已證)
∴CD^2+AD^2=AD·BD+AD^2
∴AC^2=AD·(BD+AD)
∴AC^2=AD·AB
③BC^2=CD^2+BD^2
BC^2=AD×BD+BD^2
BC^2=(AD+BD)·BD
BC^2=AB·BD
∴BC^2=AB·BD
④∵S△ACB=1/2AC×BC=1/2AB×CD
∴1/2AC×BC=1/2AB×CD
∴AC×BC=AB×CD
定理內容

(平面多邊形及其射影的面積分別是和,它們所在平面所成的二面角為)
證明思路
正射影二面角的歐幾里得射影面積公式因為射影就是將原圖形的長度(三角形中稱高)縮放,所以寬度是不變的,又因為平面多邊形的面積比=邊長的乘積比。所以就是圖形的長度(三角形中稱高)的比。
那么這個比值應該是平面所成角的餘弦值。在兩平面中作一直角三角形,並使斜邊和一直角邊垂直於棱(即原多邊形圖的平面和射影平面的交線),則三角形的斜邊和另一直角邊就是其多邊形的長度比,即為平面多邊形的面積比。將此比值放到該平面中的三角形中去運算即可得證。
發展簡史

搞笑講解

安倍又重蹈覆轍,於是他又從C點通過陷阱BC摔到B點,然後摔得一分為二,一塊崩到D點,另一塊崩到A點。BC^2=AB·BD。同理,他他又從C點通過陷阱AC摔到A點,然後摔得一分為二,一塊崩到D點,另一塊崩到B點。AC^2=AB·AD。
總之,陷阱距離的平方等於兩塊安倍屍體走的距離的乘積。