|
本帖最后由 王守恩 于 2021-6-8 19:48 编辑
记 ∠EOD=a, ∠PAD=b, 当 ∠PED=90° 时 AP/0P 取得最小值 k。
Solve[{k=Cos[a + b]/Sin[Pi/6 + b], 2^2=(2 Sin[a]/ Cos[a])^2 + (1 + Sqrt[3 (Sin[a]/ Cos[a])^2])^2,
(2Cos[a + b]/Sin[Pi/3 + a])^2=(2 Sin[a]/(Sqrt[3]Cos[a]))^2 + (Sqrt[3] - Sin[a]/Cos[a])^2,{k, a, b}]
{k -> Sqrt[5 - 3 Sqrt[2]], a -> ArcTan[1/7 Sqrt[3] (-1 + 2 Sqrt[2])], b -> ArcCsc[Sqrt[7]]} |
|