6. Củng cố,vận dụng định lý
1.5.1. Giới thiệu phần mềm Cabri3D
Ngày nay, cùng với sự phát triển mạnh mẽ của CNTT, những ứng dụng của tin học đã thâm nhập vào mọi mặt trong đời sống. Máy tính và các phần mềm DH cũng không ngừng phát triển và đã trở thành công cụ hỗ trợ hiệu quả cho việc dạy và học. Có nhiều các phần mềm ra đời phục vụ cho việc giảng dạy và học tập mơn tốn nhƣ: Cabri 2D, Cabri 3D, Geometer‟s Sketchpad, Maple, Derive… Ngoài phiên bản Cabri 2D trong mặt phẳng, hiện nay Cabri 3D là phần mềm duy nhất trên thế giới cho dạy học và nghiên cứu hình học khơng gian ba chiều. Công nghệ Cabri đƣợc khởi đầu trong các phòng nghiên cứu tại trung tâm Nghiên cứu Khoa học Quốc gia (CNRS) và tại trƣờng Đại học Joseph Fourier, thành phố Grenoble, cộng hòa Pháp. Năm 1985, Jean-Marie Laborde, ngƣời cha tinh thần của Cabri, bắt đầu dự án này với mục đích trợ giúp việc dạy và học mơn hình học phẳng. Từ đó việc dựng các hình hình học trên máy tính điện tử mở ra các triển vọng mới so với các phép dựng hình truyền thống sử dụng giấy, bút, thƣớc kẻ và compa. Cùng với sự phát triển của CNTT, Cabri đã cho ra đời một phiên bản mới giúp cho việc dạy và học môn hình học khơng gian, đó là Cabri 3D. Hiện nay Cabri 3D là phần mềm hình học duy nhất trên thế giới cho dạy học HHKG.
Theo [2] phần mềm Cabri 3D có một số đặc điểm sau:
- Cabri cho phép tạo ra những hình ảnh trực quan nhờ khả năng dựng hình từ các yếu tố cơ sở (điểm, đƣờng thẳng, mặt phẳng…), các đối tƣợng này đều có thể dễ dàng thay đổi vị trí sau khi vẽ.
- Cabri có các cơng cụ dựng các đối tƣợng mới dựa trên cơ sở đối tƣợng đã có (trung điểm của đoạn thẳng, giao điểm của các hình…), các đối tƣợng này có đặc điểm là khi thay đổi các yếu tố ban đầu thì chúng cũng thay đổi nhƣng vẫn bảo tồn các thuộc tính đã có, tức là bảo tồn cấu trúc của các đối tƣợng.
- Cabri có thể mang lại hiệu quả cao trong dạy học nhờ các hiệu ứng đồ họa: Sau khi dựng xong một hình, ta có thể thay đổi độ đậm nhạt của các đƣờng nét để tập trung sự chú ý của HS vào một số yếu tố trong hình vẽ; Có thể đổi màu các đối tƣợng khi dịch chuyển để nhấn mạnh đến đặc điểm của đối tƣợng khi dịch chuyển đến vị trí mới; Có thể dịch chuyển hình vẽ để quan sát hình vẽ ở nhiều góc độ khác nhau, từ đó phát hiện ra các tính chất của hình vẽ…
- Các chức năng trong soạn thảo văn bản nhƣ chép, cắt, dán, xóa… của Cabri cũng tƣơng tự nhƣ trong mơi trƣờng Windows (tuy nhiên khi xóa một đối tƣợng nào đó trong Cabri thì các đối tƣợng phụ thuộc vào đối tƣợng này cũng mất theo). Năm 2007, Cabri cịn có chức năng Plug-in cho phép nhúng các tệp của Cabri vào các quá trình ứng dụng khác nhƣ Word, PowerPoint, hay các trang web… điều này giúp cho việc sử dụng Cabri trong dạy học trở lên linh hoạt hơn.
- Cabri có mơi trƣờng làm việc thân thiện vì có hệ thống câu lệnh dễ nhớ, dễ thực hiện dƣới dạng bảng chọn (menu), biểu tƣợng đồ họa. Đặc biệt Cabri có hệ thống trợ giúp ngƣời dùng lựa chọn đối tƣợng cần thao tác khi đƣa con trỏ đến vị trí đối tƣợng đó. Điều này có nghĩa là Cabri sẽ thể hiện thơng báo khi ngƣời sử dụng dịch con trỏ đến các đối tƣợng. Khơng những thế, Cabri cịn có khả năng tƣơng tác cao vì các chỉ thị, thao tác của ngƣời sử dụng đều đƣợc tác động trực tiếp lên các đối tƣợng và thể hiện qua giao diện đồ họa sinh động.
- Cabri có một hệ thống các cơng cụ để thiết kế các yếu tố “động”: chức năng hoạt náo (animantion) cho phép một đối tƣợng có thể di chuyển theo vị trí ràng buộc, chức năng dựng ảnh của một đối tƣợng qua các phép biến hình, chức năng tạo vết (Trace On/Off) để lại hoặc không để lại vết của một đối tƣợng hình học trong khi thay đổi vị trí của chúng. Với chức năng này Cabri cịn có thể hỗ trợ GV trong việc tạo ra hình ảnh liên tục của đối tƣợng khi di chuyển.
- Tuy xuất phát điểm ban đầu là phần mềm hỗ trợ hình học nhƣng các hỗ trợ tính tốn của Cabri rất phong phú: đo khoảng cách giữa hai đối tƣợng, độ dài của một đoạn thẳng, một cung, chu vi, diện tích một hình, xác định số đo của một góc, tính hệ số góc của một đƣờng thẳng, hiển thị tọa độ một đối tƣợng hay tính tốn trực tiếp các số nhƣ một máy tính bỏ túi. Sau đó kết quả của tính tốn này lại có thể đƣợc tích hợp trở lại trên hình vẽ tùy theo mục đích khác nhau.