如图（1），AB、BC、CD分别与⊙O相切于点E、F、G，且AB∥CD，若，

求BC和OF的长；
求证：三点共线；
小叶从第（1）小题的计算中发现：等式成立，于是她得到这样的结论：如图（2），在中，，，垂足为，设，，则有等式成立．请你判断小叶的结论是否正确，若正确，请给予证明，若不正确，请说明理由.