Cho tam giác ABC có AB=8cm, AC=15cm, BC=17cm. Qua A, B, C lần lượt kẻ các đường thẳng a, b, c song song với BC, AC, AB. Gọi D, E, F theo thứ tự là giao điểm của các đường thẳng a với b, b với c, c với a.
a) Chứng minh: tam giác DEF là tam giác vuông;
b) Tính chu vi tam giác DEF.