Machine Translated by Google

Pembuktian Berbantuan Komputer dan Metode Otomatis dalam

Pendidikan Matematika

Thierry Noah Dana-Picard

Sekolah Tinggi Teknologi Yerusalem
Yerusalem, Israel

ndp@jct.ac.il

Makalah survei ini adalah versi yang diperluas dari pembicara utama yang diundang pada lokakarya
ThEdu'22, Agustus 2022, di Haifa (Israel). Setelah pengenalan singkat tentang perkembangan CAS,
DGS dan teknologi bermanfaat lainnya, kami menunjukkan implikasinya dalam Pendidikan Matematika,
dan dalam kerangka Pendidikan STEAM yang lebih luas. Secara khusus, kami membahas transformasi
Pendidikan Matematika menjadi skema eksplorasi penemuan-dugaan, .menghindari penggunaan
sebagai kotak hitam. Skema ini cocok dengan apa yang disebut 4 C Pendidikan Abad 21. Komunikasi
dan Kolaborasi ditekankan tidak hanya antar manusia, namun juga antar mesin, dan antara manusia
dengan mesin. Karakteristik khusus dari keluaran meningkatkan kebutuhan Berpikir Kritis. Penggunaan
perintah otomatis untuk eksplorasi dan penemuan dibahas, dengan menyebutkan keterbatasan jika
ada. Kami mengilustrasikan topik ini dengan contoh integral parametrik (menggambarkan “lingkungan
kognitif” dari gagasan matematika), geometri bidang, dan studi tentang kurva bidang (amplop, kurva
isoptik). Beberapa contoh telah dikerjakan sepenuhnya, yang lain dijelaskan dan diberikan referensi.

1. Perkenalan
1.1 Sejarah panjang dibuat menjadi sangat singkat, dengan sentuhan pribadi.

Pada tahun 1980-an, pembuktian dengan bantuan komputer tidak selalu mudah diterima oleh masyarakat. Pada awal
era komputasi dengan bantuan mesin, hanya ada algoritma numerik yang memungkinkan hasil perkiraan. Algoritma ini
tidak selalu dapat memberikan semua solusi terhadap suatu permasalahan.
Belakangan, algoritma untuk perhitungan simbolik mulai dikembangkan dan diimplementasikan. Kadang-kadang
peneliti harus menulis dalam bahasa umum sebuah program khusus untuk masalahnya. M. Schaps melakukannya pada
tahun 80-an untuk klasifikasi aljabar asosiatif generik [38, 39] dan menulis program untuk menghitung kelompok
kohomologi Hochschild dan kelompok automorfisme dari aljabar tertentu, masing-masing memungkinkan pemeriksaan
validitas hasil yang lain. Hilangnya kelompok homologi memastikan bahwa aljabar yang diberikan bersifat kaku, sehingga
menentukan komponen dalam variasi Algn yang menjadi parameter aljabar asosiatif nÿdimensi. Untuk aljabar lokal,
yaitu aljabar berbentuk F[X]/I , di mana I adalah ideal pada ring polinomial F[X], kami mulai menggunakan perhitungan
¨
basis Grobner. Proyek ini menghasilkan klasifikasi aljabar generik dalam dimensi 6, 7 dan 8; lihat [38]. Dimensi yang
lebih kecil telah dipelajari sebelumnya.

