參數方程
單位圓。點 在圓外, 從 到 。水平那條線穿過圓心,交圓於 、。它是一條割線;定理不依賴它剛好是直徑,穿過圓心只是把這兩個交點釘住。
另一條線從 往左上方偏。偏角 從負 軸往上量,最小 ,最大是 。 是裕度:直線離圓心的距離停在這裡,不到半徑 ,兩個交點在變成同一個切點之前就分開。 時這個上限約 ,預設 仍放得下。近端 是離 較近的交點,遠端 是較遠的那個,兩邊不會對調。從點到近端是圓外的一段,從點到遠端是整條割線,不是圓內的弦。水平線上的 、 也一樣。
點只取在圓外,長度都是無向長。水平的圓外段乘上整條割線是 ,斜線是 。兩邊都先用交點座標量出未捨入的長度,再相乘;畫面旁的兩個讀數不把恆等式直接填進去。這個乘積等於 ,也就是 。顯示到小數第三位,四捨五入。 時 ,顯示 。
互動說明
- 位置 :移動圓外的點,圓外段、整條割線與兩個乘積一起改變
- 偏角:移動第二條線的夾角,近端與遠端的長度改變
觀察重點
- 每條割線的圓外段乘上整條割線,乘積相同。
- 偏角變大時交點靠近,乘積仍是這個數。
- 這個數只隨點的位置變。
留言
用 GitHub 帳號留言。