#Hi, I’m not sure how to solve this

19 messages · Page 1 of 1 (latest)

primal shuttle
dapper bearBOT
gilded sail
dapper bearBOT
primal shuttle
#

Oh um, I don’t know how to “Prove: 1/2 quad ABCD=quad PQRS”

I don’t know what steps to take to prove that

gilded sail
gilded sail
#

a "constraint point" is a point under some constraint (from the question)

#

you pick the "final construct point" (based on the construction order)
and eliminate it first (from known geometric principle), so that it "vanish"

#

from your target geometric quantity

#

you don't need to hesitate which point to eliminate, and it's possible to program a machine to solve it
that's why you see at the bottom line of the above screen cap, it says "mechanical theorem proving"

unborn sigil
#

I rmb doing the exact same question when I was grade 9

#

I think I used sth like "mid-point theorem" to prove this

#

I actually got stuck for a while too

unborn sigil
primal shuttle
#

Thank you both, I apologize for my late response I thought I wasn’t going to get one 💀

#

I appreciate your help