With the points labelled as above, the alternate segment theorem gives that both angles and are both while and are both . As angles in a triangle add up to , considering triangle shows that , and so .
Created on August 30, 2021 20:58:56
by
Andrew Stacey