Để giải bài toán này, ta có thể sử dụng phương pháp đệ quy. Gọi f(a,b) là số lượng mảnh giấy hình vuông thu được từ tờ giấy ban đầu có kích thước a*b. Khi gấp chéo tờ giấy ban đầu, ta sẽ thu được hai tờ giấy mới có kích thước a/√2 * b và b/√2 * (a-b). Do đó, ta có công thức đệ quy:

f(a,b) = 1 + f(b, a-b/√2) nếu a > b
f(a,b) = 1 nếu a = b

Giải thích: Nếu a = b, tờ giấy ban đầu đã là hình vuông, không cần cắt thêm. Ngược lại, ta sẽ cắt tờ giấy ban đầu thành một mảnh hình vuông và một mảnh hình chữ nhật có kích thước b*(a-b). Sau đó, ta tiếp tục cắt mảnh hình chữ nhật này theo cùng cách cho đến khi thu được các mảnh giấy hình vuông.

Áp dụng công thức đệ quy trên, ta có thể viết chương trình tính số lượng mảnh giấy hình vuông từ tờ giấy ban đầu có kích thước a*b như sau:

```
int countSquares(int a, int b) {
if (a == b) {
return 1;
} else {
return 1 + countSquares(b, (int)(a - b / sqrt(2)));
}
}
```

Lưu ý: Trong công thức đệ quy, ta phải ép kiểu kết quả của biểu thức a - b/√2 về kiểu int để tránh sai số khi tính toán.