理科生墜入情網，故嘗試證明之