Peneliti lain di dunia sudah bekerja dengan menggunakan komputasi komputer, namun pada saat itu terkadang
ditambahkan disclaimer tentang tidak bertanggung jawabnya jurnal terkait komputasi tersebut.
Perhitungannya memakan waktu (untuk satu aljabar lokal, perhitungannya bisa memakan waktu 20 menit, dengan PC
4,77Hz. Untuk membaca hasilnya, kami harus mencetaknya (pada lembaran kontinu lebar) dan kami menyimpan hasil
cetakannya untuk berjaga-jaga jika ada yang akan meminta untuk memeriksanya.
Pengembangan dan penggunaan perangkat lunak tidak tetap menjadi milik eksklusif para peneliti. Tentu saja,
selama komputer masih terlalu besar dan mahal, mereka tidak dapat memasuki ruang kelas reguler. Dengan

J. Marcos, W. Neuper dan P. Quaresma (Eds.): Komponen Pembuktian Teorema untuk © Th. Dana-Picard
Perangkat Lunak Pendidikan 2022 (ThEdu'22) Karya ini dilisensikan di bawah
EPTCS 375, 2023, hlm. 2–23, doi:10.4204/EPTCS.375.2 Creative Commons Attribution License.
Machine Translated by Google

Th. Dana-Picard 3

perangkat genggam pertama dan komputer pribadi, segalanya berubah. Kalkulator genggam bekerja secara numerik,
namun dengan cepat algoritma untuk perhitungan simbolik dikembangkan, dan diimplementasikan di berbagai
perangkat. Perangkat lunak Derive terdapat pada floppy disk kecil, sebuah konsekuensi dari pilihan algoritma.
Misalnya, perhitungan integral tentu dengan Turunkan didasarkan pada teorema, yang mudah dibuktikan dan jarang
disajikan dalam buku teks [24]. Dalam [69], kami mengusulkan untuk Menurunkan integral tak wajar parametrik.
Turunkan segera hitung dengan parameter umum; pada saat itu, tidak ada sistem lain yang dapat melakukannya,
kecuali untuk nilai integer kecil dari parameternya. Kemudian “klon” dari perangkat lunak tersebut diimplementasikan
di TI92. Saat ini, GeoGebra memiliki versi untuk PC, iPad, dan ponsel pintar.
Dalam periode terakhir, versi mobile dari perangkat lunak matematika yang berbeda memungkinkan pengembangan
aktivitas matematika di luar ruangan [6, 5].
Metode pengajaran matematika yang klasik terkadang membuat para guru berpikir bahwa matematika adalah
bidang pengetahuan yang tetap. Bahkan pelatih guru akhirnya menyatakan hal ini. Namun dunia telah berubah
secara drastis, dan berbagai teknologi yang tersedia mengubah matematika menjadi domain eksperimental, dan
menemukan hal-hal baru pada tahap awal pendidikan. P. Quaresma mengatakan ([61]): “Penelitian ilmiah dan
pendidikan di semua tingkatan terutama berkaitan dengan penemuan, verifikasi, komunikasi, dan penerapan
pengetahuan ilmiah. Pembelajaran, penggunaan kembali, penemuan, dan pengarsipan adalah empat aspek penting
dari akumulasi pengetahuan dalam proses peradaban umat manusia. Dalam siklus akumulasi pengetahuan ini, yang
telah didukung selama ribuan tahun melalui buku-buku tertulis dan sarana fisik lainnya, penalaran yang cermat selalu
memainkan peran yang penting. Saat ini proses ini menjadi semakin efektif karena tersedianya paradigma baru yang
berbasis aplikasi komputer. Penalaran geometris dengan aplikasi komputer seperti itu merupakan salah satu
tantangan paling menarik bagi akumulasi dan penyebaran pengetahuan di masa depan.”

Dalam makalah ini, kami sebagian besar membahas dua jenis perangkat lunak matematika, yaitu Sistem Aljabar
Komputer (CAS) dan Sistem Geometri Dinamis (DGS)1 . Sebenarnya perbedaan di antara keduanya semakin
memudar. Misalnya, GeoGebra dimulai sebagai DGS, namun berkembang ke arah lain, dan CAS yang disebut Giac
[52] tertanam di dalamnya. Fitur-fitur baru juga mencakup alat untuk Augmented Reality yang memungkinkan aktivitas
luar ruangan, antara lain; lihat [12, 53].
Makalah survei ini merupakan versi perluasan dari keynote yang disampaikan pada lokakarya ThEdu'22,
Agustus 2022, di Haifa (Israel).

1.2 Sistem Aljabar Komputer.

Beberapa dekade yang lalu, program khusus tingkat lanjut telah ditulis, seperti GAP - akrostik untuk Grup, Algoritma,
Pemrograman untuk Teori Grup (sekarang cakupannya jauh lebih luas), FeliX untuk Teori Bilangan, Macaulay2 untuk
Geometri Aljabar, CoCoA untuk Komputasi dalam Aljabar Komutatif , dll. Semua ini adalah contoh Sistem Aljabar
Komputer (CAS). CAS tujuan umum juga mulai mengintegrasikan berbagai bidang matematika, baik algoritma simbolik
maupun numerik; mereka sekarang menjadi asisten multi-domain yang kuat. Web juga menawarkan penggunaan
platform yang interaktif, tempat CAS yang berbeda bekerja di latar belakang; hal ini terjadi pada platform berorientasi
pendidikan WIMS.
Fitur inti dari CAS adalah kemampuan untuk memanipulasi ekspresi matematika simbolis, dengan cara yang mirip
dengan perhitungan manual tradisional. Tentu saja, sintaks perintahnya bisa berbeda-beda dan beberapa CAS
mungkin dianggap lebih ramah pengguna dibandingkan yang lain. Ini bisa menjadi masalah ketika bekerja dengan
siswa.

1Terdapat jenis perangkat lunak lain, asisten pembuktian, dan pembukti teorema, yang kepentingannya tidak bisa terlalu ditekankan.
Kami merujuk pembaca yang tertarik pada kontribusi terbaru pada ThEdu, juga dalam volume ini
Machine Translated by Google

4 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

Di antara fitur-fitur yang diperlukan adalah bahasa pemrograman (memungkinkan pengguna untuk memasukkan algoritmanya sendiri),
penerjemah dan penyederhanaan. Perintah yang disederhanakan , dengan beberapa opsi adalah penting (pengenalan pola mungkin
tidak cukup untuk menghasilkan penggunaan algoritma yang efisien). Perhatikan bahwa untuk perhitungan tertentu, keluarannya mungkin
sangat berbeda dari apa yang diperoleh pengguna secara manual (jika memungkinkan), dan dua paket yang berbeda mungkin memberikan
keluaran yang berbeda. Penyederhanaan membantu pengguna untuk memahami bahwa format keluaran yang berbeda dapat menentukan
objek matematika yang sama. Beberapa contoh di Bagian 4 menggambarkan fakta ini.

Algoritma Kalkulus, Aljabar Linier, dan domain lainnya harus digunakan oleh siswa dan guru.
Oleh karena itu, CAS harus menyertakan perpustakaan besar algoritma dan fungsi khusus. Kami mengacu pada halaman2 Wikipedia
untuk daftar fitur yang diminta lebih lengkap, termasuk beberapa kemampuan yang menarik bagi pengembang. Daftar pertama di halaman
itu tidak menyebutkan fitur plotting: visualisasi, plotting, animasi. Mereka muncul di daftar kedua, yang tidak kalah pentingnya. Kami
mengilustrasikannya di Bagian 4.
Halaman Wikipedia menambahkan bahwa CAS juga harus mencakup bahasa pemrograman, yang memungkinkan pengguna untuk
mengimplementasikan algoritma mereka sendiri, operasi numerik presisi sewenang-wenang, fungsi aritmatika bilangan bulat dan teori
bilangan, pengeditan ekspresi matematika dalam bentuk dua dimensi, merencanakan grafik dan parametrik. memplot fungsi dalam dua
dan tiga dimensi, dan menganimasikannya, menggambar bagan dan diagram, API untuk menghubungkannya pada program eksternal
seperti database (nanti kita akan membahas perlunya dialog antar sistem yang berbeda), atau menggunakannya dalam bahasa
pemrograman untuk menggunakan sistem aljabar komputer, manipulasi string seperti pencocokan dan pencarian, add-on untuk digunakan
dalam matematika terapan seperti fisika, bioinformatika, kimia komputasi dan paket untuk perhitungan fisik, dll. Beberapa CAS mencakup
produksi dan pengeditan grafis seperti citra yang dihasilkan komputer dan pemrosesan sinyal seperti pemrosesan gambar dan sintesis
suara. DGS dapat memenuhi sejumlah persyaratan tersebut.

Sebagai visualisasi dari banyaknya variasi paket yang ada, Gambar 1 menunjukkan jawaban Google atas pencarian Sistem Aljabar
Komputer.

Gambar 1: Jawaban visual Google untuk penelusuran CAS

Bahayanya adalah menggunakan CAS sebagai kotak hitam. Yang kami maksud adalah pengguna menulis sebuah perintah, tanpa
mengetahui cara kerjanya. Dia memasukkan data, menerima keluaran dan mengandalkannya. Masuk akal jika seorang pendidik tidak
akan melakukan hal seperti itu.

1.3 Sistem Geometri Dinamis.

Kemudian, paket lain yang disebut Dynamic Geometry Systems (DGS) muncul: Geometric SketchPad, Cin derella, Cabri Geometer,
GeoGebra, dll. Kebutuhan akan pemrograman tidak hilang, tetapi fitur intinya adalah interaktivitas. Interaksi manusia-dan-mesin berbeda
dari apa yang umumnya ditawarkan oleh CAS. Sistem Geometri Dinamis (DGS) menyediakan cara untuk merepresentasikan dan
memanipulasi objek geometri yang tidak mungkin dilakukan dengan karya pensil kertas tradisional, menggunakan kompas dan penggaris.

Berbagai lingkungan tersebut memberikan kesempatan kepada siswa untuk mengeksplorasi objek-objek geometri, hingga melakukan pengukuran

2https://en.wikipedia.org/wiki/Computer_algebra_system
Machine Translated by Google

Th. Dana-Picard 5

objek di layar dan di luar ruangan. Mereka dapat membantu siswa untuk mengembangkan pemahaman yang berbeda tentang
banyak properti dan teorema. Dengan munculnya fitur tarik dan ukur yang ditawarkan oleh DGS, para guru terkadang enggan
menggunakannya karena khawatir peran pembuktian akan memudar. Mariotti [55] merefleksikan ketakutan ini, namun
mengajukan pandangan yang lebih positif. Refleksinya didasarkan pada pekerjaan dengan perangkat lunak Cabri.

DGS menawarkan perintah berbasis tombol dan perintah tertulis, menggunakan sintaksis yang mirip dengan yang ada di
CAS. Sebuah perintah pada akhirnya memiliki versi tertulis dan sebuah tombol, terkadang dengan kemampuan yang sedikit
berbeda. Misalnya, dalam tombol GeoGebra untuk melampirkan titik ke suatu objek memiliki versi sebagai perintah tertulis
yang berfungsi jika tombol tersebut tidak. Secara keseluruhan, perintah tertulis tombol fitur ganda ini berkontribusi pada
kemudahan penggunaan perangkat lunak.

Fitur dinamis utama adalah titik seret dan bilah penggeser. Objek dasarnya adalah titik bebas, dan konstruksi lainnya
bergantung pada titik bebas tersebut. Menyeret titik bebas dengan mouse menyebabkan perubahan otomatis pada setiap
objek bergantung padanya. Misalnya, titik tengah I dari segmen AB bergantung pada titik akhir A dan B. Menyeret A (atau B,
satu per satu) dengan mouse akan mengubah I. Bilah penggeser sesuai dengan parameter sebenarnya; itu memungkinkan
untuk mendefinisikan dan mengubah objek secara dinamis tergantung pada parameter ini. Untuk konstruksi multi-parameter,
penggeser ditentukan untuk setiap parameter (umumnya perangkat lunak memintanya secara otomatis). Menggunakan
penggeser, grafik dan konstruksi animasi tersedia. Menyeret dan menggeser mengubah Geometri menjadi bidang
eksperimental. Kata-kata utama dalam pengajaran Geometri sekarang adalah eksplorasi dan eksperimen. Perubahan
menggunakan drag dan slider memberikan banyak sekali contoh situasi yang diteliti. Ini bukan bukti, tapi memberikan
keyakinan. Selain itu, suatu dugaan dapat diungkapkan, dan kemudian harus dibuktikan. Urutan bukti eksplorasi-dugaan ada
di mana-mana saat bekerja dengan DGS.

Animasi juga ditawarkan oleh CAS, dengan perbedaan penting. Dengan CAS, animasi ditentukan oleh perintah tertentu
dengan beberapa opsi (ukuran, jumlah frame per detik, dll.). Kemudian animasi dijalankan tanpa campur tangan manusia.
Manusia bisa melihat apa yang terjadi, kadang bisa melakukan intervensi, tapi ini minor. Animasi dengan DGS hampir bisa
dilakukan secara otomatis: opsi Animation On yang tersedia dengan penggeser merupakan fitur penting, terkadang disertai
dengan opsi Trace On untuk objek yang diteliti. Ia bisa digerakkan oleh tikus, yaitu digerakkan oleh manusia. Contoh diberikan
di Bagian 4.
Pembaca yang tertarik juga dapat merujuk ke halaman khusus Wikipedia3 .
Menguasai gerakan dengan tangan menjadikan perangkat lunak semacam protesis bagi manusia; Debray mengatakan
bahwa kemampuan membangun protesis itulah yang menjadikan manusia menjadi manusia [45]. Mungkin sekarang kita
berurusan dengan manusia yang diperbesar? Kami lebih suka berbicara tentang manusia, manusia seutuhnya, dengan literasi
digital yang kuat.

1.4 Masalah inti interaksi manusia-mesin dan mesin-dan-mesin

Ketersediaan CAS dan DGS membuka banyak bidang studi baru, baik dalam penelitian maupun pendidikan.
Rangkaian keterjangkauannya masing-masing berbeda, dengan titik temu yang tidak kosong. Hasil penting dapat diperoleh
dengan jaringan dengan dua jenis teknologi [64, 32], salah satunya adalah geometri dan dinamika yang lebih kuat dan yang
lainnya memiliki kemampuan aljabar yang lebih kuat. Bagaimanapun, studi tentang objek matematika didasarkan pada register
representasi yang berbeda (aljabar, numerik, geometris, dll) [48]. Misalnya, beberapa paket dikhususkan untuk 2D saja atau
3D saja. GeoGebra mempunyai kedua kemungkinan tersebut, jendela 2D sepenuhnya tersinkronisasi dengan bidang xy pada
jendela 3D. Tentu saja, keduanya juga disinkronkan dengan jendela aljabar. Mempertimbangkan representasi berbeda dari hal
yang sama

3http://en.wikipedia.org/wiki/Interactive_geometry_software
Machine Translated by Google

6 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

objek, yaitu, berbagai sudut pandang, memungkinkan di satu sisi untuk membangun jembatan antar bidang
matematika (vi Bagian 2), dan di sisi lain, untuk memperoleh teorema baru atau bukti baru dari teorema klasik
(seperti dalam [40]) . Hingga saat ini, untuk mendapatkan manfaat dari kedua lingkungan, CAS dan DGS, secara
umum kita perlu melakukan copy-paste dari satu sistem ke sistem lainnya. (Kurangnya) komunikasi antara CAS
dan DGS telah diatasi sejak lama [64, 65, 32], kami berharap solusi dapat ditemukan di masa mendatang.
Sebenarnya salah satunya adalah penyematan CAS ke dalam GeoGebra [52], namun sampai saat ini DGS dan
CAS masih berbeda. Dalam beberapa tahun terakhir, fitur geometri dinamis memasuki CAS dan komponen inti
CAS telah diimplementasikan ke dalam DGS [52]. Pekerjaan masih diperlukan untuk mengintegrasikan semua kemungkinan secara pen
Selain komunikasi dan kolaborasi mesin-mesin, perilaku baru juga muncul dalam komunikasi manusia dan
mesin. Hal ini juga berpengaruh besar terhadap komunikasi dan kolaborasi antar manusia. Perlukah kami
menyebutkan bahwa komunikasi antara manusia dan antara manusia dan mesin mengembangkan aspek-aspek
baru selama krisis Covid-19 [29]?
Penggunaan bersama berbagai teknologi, termasuk websurfing dan data mining, memungkinkan kemajuan
besar dalam berbagai komponen yang disebut 4 C Pendidikan Abad 21: Komunikasi, Kolaborasi, Berpikir Kritis,
dan Kreativitas [20]. Dua huruf C pertama umumnya dipertimbangkan antara manusia, namun komunikasi dan
kolaborasi manusia-mesin dan mesin-dan-mesin sangatlah penting.
Dalam [33], kami bahkan mengusulkan C ke-5, yaitu Keingintahuan, suatu keharusan bagi manusia untuk
melangkah lebih jauh. Situasi didaktik baru dapat dipertimbangkan dan cara-cara baru untuk menghadapinya.
Pendidikan Matematika telah diubah dari skema Definisi-Teorema-Pembuktian tradisional menjadi domain
eksplorasi. Urutannya sekarang bisa menjadi Eksplorasi-Penemuan-Conjecture-Proof (atau disproof).
4C adalah dasar konseptual dari pendekatan STEAM Education. Hal ini dapat diilustrasikan dengan contoh
dan kegiatan pada Aljabar Abstrak, Kombinatorik dan Integral, kajian Kurva Aljabar Bidang dan Permukaan Aljabar
serta Matematika dan Seni. Kami mengacu pada makalah di [63].

1.5 Representasi numerik vs simbolik

Antara data simbolik dan plot, banyak data numerik dihitung, yang pada akhirnya ditampilkan sesuai permintaan.
Data numerik juga menyebabkan kebutuhan untuk menguasai perkiraan [30]. Data numerik ini diperoleh, setelah
memilih mesh (dalam 3D) atau partisi interval definisi (dalam 2D), dengan interpolasi. Hal ini dapat menyebabkan
plot yang aneh [78, 79]. Masalah ini dapat diatasi dengan pilihan diskontinuitas atau menggunakan jaring non
standar (Maple mengusulkan sekitar 20 jaring non standar untuk plot 3D).

Untuk kebutuhan lain, perbedaan antara algoritma numerik dan simbolik menyebabkan pengembang GeoGebra
mengusulkan dua jenis keluaran, misalnya, ke perintah Relasi4 . Gambar 2 menunjukkan
cuplikan layar keluarannya.
Perintah Relation biasa memberikan jawaban berdasarkan data numerik saja.
Tombol “Lainnya” menjalankan algoritma lain, waktu itu simbolis, hasilnya lebih tepat. Ini adalah alat yang efisien
dalam Pendidikan, memberikan bantuan kepada guru dalam mengembangkan kegiatan baru.

2 Lingkungan kognitif dari suatu gagasan matematika

Baik dengan satu siswa atau dengan satu kelas, guru menghadapi beberapa upaya
´
4Di sini kami menggunakan GeoGebra Discovery versi beta, sebuah paket yang dikembangkan oleh Z. Kovacs, bekerja
berdasarkan versi GeoGebra biasa. Ini berisi versi lebih lanjut dari perintah Relation . Paket ini dapat diunduh secara gratis
dari https://github.com/kovzol/geogebra-discovery (periksa di sana untuk versi terakhir yang diperbarui).
Machine Translated by Google

Th. Dana-Picard 7

(A) (B) (C)

Gambar 2: Pop-up yang ditawarkan oleh perintah Relation

1. Merangsang keingintahuan siswa terhadap teknik interlaced, dengan menggunakan lebih dari satu teknik baru yang tersedia
teknologi.

2. Menjadikan Matematika lebih menarik, dan menunjukkannya sebagai bidang ilmu yang hidup dengan menemukan hal-hal baru
trek.

3. Temukan hubungan antara bidang-bidang yang tampaknya berbeda. Dalam kurikulum tradisional, kursus umumnya
diajarkan sebagai topik terpisah, sering kali tanpa jembatan di antara topik-topik tersebut. Misalnya saja beberapa guru
enggan memperkenalkan contoh Kalkulus ke dalam mata kuliah Aljabar Linier, meskipun natural
struktur ruang vektor dari himpunan fungsi kontinu (yang dapat dibedakan) pada suatu interval
di R.

4. Jelajahi objek matematika lain yang “tampak seperti” (Konsolidasi?) objek matematika tersebut
belajar. Tugas seperti ini pada umumnya dibangun oleh guru, yaitu dalam konteks ini guru bersifat aktif dan aktif
kreatif.

Langkah lanjutan dalam pengajaran integral diberikan oleh integral tertentu yang bergantung pada satu (atau lebih)
parameter. Ini adalah situasi yang lebih abstrak dibandingkan integral tertentu biasa, dan penting dalam situasi terapan [42].
Studi tentang integral tertentu parametrik memberikan hubungan intra-matematika: integrasi, kombinatorik, penerapan pada
masalah fisika, dan hal tersebut dapat diperkuat dengan topik-topik dalam sejarah
matematika. Gagasan matematika, jembatan antara gagasan tersebut dan teknik yang diinstrumentasikan,
disertai dengan wacana teknologi yang tepat (istilah yang diciptakan oleh Artigue [3]) membangun apa yang kita sebut
lingkungan kognitif. Dalam eksplorasi lingkungan kognitif seperti itu, guru dan siswa
menganggap objek matematika “tampak seperti” objek studi matematika asli. Tugas seperti itu adalah
secara umum dibangun oleh guru, yaitu dalam konteks ini guru bersifat aktif dan kreatif; siswa mereproduksi langkah kerja
guru. Kegiatan seperti ini mendorong siswa untuk mencari materi terkait. Itu
eksplorasi Zona Perkembangan Proksimal siswa (ZPD [73]) dibangun selangkah demi selangkah dan selalu
lingkungan yang lebih besar.
Tautan ke topik matematika yang berdekatan, ke situasi “dunia nyata” dapat ditemukan. Ini dia
siswa lebih mandiri dan dapat mengembangkan lebih banyak inisiatif. Sebenarnya baik pendidik maupun siswa
kreatif.
Gambar 3 menunjukkan konstruksi integral parametrik, seperti yang dieksplorasi dalam [43, 44].
Machine Translated by Google

8 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

Gambar 3: Visualisasi lingkungan kognitif

3 Langkah selanjutnya: Pengurangan Otomatis dalam Geometri (ADG)

Bidang Penelitian dan Pengembangan ini telah mengalami perkembangan luar biasa selama beberapa dekade terakhir,
puluhan makalah dan presentasi konferensi telah dikhususkan untuk kemajuan tersebut. Oleh karena itu kami hanya akan
menyebutkan sebagian kecil saja contohnya. Pembaca yang tertarik dapat menggunakan bibliografi yang luas dalam
beberapa makalah yang kami sebutkan, dan juga melihat prosiding konferensi seperti ACA (Aplikasi Aljabar Komputer,
khususnya sesi khusus tentang Pendidikan, tetapi tidak hanya) dan konferensi ADG. Di masa lalu yang “jauh”, sebuah
survei singkat muncul di [26].
´
Dalam [10] Botana dan Abanades menulis definisi ADG berikut, “sebagai studi dan pengembangan program komputer
yang dirancang untuk membuktikan teorema geometri”. Kemudian mereka menelusuri domain tersebut kembali ke tahun
1963 ketika Gelernter [49] menghubungkannya dengan Kecerdasan Buatan. Mereka menulis: “Namun, perkembangan
sebenarnya dari bidang ini terjadi pada awal tahun 1980-an dengan pengembangan metode aljabar oleh Wu berdasarkan
himpunan karakteristik Ritt untuk membuktikan himpunan terbatas teorema geometri [76]. Hasil yang mengesankan dari
beberapa penulis yang menggunakan metode Wu [77, 75, 76] mendorong para peneliti untuk mempertimbangkan metode
¨
aljabar lainnya, di antaranya metode yang didasarkan pada basis Grobner [19] terbukti paling relevan.”
Selama bertahun-tahun, peneliti dan pengembang lain bergabung dengan domain tersebut. Definisinya menjadi lebih
tepat, seiring dengan perkembangan perangkat lunak yang berkelanjutan. Pada tahun 2016, kita dapat menemukan uraian
berikut [1]: “Dengan pembuktian otomatis teorema geometri elementer, kami mengacu pada pendekatan pembuktian
teorema melalui metode geometri aljabar komputasi, seperti yang diprakarsai oleh Wu empat puluh tahun yang lalu, dan
dipopulerkan oleh buku Chou [21]. Secara kasar, idenya adalah untuk menyediakan algoritma, menggunakan metode
aljabar komputer, untuk mengkonfirmasi (atau menyangkal) kebenaran dari beberapa pernyataan geometris tertentu. Lebih
tepatnya, tujuannya adalah untuk memutuskan apakah suatu pernyataan tertentu secara umum benar atau tidak, yaitu
benar kecuali untuk beberapa kasus yang merosot, yang akan dijelaskan oleh algoritme.”
Perkembangan berbagai jenis perangkat lunak, dalam hal ini DGS dan Automatic Provers memungkinkan penalaran
otomatis dan geometri dinamis secara bersamaan. Kolaborasi berbagai perangkat lunak terbukti sangat sukses. Pada tahun
´
2020, Kovacs dan Recio menulis [53]: “Sepanjang setengah abad terakhir, deduksi otomatis dalam geometri dasar semakin
menjadi salah satu pencapaian paling sukses di bidang penalaran otomatis. Selama beberapa dekade ini berbagai metode
dan teknik telah dipelajari dan dikembangkan untuk pembuktian otomatis dan penemuan pernyataan geometri dasar. Di sisi
lain, sistem perangkat lunak geometri dinamis telah muncul, seperti Cabri Geometry, CaR, Cinderella, DrGeo, GeoGebra,
The Geometer's Sketchpad, Geometry Expert, Geometry Expressions atau Kig, dengan
Machine Translated by Google

Th. Dana-Picard 9

kehadirannya yang terus meningkat dalam pendidikan matematika. Beberapa di antaranya memiliki banyak pengguna (lebih
dari tiga puluh juta) di seluruh dunia. Penggabungan kedua alat ini (pembuktian otomatis dan geometri dinamis), dengan
demikian, merupakan masalah yang sangat alami, menantang dan menjanjikan, yang saat ini melibatkan ahli logika,
komputasi simbolik, pengembangan perangkat lunak, geometri aljabar, dan pendidikan matematika dari seluruh dunia.”

Topik sentral dalam Geometri adalah penentuan lokus geometri. Banyak hasil yang diperoleh, beberapa di antaranya
disajikan pada [9, 8]. Kami menjelajahi beberapa lokus di subbagian 4.2. Perintah untuk eksplorasi otomatis dan penemuan
lokus geometris telah dikembangkan dan diimplementasikan di GeoGebra. Kami mengilustrasikannya di sub-bagian 4.2.

Pada subbagian 4.3, kita membahas topik lain, yaitu selubung keluarga parametrik kurva bidang.
Meskipun Thom mengeluh [71] (pada tahun 1962) bahwa hal itu hilang dari silabus, penelitian tidak berhenti dan banyak
makalah telah dikhususkan untuk amplop, pengembangan perangkat lunak dan Pendidikan Matematika. Sampel kecilnya
adalah [15, 14, 39, 13, 27, 33]. Untuk situasi praktis, metode perkiraan juga harus dikembangkan; misalnya, lihat [67, 60].
Perintah otomatis telah diterapkan di GeoGebra untuk penentuan selubung keluarga kurva bidang. Contoh diberikan dalam
sub-bagian 4.3. Perhitungan pertama terdiri dari penyelesaian sistem persamaan non-linier, yang dapat dilakukan dengan
menggunakan CAS. Outputnya terdiri dari daftar presentasi parametrik kurva, dan mungkin perlu disederhanakan, oleh
karena itu pentingnya perintah penyederhanaan. Dengan memeriksa persamaan dan memplotnya, akan terlihat bahwa
komponen-komponennya saling melengkapi. Hal ini harus dibuktikan, umumnya dengan alat aljabar. Pertama, presentasi
parametrik harus diterjemahkan ke dalam polinomial, kemudian paket Grobner ¨ dapat diterapkan. Paket-paket ini mungkin
tidak diimplementasikan di DGS, dan pekerjaan harus ditransfer ke CAS lain, umumnya menggunakan copy-paste.
Polinomial yang diperoleh menghasilkan ideal dalam ring polinomial. Dengan menghilangkan parameter tersebut, persamaan
implisit dapat diturunkan untuk envelope.

¨
Hal ini dilakukan dengan paket untuk perhitungan basis Grobner; lihat [23, 57] untuk teori basis Gr obner ¨ dan [68] untuk
kurva rasional. Dengan menggunakan CAS sekali lagi, polinomial yang diperoleh dapat difaktorkan, sehingga diketahui
apakah selubung tersebut dapat direduksi atau tidak. Tentu saja, CAS menawarkan fitur plotting, dan keluarannya akan
memberikan konfirmasi atas apa yang telah diperoleh dengan DGS.
Definisi amplop yang berbeda diberikan dalam [18]; kami mengilustrasikannya dengan metode otomatis di subbagian
4.3. Offset dikerjakan sebagai lokus, perbedaan antara offset dan envelope dibuat jelas dengan menggunakan DGS, seperti
pada [28].
Topik ketiga yang akan kita bahas nanti adalah penentuan kurva isoptik dari kurva bidang. Ini telah dipelajari selama
bertahun-tahun [22, 56, 70]. Bekerja di lingkungan yang kaya teknologi memungkinkan hasil baru [35, 37]. Baru-baru ini
isoptik bagian dalam telah dipelajari [36]. Beberapa dinamika telah diperkenalkan ke dalam studi isoptik di [34]. Sampai saat
ini, belum ada perintah khusus yang diterapkan untuk penemuan isoptik; namun fitur yang ada memungkinkan eksplorasi,
perhitungan dan konfirmasi hasil. Ini adalah topik subbagian 4.4.

Untuk menutup bagian ini, kami ingin menyebutkan buku karya Pavel Pech [59]. Satu bab dikhususkan untuk
pembuktian teorema otomatis dan penemuan otomatis. Bab-bab berikutnya membahas teorema klasik dalam Geometri
melalui polinomial dengan CoCoA, perangkat lunak yang dapat diunduh secara gratis untuk komputasi dalam lingkaran
polinomial; lihat [2].

4 Contoh lainnya
Sekarang kami menyajikan beberapa aktivitas matematika yang mana teknologi mungkin mempunyai peran penting. Untuk
eksplorasi, penemuan dan pembuktian, kami menggunakan GeoGebra dan Maple.
Machine Translated by Google

10 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

4.1 Percobaan kontinuitas suatu fungsi

Menguasai definisi ÿ ÿ ÿÿ seringkali sulit bagi seorang siswa. Eksplorasi dengan teknologi membuat segalanya lebih mudah
dipahami. Untuk membuat segalanya lebih mudah dan intuitif, kami mengembangkan applet dengan GeoGebra5 . Gambar 4
menunjukkan dua tangkapan layar. Penggeser memungkinkan untuk mengubah nilai ÿ dan ÿ secara independen, yang
berguna untuk eksplorasi pertama. Siswa mencatat bahwa ÿ menentukan garis horizontal dan ÿ garis vertikal, yang
perpotongannya adalah persegi panjang yang berpusat di titik (x0, f(x0), pertanyaannya adalah apakah grafik fungsi tersebut
melewati seluruh persegi panjang tersebut. Diskontinuitas muncul ketika ÿ cukup kecil dan tidak ada nilai ÿ yang memungkinkan
hal ini. Nanti, guru dapat mengusulkan applet6 yang lain , di mana

(a) kontinuitas (b) diskontinuitas

Gambar 4: Eksplorasi kontinuitas suatu fungsi menurut definisi ÿ ÿÿÿ

ketergantungan ÿ pada ÿ digunakan, seperti yang ditunjukkan pada Gambar 5 dan hanya satu penggeser yang muncul.
Applet ini memerlukan pekerjaan awal manusia untuk menemukan rumus ketergantungan ÿ pada ÿ. Oleh karena itu tidak
cocok untuk eksplorasi, lebih cocok untuk ilustrasi, bahkan berguna untuk konsolidasi pengetahuan baru.
Tentu saja, situasi terbaik adalah ketika siswa mampu mengembangkan applet seperti itu, dan tidak bergantung pada guru
untuk hal ini. Seorang siswa dapat mengembangkan keterampilan yang cocok untuk ini. Jika tidak, guru dapat memberikan
beberapa perancah ([58], halaman 105-107).

Gambar 5: Langkah lebih maju untuk ilustrasi kontinuitas

4.2 Eksplorasi lokus geometri

GeoGebra memiliki beberapa versi perintah otomatis untuk penentuan lokus geometri.
Menurut situasi, apakah pelacak secara geometris berhubungan dengan penggerak atau pelacak harus berhubungan

5Tersedia di https://www.geogebra.org/m/bkj8872v 6https://

www.geogebra.org/m/zsb6p2vd
Machine Translated by Google

Th. Dana-Picard 11

memenuhi kondisi tertentu (ekspresi Boolean), keluarannya memiliki bentuk yang berbeda: dapat berupa plot kurva
atau plot bersama dengan persamaan implisit. Perkembangan terkini memberikan plot wilayah dalam bidang7 .

4.2.1 Konstruksi klasik dan kurang klasik.

Ambil dua titik A dan B pada bidang. Tempat kedudukan titik M sedemikian rupa sehingga perbandingan AM/BM
sama dengan k adalah garis bagi tegak lurus ruas AB jika k = 1, dan lingkaran sebaliknya. Hal ini dapat dieksplorasi
menggunakan perintah Locus dan penggeser untuk membiarkan rasio bervariasi (lihat https://www.geogebra.org/m/
vqqkd57t ). Untuk setiap nilai parameter disediakan persamaan implisit.
Applet https://www.geogebra.org/m/v2kdhrus menunjukkan konstruksi lokus bagian dalam dan luar sebuah
segitiga, dengan dua titik tetap dan titik ketiga bergerak sepanjang garis; lihat Gambar 6(b). Di sini versi perintahnya
adalah Locus(<Point Creating Locus line >,<Point>) dan outputnya berupa plot lokus, tetapi tidak ditemukan
persamaan.

(A) (B)

Gambar 6: Lokus geometris

Konstruksi yang sama dapat diterapkan untuk mencari kedudukan geometri titik M sedemikian rupa sehingga
sudut ÿAMB = ÿ dari yang diketahui ÿ. Outputnya adalah lingkaran. Dalam hal ini guru harus menarik perhatian
siswa bahwa sebenarnya tempat kedudukan geometri adalah lingkaran tanpa dua titik A dan B, seolah-olah M ÿ
{A,B}, tidak ada sudut sama sekali. Kesempatan yang baik untuk mendidik Berpikir Kritis [20].

4.2.2 Di luar direktriks parabola.

2
Misalkan P adalah parabola yang persamaannya adalah. y = x Dinotasikan dengan B sebuah titik di P dan C sebuah
titik pada sumbu yÿ dari P. Misalkan C adalah bayangan C melalui refleksi terhadap garis singgung P di B. Dua
contohnya ditampilkan pada Gambar 7. Locus(<Titik Membuat Garis>,<Titik>) membuat plot titik-titik tanpa
memberikan persamaan. Database kurva bidang dapat dicari untuk menentukan kurva mana yang telah diperoleh,
dan mencoba menemukan persamaan yang sesuai untuk kurva tersebut. Siswa mengamati bahwa kasus pembatas
antara kurva mulus dan kurva titik ganda adalah jika titik C adalah titik fokus parabola P, dalam hal ini tempat
kedudukan geometri C adalah direktriks parabola.

4.2.3 Sebuah kurva silang.

Diberikan sebuah lingkaran yang berpusat pada titik asal. Kita menjelajahi tempat kedudukan geometri titik tengah
perpotongan dengan sumbu garis singgung lingkaran. Perintah otomatis tersedia di GeoGebra, perintah Locus.
Beberapa versi diusulkan, dan siswa harus memilih di antara mereka. Cuplikan sesi8 ditampilkan pada Gambar 8:
konstruksi geometris murni dilakukan, memungkinkan

7Derive melakukannya, merepresentasikan ketidaksetaraan dalam 2 variabel

secara grafis. 8https://www.geogebra.org/m/bmdfd3hm
Machine Translated by Google

12 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

(A) (B)

Gambar 7: Tempat kedudukan titik sumbu parabola yÿ yang dipantulkan terhadap garis singgung

penggunaan perintah Locus (<Point>,<Point>). Di sini pelacak adalah titik tengah dan penggerak adalah titik pada lingkaran (untuk
rincian terminologi lihat [54]). Identifikasi kurva yang diperoleh mungkin tidak

Gambar 8: Eksplorasi otomatis lokus geometris

menjadi mudah. Dalam contoh kita, lingkaran mempunyai jari-jari 2. Tempat kedudukan geometri mempunyai persamaan

1 1
+2 =1 (1)
tahun
2x _

Persamaan ini diturunkan dengan tangan atau dengan CAS. Dalam arah sebaliknya, hal ini dapat ditemukan dalam katalog kurva
,
bidang klasik9 tetapi pencarian ini tidak memberikan pencerahan. Mungkin pencarian web berdasarkan gambar akan membantu, kami
tidak mencobanya.

Catatan 1 Persamaan (2) dapat diubah menjadi persamaan polinomial yaitu

2 2 2 2 +yx = xy
. (2)

Hal ini mungkin merupakan indikasi bahwa paket perhitungan polinomial mungkin berguna untuk eksplorasi saat ini. Di sini juga,
Berpikir Kritis harus diterapkan karena domain validitasnya berbeda.

4.2.4 Sebuah sekstrik.

Sextrik adalah kurva berderajat 6. Sextrik Maclaurin adalah tempat kedudukan geometri titik potong dua garis, yang masing-masing
berputar dengan laju konstan terhadap titik berbeda yang disebut kutub. Gambar 9

9Seperti situs web Mathcurve. Kurva muncul di sana di https://mathcurve.com/courbes2d.gb/cruciforme/

salib.shtml
Machine Translated by Google

Th. Dana-Picard 13

menunjukkan tiga contoh, menurut rasio r kecepatan sudut sama dengan 1/3, -1 atau 2 (atau, setara dengan 1/2).
Dalam kasus pertama, kurva yang diperoleh adalah strophoid. Perhatikan jumlah komponen yang berbeda. Ini
adalah screenshot dari applet GeoGebra10; eksplorasi dimungkinkan oleh
definisi beberapa slider.

(a) r = 1/3 (b) r = ÿ1 (c) r = 2

Gambar 9: sekstrik MacLaurin

Katalog kurva bidang menunjukkannya sebagai objek terpisah. Penggeser memberikan perubahan terus-
menerus pada nilai parameter, yang mengarah pada penemuan bahwa beberapa kurva yang tampak berbeda
sebenarnya milik satu kelompok. Kemunculan komponen lurus memerlukan pengembangan lebih teoritis.

4.3 Amplop
Ada 4 definisi berbeda tentang amplop; lihat [18] (Bab 5). Kock [50] memberikan tiga di antaranya, menyebutnya
sintetik, impredikatif, dan analitik. Kami akan mempelajari contoh-contoh tersebut, sesuai dengan definisi yang
berbeda, dan melihat bagaimana metode otomatis dapat diterapkan. Contoh lebih lanjut dapat ditemukan di [40,
27, 28]; database khusus juga memberikan banyak contoh.

Definisi 2 [Sintetis] Misalkan Cu adalah suatu keluarga kurva bidang nyata yang bergantung pada parameter
nyata u. Selubung E adalah gabungan titik-titik karakteristik Mu, dimana titik karakteristik Mu adalah titik batas
perpotongan Cu ÿ Cu+ÿ sebagai h ÿ 0. Dengan kata lain, selubung adalah himpunan titik-titik batas perpotongan
kurva-kurva yang berdekatan Cu,

Definisi 3 [Impredikatif] Amplop E adalah kurva sedemikian rupa sehingga pada setiap titiknya bersinggungan
dengan kurva unik dari kelompok tertentu. Tempat kedudukan titik-titik di mana E menyentuh Cu disebut titik
karakteristik E Mu.

Definisi 4 [Analitik] Misalkan keluarga kurva Cu diberikan oleh persamaan F(x, y,u) = 0 (di mana u adalah
parameter nyata dan F dapat terdiferensiasi terhadap u), maka selubung E ditentukan dengan solusi sistem
persamaan:

F(x, y,u) = 0
ÿF
, (3)
ÿu F(x, y,u) = 0

Dalam Definisi 4, selubung digambarkan sebagai proyeksi pada bidang titik (x, y), dalam ruang 3 dimensi (x, y,u),
yang termasuk dalam permukaan dengan persamaan F(x, y ,u) = 0 dan mempunyai bidang singgung

10https://www.geogebra.org/f/kwzvga3rpn
Machine Translated by Google

14 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

sejajar dengan sumbu u (atau menjadi titik tunggal dan, dengan demikian, tidak memiliki bidang singgung, sebenarnya).
Lihat [18], hal.102. Perhatikan bahwa definisi analitik 4 adalah satu-satunya yang diberikan oleh Berger [7] (bagian 9.6.7 dan 14.6.1) dan
oleh Rovenski [66]. Buku terakhir ini memberikan detail tentang cara mengerjakan amplop menggunakan Maple.

Catatan 5 Kami memilih untuk menyatakan parameter dengan u, karena dalam GeoGebra t mempunyai peran khusus.

4.3.1 Amplop dari keluarga garis

Kami menganggap keluarga garis yang diberikan oleh persamaan F(x, y,u) = 0, di mana keluarga F(x, y,u) = x+uy+ua telah 2 . Seperti

dipelajari dengan Derive di [35]; kami mempelajarinya di sini untuk menunjukkan penggunaan perintah otomatis, jika memungkinkan.
Gambar 10(a) menunjukkan eksplorasi pertama, menggunakan penggeser dan Trace On11. Kecepatan mouse pada penggeser
mengkondisikan kepadatan garis pada keluaran. Tidak membuat plot terlalu banyak garis akan mempertahankan kesan visual dari
kumpulan garis, dan bukan area yang sepenuhnya berwarna.

(a) Dengan Jejak Aktif (b) Dua garis yang bertetangga (c) Dengan amplop

Gambar 10: Eksplorasi suatu kelompok garis

Gambar 10 menunjukkan sesi GeoGebra menggunakan CAS yang tertanam untuk menentukan titik karakteristik, +uÿ,ÿ2uÿÿ). Kita
2
menurut Definisi 2. Titik-titik tersebut mempunyai koordinat Mu = (u mempunyai: lim Mu+ÿ =
ÿÿ0
2 2
(u ,ÿ2u). Ini adalah presentasi parametrik parabola yang persamaannya adalah y = ÿ4x . Gambar 10(b)
memodelkan dua garis bertetangga Lu dan Lu+ÿ . Perpotongannya diberikan oleh:

x+uy+u x+ 2=0
(4)
(u+ÿ)y+ (u+ÿ) 2=0

Parabola yang diperoleh diplot pada Gambar 10(c).

Penerapan metode ini dalam kasus umum menunjukkan bahwa Definisi 2 menyiratkan Definisi 4; lihat [18, 40].
GeoGebra mempunyai perintah untuk menghitung envelope, namun sintaksisnya tidak sesuai dengan permasalahan di atas. Perintah ini
memiliki sintaks Envelope(<Path>,<Point>); ini berarti bahwa perintah telah dibuat untuk menentukan selubung suatu kelompok kurva
(Jalur) yang bergantung secara geometris pada pelacak (Titik).
Ini tidak cocok dengan pengaturan aljabar murni, seperti pada contoh di atas.

4.3.2 Nefroid sebagai amplop.

Misalkan U adalah lingkaran satuan yang berpusat di titik asal. Perhatikan titik A di U dan lingkaran CA yang berpusat di A dan
bersinggungan dengan sumbu yÿ. Jika ada, dilambangkan dengan E sebagai selubung keluarga lingkaran. Gambar 11(a)

11https://www.geogebra.org/f/qt5pdbah42. Perhatikan bahwa kenaikan untuk penggeser a harus disetel ke 0,05 agar bisa
memiliki plot yang akurat.
Machine Translated by Google

Th. Dana-Picard 15

menunjukkan cuplikan layar eksperimen pertama dengan GeoGebra12, menggunakan Trace On untuk lingkarannya.

(a) Eksplorasi dengan mouse (b) Keluaran Amplop

Gambar 11: Eksplorasi nefroid sebagai selubung lingkaran

Gambar 11(b) menunjukkan tangkapan layar applet setelah penggunaan perintah Envelope.

• Tarik garis melalui A yang tegak lurus terhadap sumbu yÿ;

• Tentukan titik potong garis ini dengan sumbu yÿ, yang dilambangkan dengan H (ini mungkin berbeda
dengan setiap eksperimen baru);

• Gambarlah sebuah lingkaran yang berpusat di A dan melalui H.

Perintah Envelope efektif. Outputnya memiliki dua komponen:

• Sebuah kurva yang diplot pada jendela geometri (kurva titik-titik pada gambar);

• Persamaan implisit di jendela aljabar.

Perhatikan bahwa persamaannya berderajat 7. Sebenarnya polinomial tersebut dapat direduksi dan dapat ditulis sebagai berikut:

4 2
ÿ12x 4 +12x 2
4
ÿ24x 2
2
ÿ15x 2 +4 tahun6 4 2
x(4x 6 +12x tahun tahun tahun ÿ12 tahun +12 tahun ÿ4) = 0 (5)

Artinya, hasilnya adalah gabungan sumbu yÿ (diberikan dengan hilangnya suku pertama) dan sextic.
Pencarian web cepat menunjukkan bahwa sextic ini adalah nefroid. Perhatikan bahwa, jika situs Mathcurve (https://
mathcurve.com/courbes2d.gb/nephroid/nephroid.shtml) dibaca, persamaan yang diberikan di sana memiliki
untuk dimodifikasi, karena peran masing-masing sumbu koordinat. Perlu diperhatikan bahwa
sumbu y-nya “terlalu besar”. Ini sesuai dengan faktor x dalam polinomial derajat 7 (Persamaan (5) diperoleh
di jendela aljabar, namun data geometris menunjukkan bahwa hanya segmen sumbu yang relevan.
Bagian yang berlebihan merupakan konsekuensi dari perhitungan aljabar yang menentukan penutupan pada
Topologi Zariski.
Pertanyaannya sekarang: bisakah kita meningkatkan kerja otomatis untuk mendapatkan jawaban yang “benar”? Itu
jawabannya adalah ya, seperti yang kami tunjukkan sekarang.

Perhatikan penyajian parametrik berikut untuk lingkaran satuan (x, y) = (cosu,sinu), u ÿ [0,2ÿ].
Maka persamaan umum untuk lingkaran adalah

(xÿcos(u))2 + (yÿsinu) 2 ÿcos2 kamu = 0. (6)

12https://www.geogebra.org/m/fxjgmkqu
Machine Translated by Google

16 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

Dilambangkan dengan F(x, y,u)sisi kiri pada Persamaan (6). Dalam hal ini, sistem persamaan Definisi 4 berbunyi
sebagai berikut:
(xÿcos(u))2 + (yÿsinu) 2 ÿcos2 u = 0 x sinuÿy
(7)
cosu+sin 2u = 0

Memecahkan sistem dengan Maple, kami memperoleh keluaran berikut:

{x = 0, y = sin(u)}, {x = 2*cos(u)^3, y = -2*sin(u)^3 + 3*sin(u)}

Komponen pertama mendeskripsikan segmen pada sumbu yÿ, yang sangat akurat. Komponen kedua adalah
presentasi parametrik nefroid. Gambar 12 menunjukkan dua screenshot dari animasi yang dilakukan oleh Maple:
Demi pembaca, kami menyertakan kode Maple di sini. Perhatikan bahwa sumbu punya

(A) (B)

Gambar 12: Plot lingkaran dan amplop dengan Maple

telah didefinisikan secara eksplisit untuk memiliki plot yang lebih mudah dibaca.
F := (x - cos(u))^2 + (y - sin(u))^2 - cos(u)^2; derF := diff(F,
u); memperluas(%);

memecahkan({F = 0, derF = 0}, {x, y});

neph := plot({[0, sin(u), u = 0 .. 2*Pi], [2*cos(u)^3,
-2*sin(u)^3 + 3*sin(u) , u = 0 .. 2*Pi]}, skala = dibatasi, ketebalan
= 4, warna = biru tua); sumbu := plot implisit({x = 0, y = 0}, x =
-3 .. 3, y = -2 .. 2); lingkaran := bernyawa(plot implisit, [F = 0], u = 0 .. 2*Pi,
ketebalan = 2); tampilan(kapak, neph, lingkaran);

Dari titik ini, penurunan persamaan implisit memerlukan penerapan metode yang dijelaskan dalam [28, 32, 37,
36], mengubah fungsi trigonometri menjadi ekspresi rasional, kemudian mengubah data menjadi polinomial yang
menghasilkan ideal dalam ring polinomial, dan terakhir memanfaatkan algoritma eliminasi.

4.4 Isoptik kurva bidang.

Misalkan C adalah kurva bidang dan ÿ adalah sudut tertentu. Kurva ÿÿisoptik C adalah tempat kedudukan geometri
titik M di palen yang dilalui sepasang garis singgung yang membentuk sudut sama dengan ÿ. Untuk kerucut dan ÿ = ,
90o kurva isoptik disebut ortoptik dan sudah dikenal sejak lama. Ini adalah direktriks parabola, lingkaran pengarah
elips, dan lingkaran pengarah hiperbola (jika ada,
Machine Translated by Google

Th. Dana-Picard 17

tergantung pada sudut antara asimtot). Pada Gambar 13(a) isoptik sebuah elips ditampilkan untuk dua sudut yang
saling melengkapi. Gambar 13 menunjukkan kurva ortoptik (yaitu isoptik untuk sudut siku-siku) dari kurva Fermat
derajat 6.

(a) Isoptik elips (b) Isoptik kurva Fermat

Gambar 13: Kurva isoptik

Untuk ÿ umum, kurva isoptik kerucut dan kurva Fermat telah dipelajari, misalnya, dalam [22, 56, 35, 41, 37]. Studi
ini sangat bergantung pada penggunaan perangkat lunak, namun tidak pada perintah khusus isoptik. Alat utamanya
¨
adalah pemecah persamaan non-linier, dan paket Grobner.
Dalam karya-karya ini, plot isoptik disediakan, tetapi sebagai konsekuensi dari perhitungan aljabar dan berdasarkan
satu per satu. Langkah pertama menuju eksplorasi otomatis telah dilakukan, dengan mengembangkan alat untuk
pewarnaan otomatis [31, 34]. Alat-alat ini memberikan visualisasi bersama dari beberapa isoptik. Variasi parameter
diterjemahkan ke dalam perbedaan warna. Konfirmasi diperoleh secara posteriori, dengan menggunakan GeoGebra
menyeret suatu titik pada kurva yang diberikan13 .
Dalam setiap kasus, ketersediaan perintah otomatis Locus diaktifkan untuk segera memplot kurva. Selain itu,
seperti dalam situasi lain, penggeser (atau lebih dari satu) menawarkan kemungkinan untuk menjelajahi tidak hanya
satu kurva pada satu waktu, tetapi satu kelompok yang bergantung secara terus-menerus pada satu (atau lebih)
parameter. Namun demikian, perintah ini tidak memberikan persamaan kurva secara implisit. Penurunan persamaan
implisit memerlukan mesin aljabar. Di sini diperlukan perintah untuk menyelesaikan persamaan; seperti disebutkan
sebelumnya, perintah seperti itu adalah standar di CAS mana pun. Tentu saja, ini harus berisi pengenalan pola, karena
masalah yang berbeda menyebabkan pengaturan aljabar yang berbeda (persamaan polinomial, persamaan trigonometri, dll...).
Pahala dari kegiatan tersebut berlipat ganda:

• Pekerjaan bersifat interaktif, yaitu dilakukan sebagai dialog antara manusia dan mesin. Ini adalah kesempatan
bagus untuk merasakan pengaruh timbal balik antara pengguna dan perangkat lunak, dan guru dapat
mengamati proses asal usul instrumental yang berbeda di antara siswa; lihat [72, 3, 4].

• Secara umum, katalog kurva menyajikannya sebagai sekumpulan objek yang terpisah. Eksplorasi otomatis
seringkali mengungkapkan bahwa kurva yang berbeda sebenarnya termasuk dalam satu kelompok yang lebih
besar, berbagai kurva berhubungan dengan nilai parameter yang berbeda. Penulis menggambarkan situasi
seperti itu di [28], di mana komunikasi mesin-dan-mesin sangat penting.

13Pembaca yang tertarik dapat mencoba applet https://www.geogebra.org/m/a2zpetsc untuk isoptik elips, https: //
www.geogebra.org/m/kvbnpzt3 untuk isoptik dalam elips, dan https:/ /www.geogebra.org/m/yjgsbbpk untuk isoptik
kurva Fermat. Applet lain juga tersedia di situs ini.
Machine Translated by Google

18 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

• Kegiatan-kegiatan tersebut bisa berdiri sendiri, namun bisa juga berupa promo yang bertujuan untuk memperluas wawasan.
Saat bekerja di kelas, beberapa siswa bereaksi dengan ucapan “waoooo!” ketika kurva
muncul.

Isu sentral dalam penentuan isoptik dan selubung adalah penyelesaian sistem persamaan non linier. Hasilnya terdiri dari
representasi parametrik kurva bidang. persamaan parametrik ini adalah
jarang rasional. Pekerjaan komputasi terkadang dilakukan untuk mengubah ekspresi
¨
menjadi ekspresi rasional dan kemudian mendapatkan polinomial. Jika memungkinkan, metode Grobner (seperti Eliminasi) dapat
diterapkan untuk mengimplikasikan presentasi parametrik. Hal ini tidak selalu memungkinkan. Bahkan
ketika polinomial dapat diperoleh, Eliminasi mungkin terlalu memakan waktu atau terlalu memakan memori
agar CAS menjawab; kami mengalaminya ketika mempersiapkan [51]: perhitungan telah diluncurkan
pada dua komputer berbeda dengan karakteristik berbeda, tidak ada yang memberikan jawaban.

5 Kesimpulan dan beberapa pemikiran untuk langkah selanjutnya

Kami menyajikan aktivitas seputar eksplorasi, penemuan, dan pembuktian otomatis menggunakan GeoGebra dan Maple.
Sebenarnya beberapa tetes di lautan luas. Pertama, perhatikan bahwa kami menggunakan versi GeoGebra saat ini, dan
´
paket pendamping yang disebut GeoGebra-Discovery, dikembangkan oleh Z. Kovacs. Ini berisi beberapa perintah otomatis,
terkadang khusus untuk paket, terkadang merupakan perpanjangan dari perintah yang ada di dalamnya
GeoGebra. Misalnya, perintah Relasi ada di GeoGebra dan bersifat numerik. Versi GeoGebra Discovery memperluasnya dengan
algoritma simbolik; kami menunjukkan contoh di sub-bagian 1.4. Lainnya
sistem juga tersedia untuk jenis tugas yang sama. Misalnya lihat [11] tentang penggunaan Sage untuk
pekerjaan otomatis. Keputusan penting yang harus diambil oleh pendidik adalah memilih perangkat lunak yang sesuai
digunakan. Pilihan ini memiliki banyak sisi. Pertama-tama, ini tergantung pada sistem mana yang tersedia di sana
institusi guru. Hal ini merupakan konsekuensi dari pilihan pedagogi, namun juga keputusan finansial
para administrator. Hal ini juga tergantung pada tingkat literasi guru sehubungan dengan perbedaan usia paket yang tersedia.
Tentu saja, tidak semua CAS atau DGS cocok untuk setiap tingkatan siswa. Perangkat lunak yang digerakkan oleh tombol
mungkin lebih mudah digunakan daripada perangkat lunak yang memerlukan penguasaan sintaksis perintah. Lebih-lebih lagi,
perintah berbasis tombol sering kali disertai dengan deskripsi perintah saat mengklik kanan
pada tombol, fitur yang sangat membantu. Adanya website interaktif untuk contoh dan tutorial
adalah bantuan yang kuat bagi siswa.
Tingkat latar belakang siswa sangat penting. Metode otomatis tidak dimaksudkan untuk digunakan sebagai a
kotak hitam, tetapi dimaksudkan untuk mendorong pengguna untuk mengembangkan pendekatan baru, dan untuk mencapai hasil yang lebih mendalam

wawasan dan pemahaman terhadap pertanyaan yang diteliti. Masalah kotak hitam - kotak putih telah dianalisis misalnya di [46,
47]). Terkadang, CAS membantu mengatasi kurangnya pengetahuan teoretis, namun
maka penting untuk “kembali” dan meminta siswa mengisi kekosongan tersebut dan memahami apa yang tersembunyi di dalamnya
aktivitas dan penggunaan perangkat lunak [25]. Berpikir Kritis dan Kreativitas harus bekerja sama.
Sebelum menyajikan metode baru, guru harus diberitahu tentang tingkat siswa yang sebenarnya, dan
kemudian mampu menyusun kurikulum yang disesuaikan dengan eksplorasi Zone of Proximal Development (ZPD) mereka; lihat
[73]. Kita ingat bahwa “ZPD mengacu pada kemampuan pelajar untuk berhasil menyelesaikannya
tugas-tugas dengan bantuan orang lain yang lebih mampu, dan oleh karena itu sering dibicarakan dalam kaitannya
untuk pembelajaran berbantuan atau perancah. Penciptaan ZPD melibatkan bantuan dengan penataan kognitif tugas-tugas
pembelajaran dan kepekaan terhadap kemampuan pelajar saat ini” (Walker, [74]). Penulis dari
survei ini menegaskan bahwa siswanya bekerja berpasangan. Komunikasi antara mereka dan kolaborasi selanjutnya berkontribusi
pada penguatan manfaat yang diterima dari scaffolding oleh perusahaan.
guru. Ucapan “waoow!” disebutkan sebelumnya adalah konsekuensinya, dan matematisnya
Machine Translated by Google

Th. Dana-Picard 19

Penemuan yang dilakukan pada kesempatan itu merupakan hasutan untuk menciptakan sesuatu yang baru. Itu telah dilakukan.
Fleksibilitas alat eksplorasi yang ditawarkan oleh DGS dan CAS memungkinkan siswa yang berbeda dalam
kelas yang sama untuk mengalami perbedaan cara untuk memecahkan masalah yang sama. Untuk siswa yang berorientasi STEAM, ini
membuka banyak peluang untuk membuat model, animasi, dll. Kami mengilustrasikannya di subbagian 4.3.
Oleh karena itu, perancah yang ditawarkan oleh guru harus lebih disesuaikan secara pribadi, dan eksplorasi
ZPD siswa menjadi semakin pribadi. Semacam ZPD gabungan (untuk 2 siswa) juga
dibuat. Ponsel pintar, dan sebelum itu walkmen (siapa yang mengingatnya? dan perangkat elektronik lainnya,
menciptakan beberapa keterputusan antara manusia. Di sini, faktanya siswa lebih bebas mengalaminya
dan menjelajah dengan perangkat pribadinya, lalu membagikan penemuannya kepada teman sekelasnya
pengalaman kelas menjadi lebih kaya, lebih bermakna dan lebih menarik. Kegiatan di luar ruangan juga berkontribusi
untuk menarik siswa untuk belajar lebih banyak matematika, karena ini didasarkan pada lingkungan dan lingkungan mereka sehari-hari
latar belakang budaya mereka. Penulis mengajarkan kursus praktis tentang “teknologi dalam pendidikan Matematika” yang ditujukan
untuk guru pra-jabatan atau guru dalam jabatan. Wacana teknologi harus selalu demikian
disesuaikan, menurut tingkat matematika, latar belakang budaya dan karakteristik lainnya
siswa. Artigue [3] menekankan juga bahwa pengetahuan teknologi baru merupakan bagian integral dari
pengetahuan matematika baru yang diperoleh siswa. Topik baru atau topik baru dapat diusulkan
dan dieksplorasi, pada tahap awal kursus siswa dibandingkan di masa lalu, sehingga diperlukan analisis baru
situasi didaktik dan transposisi didaktik [16, 17]. Semua ini adalah bagian dari paradigma baru yang dimunculkan oleh P.
Quaresma [61] (vs Bagian 1). Tidaklah mengherankan bahwa asal usul instrumental (lihat [72, 3, 4], dll.) dari
setiap siswa dan kelas secara keseluruhan sangat berbeda setiap tahunnya. Tentu saja ini relevan
juga untuk insinyur pra-layanan.
Terakhir, kami harus sekali lagi menekankan bahwa metode otomatis untuk eksplorasi, penemuan, dan
buktinya, adalah pendekatan baru yang bertujuan mengembangkan keterampilan baru dan menekankan pemahaman jenis baru.
Perkembangan baru selalu dilakukan. Mengutip sekali lagi P. Quaresma (op.cit.): “Penalaran geometris
dengan aplikasi komputer seperti itu merupakan salah satu tantangan paling menarik untuk akumulasi dan masa depan
penyebaran pengetahuan.” Misalnya, karya-karya terbaru ditujukan untuk mempelajari kesenjangan [62]
dan plot mereka di pesawat. Sesuatu telah tersedia dengan Derive, tetapi perkembangannya modern
lebih kaya. Perkembangan seperti ini, bersama dengan proses belajar-mengajar secara pribadi, layak dilakukan
studi tentang asal usul instrumental jenis baru. Dari sudut pandang lain, dengan prestasi baru
untuk dialog otomatis yang efisien dan bermanfaat antara berbagai jenis perangkat lunak, pasangan baru CAS-DGS
(baik yang berbeda atau tertanam satu sama lain) memberikan artefak baru yang harus diubah menjadi sebuah
instrumen [3, 72]. Sebuah lingkaran baru dalam spiral kognitif-edukatif.

Referensi
´ ´ ´
[1] Miguel Abanades, Francisco Botana, Zoltan Kov acs & Csilla S olyom-Gecse (2016): Pengembangan alat penalaran
otomatis di GeoGebra. Komunikasi ACM dalam Aljabar Komputer 50(3), hlm.85–88,
doi:10.1145/3015306.3015309.

[2] John Abbott & Anna M. Bigatti (2010): CoCoALib: Perpustakaan C++ untuk Komputasi dalam Komutatif
Aljabar... dan Selanjutnya. Dalam Hoeven K., Joswig Jvd & Takayama dan M., editor: Perangkat Lunak Matematika –
ICMS 2010, 6327, Springer, Berlin, Heidelberg, hlm. 73–76, doi:10.1007/978-3-642-15582-6 15.
`
[3] Michele Artigue (2002): Pembelajaran Matematika di Lingkungan CAS: Kejadian Refleksi tentang
Instrumentasi dan Dialektika antara Pekerjaan Teknis dan Konseptual. Jurnal Internasional Komputer untuk
Pembelajaran Matematika 7, hal. 245–274, doi:10.1023/A:1022103903080.
`
[4] Michele Artigue & Luc Trouche (2021): Meninjau Kembali Tradisi Didaktik Prancis melalui Teknologi
Lensa. Matematika 9(6), hal. 629, doi:10.3390/matematika9060629.
Machine Translated by Google

20 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

[5] Anna Barbosa, Isabel Vale, Simona Jablonski & Matthias Ludwig (2022): Berjalan melalui Ilmu Pendidikan Al 12(5), hal.
Berpikir Gebraic dengan Jalur Matematika Berbasis Tema (Seluler). doi:10.3390/ 346,
educsci12050346.

[6] Simon Barlovits, Morritz Baumann-Wehner & Matthias Ludwig (2020): Pembelajaran kurikuler dengan Math CityMap:
Membuat jalur matematika berbasis tema. Dalam: Pendidikan Matematika di Era Digital (MEDA) —
Prosiding, Linz, Austria, Universitas Johannes Kepler, hal.143–150.
[7] M. Berger (2009): Geometri. 2e, Peloncat.
[8] Jiri Blazek & Pavel Pech (2017): Mencari lokus menggunakan GeoGebra. Jurnal Internasional untuk Teknologi
dalam Pendidikan Matematika 27, hal. 143–147, doi:10.1564/tme v24.3.06.
[9] Francisco Botana (2003): Penentuan Otomatis Permukaan Aljabar sebagai Lokus Titik. Pegas Berlin
Heidelberg, doi:10.1007/3-540-44860-8 91.
´
[10] Francisco Botana & Miguel Abanades (2014): Pengurangan Otomatis dalam Geometri (Dinamis): Komputasi Lokus.
Geometri Komputasi 47(1), hlm.75–89, doi:10.1016/j.comgeo.2013.07.001.
´
[11] Francisco Botana & Miguel A. Abanades (2012): Pengurangan Otomatis dalam Geometri Dinamis menggunakan Sage.
Dalam: ThEdu'11, EPTCS, 79, Open Publishing Association, hal. 49–62, doi:10.4204/EPTCS.79.3.
´ ´
[12] Francisco Botana, Zoltan Kovacs & Tom sebagai Recio (2018): Menuju geometri otomatis. Catatan Kuliah
dalam Ilmu Komputer 11110, hal. 215–220, doi:10.13140/RG.2.2.36788.71042.
´
[13] Francisco Botana & Tomas Recio (2017): Menghitung amplop dalam lingkungan geometri dinamis. AMAI
(Annals of Mathematics and Artificial Intelligence) 80(1), hlm. 3–20, doi:10.1007/s10472-016-9500-3.
´
[14] Francisco Botana & Tomas Recio (2019): Proposal untuk Perhitungan Otomatis Kebohongan Amplop Keluarga pada
Kurva Bidang. Jurnal Sains dan Kompleksitas Sistem 32(1), hlm. 150–157, doi:10.1007/s11424-
019-8341-7.
´
[15] Francisco Botana & Jose L. Valcarce (2004): Penentuan otomatis amplop dan turunan lainnya
kurva dalam lingkungan grafis. Matematika dan Komputer dalam Simulasi 67(1-2), hlm.3–13,
doi:10.1016/j.matcom.2004.05.004.
[16] Guy Brousseau (1997): Teori situasi didaktis dalam matematika. Kluwer, Dordrecht.
[17] Guy Brousseau & Virginia Warfield (2014): Situasi Didaktik dalam Pendidikan Matematika. Dalam S Ler man, editor:
Ensiklopedia Pendidikan Matematika, Springer Belanda, Dordrecht, hlm.163–170,
doi:10.1007/978-94-007-4978-8 47.
[18] James W. Bruce & Peter J. Giblin (2012): Kurva dan Singularitas. Pers Universitas Cambridge,
doi:10.1017/CBO9781139172615.
¨
[19] Bruno Buchberger (1985): Basis Grobner: metode algoritmik dalam teori ideal polinomial . Di NK
Bose, editor: Teori Sistem Multidimensi, Springer Belanda, Dordrecht, Belanda, hal.184–
232, doi:10.1007/978-94-009-5225-6 6.
[20] S.Chiruguru (2020): Keterampilan Penting Kelas Abad 21 (4Cs),
doi:10.13140/RG.2.2.36190.59201.
[21] Shang Ching Chou (1988): Pembuktian Teorema Geometri Mekanik. D. Perusahaan Penerbitan Reidel, Dor
drecht, Belanda (1988.
´
[22] Waldemar Cieslak, Andrzej Miernowski & Witold Mozgawa (1991): Isoptik tertutup rapat cembung
kurva, geometri diferensial global dan analisis global. Catatan Kuliah Matematika 1481, hlm.28–35,
doi:10.1007/BFb0083625.
[23] David A. Cox, John Little & Donal O'Shea (1992): Cita-cita, Varietas, dan Algoritma. musim semi New York,
Springer Verlag, New York, doi:10.1007/978-1-4757-2181-2.
[24] Thierry Dana-Picard (2005): Integral parametrik dan simetri fungsi. Matematika dan Komputer
Pendidikan 39(1), hlm.5–12.
[25] Thierry Dana-Picard (2005): Teknologi sebagai jalan pintas karena kurangnya pengetahuan teoritis. Internasional
Jurnal Teknologi dalam Pendidikan Matematika 11(3), hlm.101–109.
Machine Translated by Google

Th. Dana-Picard 21

[26] Thierry Dana-Picard (2006): Beberapa Refleksi Bukti Teorema yang dibantu CAS. Jurnal Internasional
untuk Teknologi dalam Pendidikan Matematika 12(4), hal.165–171.
[27] Thierry Dana-Picard (2020): Zona aman di taman hiburan: Amplop, offset, dan konstruksi baru
dari Salib Malta. Dalam Prosiding Elektronik, editor: Matematika dan Teknologi, Konferensi Asia
tentang Teknologi Matematika ACTM 2020;, ISSN (versi online, hlm. 1940–4204.
[28] Thierry Dana-Picard (2021): Amplop dan Offset Dua Kurva Bidang Aljabar: Eksplorasinya
Persamaan dan perbedaan. Matematika dalam Ilmu Komputer 15(4), hlm.757–774, doi:10.1007/s11786-
021-00504-5.

[29] Thierry Dana-Picard & Sara Hershkovitz (2020): Pendidikan STEAM: Keterampilan Teknologi, Latar Belakang Budaya
Siswa dan Krisis Covid-19. Studi Pendidikan Terbuka 2(1), hal. 171–179, doi:10.1515/edu-2020-
0121.
[30] Thierry Dana-Picard & Sara Hershkovitz (2023): Dari Luar Angkasa ke Matematika dan Seni: Seni Virtual di Luar Angkasa
dengan Orbit Planet. Laporan Teknis, Pracetak, 2023.
´ ´
[31] Thierry Dana-Picard & Zoltan Kov acs (2018): Penentuan isoptik otomatis dengan geometri dinamis.
Dalam W. Farmer Rabe, G. Passmore & A. Youssef, editor: Catatan Kuliah Ilmu Komputer, Springer
Penerbitan Internasional, Springer, hlm. 60–75, doi:10.1007/978-3-319-96812-4 6.
´
[32] Thierry Dana-Picard & Zoltan Kovacs (2021): Jaringan teknologi: dialog antara CAS dan DGS.
Jurnal Elektronik Matematika dan Teknologi 15(1), hlm.43–59.
´
[33] Thierry Dana-Picard & Zoltan Kovacs (2022): Pergeseran oval Cassini. Jurnal Elektronik Matematika dan Teknologi 16(1),
hlm.25–39.
´ ´
[34] Thierry Dana-Picard & Zoltan Kov acs (2023): Studi eksperimental isoptik kurva bidang menggunakan pewarnaan
dinamis. Matematika Ilmu Komputer 17(1), doi:10.1007/s11786-022-00555-2. 261-280.
[35] Thierry Dana-Picard, Giora Mann & Nurit Zehavi (2011): Dari persimpangan berbentuk kerucut ke persimpangan torik:
kasus kurva isoptik elips. Penggemar Matematika Montana 9(1), hlm.59–76.
[36] Thierry Dana-Picard & Witold Mozgawa (2020): Eksplorasi otomatis isoptik bagian dalam elips. hari
akhir Geometri 111(2), hal. 34, doi:10.1007/s00022-020-00546-3.
´
[37] Thierry Dana-Picard, Aharon Naiman, Witold Mozgawa & Waldemar Cieslak (2019): Menjelajahi Isoptik
Kurva Fermat pada Bidang Affine Menggunakan DGS dan CAS. Matematika dalam Ilmu Komputer 14(1), hal.
45–67, doi:10.1007/s11786-019-00419-2.
[38] Thierry Dana-Picard & Malka Schaps (1993): Sebuah proyek berbantuan komputer: Klasifikasi Aljabar. Geometri aljabar
komputasi dan aljabar komutatif (Cortona 1991), Cambridge University Press, jembatan Cam. 71–83.

[39] Thierry Dana-Picard & Malka Schaps (1996): Mengklasifikasikan Aljabar Generik: Kasus Lokal. Houston
Jurnal Matematika 22(4), hlm.749–773.
[40] Thierry Dana-Picard & Nurit Zehavi (2016): Kebangkitan topik klasik dalam geometri diferensial: eksplorasi amplop dalam
lingkungan terkomputerisasi. Jurnal Internasional Pendidikan Matematika di
Sains dan Teknologi 47(6), hlm.938–959, doi:10.1080/0020739X.2015.1133852.
[41] Thierry Dana-Picard, Nurit Zehavi & Giora Mann (2014): Kurva bisoptik hiperbola. Di dalam

Jurnal Pendidikan Matematika dalam Sains dan Teknologi ternasional 45(5), hlm.762–781,
doi:10.1080/0020739X.2013.877608.
[42] Thierry Dana-Picard & David Zeitoun (2016): Eksplorasi integral parametrik terkait pertanyaan
mekanika tanah. Jurnal Internasional Pendidikan Matematika dalam Sains dan Teknologi 48(4), hal.
617–630, doi:10.1080/0020739X.2016.1256445.
[43] Thierry Dana-Picard & David G. Zeitoun (2012): Integral tak wajar parametrik, rumus Wallis dan Catalan
angka. Jurnal Internasional Pendidikan Matematika dalam Sains dan Teknologi 43(4), hlm.515–520,
doi:10.1080/0020739X.2011.599877.
Machine Translated by Google

22 Pembuktian dengan bantuan komputer dalam Pendidikan Matematika

[44] Thierry Dana-Picard & David G. Zeitoun (2017): Kerangka Studi Integral Parametrik Berbasis ICT. Matematika dalam Ilmu Komputer
11(3-4), hlm. 285–296, doi:10.1007/s11786-017-0299-z.
´ ´
[45] Regis Debray (2001): D.ieu, un itineraire [46] . Edisi Odile Jacob, Paris.
Paul Drijvers (1995): Kotak putih/kotak hitam ditinjau kembali. Jurnal Turunan Internasional 2(1), hlm.3–14.
[47] Paul Drijvers (2000): Siswa menghadapi kendala menggunakan CAS. Jurnal Internasional Komputer untuk
Pembelajaran Matematika 5(3), hlm.189–209, doi:10.1023/A:1009825629417.
[48] Raymond Duval (2017): Memahami Cara Berpikir Matematis - Register Semiotika
Representasi. Penerbitan Internasional Springer, doi:10.1007/978-3-319-56910-9.
[49] Herbert Gelernter (1963): Realisasi mesin pembuktian teorema geometri. Dalam J. Feldman Feigenbaum,
editor: Komputer dan pemikiran, McGraw-Hill, New York, hlm.134–152.
¨
[50] Anders Kock (2007): Amplop - gagasan dan kepastian. Beitrage zur Algebra und Geometrie (Kontribusi pada Aljabar
dan Geometri) 48, hlm.345–350.
´ ´
[51] Zoltan Kovacs, Thierry Dana-Picard & Tom sebagai Recio (2022): Isoptik bagian dalam parabola. Dalam: Konferensi:
Konferensi Kroasia ke-5 tentang Geometri dan Grafik, Dubrovnik, hlm.4–8.
´ ¨
[52] Zoltan Kovacs & Bernard Parisse (2015): Giac dan GeoGebra — meningkatkan komputasi basis Grobner. Di dalam:
Catatan Kuliah Ilmu Komputer, Springer, hlm.126–138. Aljabar Komputer dan Polinomial.
´ ´
[53] Zoltan Kovacs & Tom sebagai Recio (2020): Augmented Reality Otomatis untuk Matematika Luar Ruangan. di dalam
¨
Penelitian Pendidikan STEM Outdoor di Era Digital, WTM Verlag fur wissenschaftliche Texte und Medien,
¨
Munster, 2020, doi:10.37626/GA9783959871440.0.
´ ´ ´ ´
[54] Zoltan Kov acs, Tom sebagai Recio, Philippe R. Richard, Steven Van Vaerenbergh & M. Pilar V elez (2020): Ke
membangun ekosistem untuk penalaran geometris yang didukung komputer. Jurnal Internasional Matematika
Pendidikan Sains dan Teknologi 53(7), hlm.1701–1710, doi:10.1080/0020739X.2020.1837400.
[55] Maria Alessandra Mariotti (2001): Pembenaran dan Pembuktian di Lingkungan Cabri. Jurnal Internasional
Komputer untuk Pembelajaran Matematika 6(3), hlm.257–281, doi:10.1023/A:1013357611987.
[56] Anfrzej Miernowski & Witold Mozgawa (1997): Pada beberapa kondisi geometris untuk konveksitas isoptik.
Rendiconti del Seminario Matematico Universit'ae Politecnico di Torino 55.
¨
[57] Antonio Montes (2018): Fungsi I-Reguler pada Himpunan Tertutup Lokal. Dalam: Sampul Grobner, 27, Springer
International Publishing, hal. 67–77, doi:10.1007/978-3-030-03904-2 4. Algoritma dan Komputasi dalam
Matematika.

[58] Richard Noss & Celia Hoyles (1996): Jendela Makna Matematika. pegas Belanda,
doi:10.1007/978-94-009-1696-8.

[59] Pavel Pech (2007): Topik Pilihan dalam Geometri dengan Pembuktian Klasik vs. Komputer. Ilmiah Dunia
Penerbit, doi:10.1142/6556.
[60] Helmut Pottmann & Martin Peternell (2000): Teori dan aplikasi komputasi amplop. Di musim semi
Konferensi Grafik Komputer, Universitas Comenius, Bratislava, hlm.3–23.
[61] Pedro Quaresma (2020): Deduksi Otomatis dan Manajemen Pengetahuan dalam Geometri. Matematika di
Ilmu Komputer 14(4), hlm.673–692, doi:10.1007/s11786-020-00489-7.
´ ´
[62] Tomas Recio, Rafael Losada, Zoltan Kov acs & Carlos Ueno (2021): Menemukan Ketimpangan Geometris:
Ruang Penemuan GeoGebra, Pewarnaan Dinamis dan Alat Maple. Matematika 9(20), hal. 2548,
doi:10.3390/math9202548.
´ ˜
[63] Tomas Recio, Piedad Tolmos Rodr ´ÿguez-Pinero, Ana Cid-Cid & Rocio Guede-Cid (edts) (2021): UAP
Pendidikan Guru: Masalah dan Usulan. Matematika (Edisi Khusus). Tersedia di https://www.
mdpi.com/journal/mathematics/special_issues/STEAM_Teacher_Education.
[64] E. Roanes-Lozano, E. Roanes-Mac´ÿas & M. Villar-Mena (2003): Sebuah jembatan antara geometri dinamis dan
aljabar komputer. Pemodelan Matematika dan Komputer 37(9-10), hlm. 1005–1028, doi:10.1016/S0895-
7177(03)00115-8.
Machine Translated by Google

Th. Dana-Picard 23

[65] Eugenio Roanes-Lozano (2002): Meningkatkan Kemungkinan Geometris Sistem Geometri Dinamis dan
Sistem Aljabar Komputer melalui Kerjasama. Dalam H. Kautschitsch Borovcnik, editor: Teknologi di
¨
Pengajaran Matematika. Prosiding ICTMT-5, Schrifrenreihe Didaktik der Mathematik 25. obv & hpt, Wina (2002,
hlm. 335–348.
[66] Vladimir Rovenski (2000): Geometri Kurva dan Permukaan dengan MAPLE. Birkhauser ¨ 2000.
¨
[67] Tino Schultz & Bert Juttler (2011): Perhitungan amplop pada bidang dengan perkiraan implisitisasi. Aljabar yang
Dapat Diterapkan dalam Teknik, Komunikasi dan Komputasi 22(4), hal. 265–288, doi:10.1007/s00200-
011-0149-1.
[68] Juan Refael Sendra, Franz Winkler & Sonia Perez-Diaz (2008): Kurva Aljabar Rasional. Pegas Berlin
Heidelberg, doi:10.1007/978-3-540-73725-4.
[69] Joseph Steiner & Thierry Dana-Picard (2004): Catatan kelas: Mengajar integrasi matematika: manusia
keterampilan komputasi versus aljabar komputer. Jurnal Internasional Pendidikan Matematika dalam Sains
dan Teknologi 35(2), hlm.249–258, doi:10.1080/00207390310001615570.
[70] Dominik Szaÿ (2005): kowski (2005):Isoptik mawar terbuka. Annales Universitatis Mariae Curie Skÿodowska Vol.
LIX Bagian A, hlm.119–128.
´ ´ ´ ´
[71] Rene Thom (1962): Sur la teori des enveloppes . Jurnal de Mathematiques Pures et Appliqu hal. 1962. ya XLI(2),

[72] Luc Trouche (2005): Kejadian Instrumental, Aspek Individu dan Sosial. Dalam Ruthven D. & Trouche dan K.,
editor: Perpustakaan Pendidikan Matematika, Springer-Verlag, hlm. 197–230, doi:10.1007/0-387-23435-7 9.
[73] Lev Vygotsky (1978): Pikiran dalam masyarakat: Perkembangan proses psikologis yang lebih tinggi. Universitas
Harvard Press, Cambridge, MA.
[74] RA Walker (2010): Masalah Sosial Budaya dalam Motivasi. Dalam: Ensiklopedia Internasional Pendidikan,
Elsevier, hal.712–717, doi:10.1016/b978-0-08-044894-7.00629-1.
[75] Wu Wen-Tsun (1986): Prinsip dasar pembuktian teorema mekanik dalam geometri. Jurnal Otomatis
Alasan 2(3), hal. 221–252, doi:10.1007/BF02328447.
¨
[76] Wen tsun Wu (1994): Pembuktian Teorema Mekanik dalam Geometri. Springer Wina, doi:10.1007/978-3-
7091-6639-0.
¨
[77]Wen-Tsu Wu (1984): Beberapa Kemajuan Terbaru dalam Pembuktian Teorema Mekanik Geometri,
doi:10.1090/conm/029/13. Matematika Kontemporer 29.
[78] D. Zeitoun & Th. Dana-Picard (2010): Visualisasi grafik fungsi dua variabel nyata yang akurat.
Jurnal Internasional Ilmu Komputasi dan Matematika 4(1), hlm.1–11. Tersedia di http://
www.waset.org/journals/ijcms/v4/v4-1-1.pdf.
[79] David Zeitoun & Thierry Dana-Picard (2017): Memperbesar algoritma untuk merencanakan fungsi dua secara akurat
variabel nyata. Prosiding Matematika & Statistika (PROMS) 198), Springer. 499–515.