|
|
Observing algebraic relationships 写道：使用 OK Geometry，您还可以观察和推测动态构造中几何量之间的代数关系。例子：
三角形 ABC 内的点 P 产生三个全等的正三角形，其中两个顶点位于三角形的边上，第三个顶点是 P。
以下是使用 OK Geometry 获得的关于此配置中强调线段长度的一些推测。
\begin{align}
m&=r \cdot \frac{8 \cdot \text { Area }}{4 \sqrt{3} \cdot \text { Area }+\left(a^2+b^2+c^2\right)}\\
n&=a \cdot \frac{\mid 4 \cdot \text { Area } \left.+\frac{\sqrt{3}}{2} \cdot\left(-a^2+b^2+c^2\right) \right\rvert\,}{4 \sqrt{3} \cdot \text { Area }+\left(a^2+b^2+c^2\right)}\\
o&=a \cdot \frac{4 \sqrt{3} \cdot \text { Area }-\left(a^2+b^2-c^2\right)}{4 \sqrt{3} \cdot \text { Area }+\left(a^2+b^2+c^2\right)}
\end{align}如何证明呢
|
|
