>>428,438
高校入試としてはとてもとても面倒だが、
(2)の問題の延長を考えて断面にできる三角形の相似に持ち込めば導ける。