|
本帖最后由 hbghlyj 于 2023-8-8 22:32 编辑 设$O(0,0)$, $P(0,\frac12)$, $A(\texttt{x1},\texttt{y1})$, $C(\texttt{x2},\texttt{y2})$, 直线$AC:y=kx+\frac12$
因为圆内接梯形一定是等腰,$A$与$B$、$C$与$D$关于$OP$对称。
梯形面积\[A(k)=(\texttt{x1} - \texttt{x2}) (\texttt{y1} - \texttt{y2})\]
- {{x1, y1}, {x2, y2}} = {x, y} /. Solve[{y == k x + 1/2, x^2 + y^2 == 1}, {x, y}];
- FullSimplify[(x1 - x2) (y1 - y2)]
复制代码
\[A(k)=\frac{k \left(4 k^2+3\right)}{\left(k^2+1\right)^2}\]
当$k=\frac{1}{2} \sqrt{3+\sqrt{57}\over2}$取最大值$\sqrt{\frac{399 \sqrt{57}-1413}{512}}$ |
|