Profil Penalaran Proporsional Siswa SMA dalam Menyelesaikan Masalah Matematika Berdasarkan Tipe Kepribadian