Solution:
In order for the expression 2x+3y to be a perfect square, a positive integer t such that 2x+3y=t2 should exist.
Case 1. If x is even, then there exists a positive integer z such that x=2z. Then
(t−2z)(t+2z)=3y
Since t+2z−(t−2z)=2z+1, which implies gcd(t−2z,t+2z)∣2z+1, it follows that gcd(t−2z,t+2z)=1, hence t−2z=1 and t+2z=3y, so we have 2z+1+1=3y.
For z=1 we have 5=3y which clearly has no solution. For z≥2 we have (modulo 4) that y is even. Let y=2k. Then 2z+1=(3k−1)(3k+1) which is possible only when 3k−1=2, i.e. k=1,y=2, which implies that t=5. So the pair (4,2) is a solution to our problem.
Case 2. If y is even, then there exists a positive integer w such that y=2w, and
(t−3w)(t+3w)=2x
Since t+3w−(t−3w)=2⋅3w, we have gcd(t−3w,t+3w)∣2⋅3w, which means that gcd(t−3w,t+3w)=2. Hence t−3w=2 and t+3w=2x−1. So we have
2⋅3w+2=2x−1⇒3w+1=2x−2
Here we see modulo 3 that x−2 is even. Let x−2=2m, then 3w=(2m−1)(2m+1), whence m=1 since gcd(2m−1,2m+1)=1. So we arrive again to the solution (4,2).
Case 3. Let x and y be odd. For x≥3 we have 2x+3y≡3(mod4) while t2≡0,1(mod4), a contradiction. For x=1 we have 2+3y=t2. For y≥2 we have 2+3y≡2(mod9) while t2≡0,1,4,7(mod9). For y=1 we have 5=2+3=t2, clearly this doesn't have solution.
Note. The proposer's solution used Zsigmondy's theorem in the final steps of cases 1 and 2.