How to calculate the degree of $∠FEB$ under this geometric scene
FindGeometricConjectures[
RandomInstance[
GeometricScene[{"A", "B" -> {-1, 0}, "C" -> {1, 0}, "E",
"F"}, {Triangle[{"A", "B", "C"}],
PlanarAngle[{"C", "A", "B"}] == 20 °,
PlanarAngle[{"A", "B", "C"}] == 80 °,
PlanarAngle[{"A", "C", "B"}] == 80 °,
Line[{"A", "F", "B"}], Line[{"A", "E", "C"}],
Triangle[{"E", "B", "F"}],
PlanarAngle[{"E", "B", "F"}] == 20 °,
PlanarAngle[{"E", "C", "F"}] == 30 °}]]]
and shows angle BEF to equal 30 degrees.
Apologies for the presentation of my code. I really have no idea how everybody's presentation looks so awesome :(
In your case, you can't get the result of PlanarAngle[{"B", "E", "F"}] == 30\[Degree]
because there are two angles that are 30\[Degree]
. By the following codes we can see that the result relevant is PlanarAngle[{"B", "E", "F"}] == PlanarAngle[{"E", "C", "F"}] == 30\[Degree]
:
GeometricScene[{"A", "B" -> {-1, 0}, "C" -> {1, 0}, "E",
"F"}, {Triangle[{"A", "B", "C"}],
PlanarAngle[{"B", "A", "C"}] == 20 \[Degree],
PlanarAngle[{"A", "B", "C"}] == 80 \[Degree],
PlanarAngle[{"A", "C", "B"}] == 80 \[Degree], Line[{"A", "F", "B"}],
Line[{"A", "E", "C"}], Triangle[{"E", "B", "F"}],
PlanarAngle[{"E", "B", "F"}] == 20 \[Degree],
PlanarAngle[{"E", "C", "F"}] == 30 \[Degree]}];
t = RandomInstance[%]
FindGeometricConjectures[t]["Conclusions"]
So you can see why FindGeometricConjectures[t, PlanarAngle[{__}] == _?NumericQ]["Conclusions"]
doesn't work: the out put is _PlanarAngle == _PlanarAngle ==_
so _PlanarAngle == _
doesn't match, and it's easy to give a general solution to this circumstances: using
FindGeometricConjectures[t,Equal[_PlanarAngle..,_?NumericQ]]["Conclusions"]
, and it gives
{PlanarAngle[{"B", "E", "F"}] == PlanarAngle[{"E", "C", "F"}] == 30 \[Degree],
PlanarAngle[{"C", "B", "E"}] == 60 \[Degree]}
as we wanted.