AoPS Academy
[/quote]
, do not answer with "
is a solution" only. Either you post any kind of proof or at least something unexpected (like "
is the smallest solution). Someone that does not see that is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
be circumscribed about circle 
, and let 
be the orthocenter of 
. The circle touches line 
at 
. The tangent to the circle 
at meets at 
. Let 
be the midpoint of 
, and let the line 
meet again at 
. The tangent to parallel to meets the line 
at 
. Prove that 
is tangent to .
be an acute-angled triangle, with circumcenter 
, circumradius 
and orthocenter . Let 
be a point on such that 
. Define 
and 
similarly.
, prove that is equilateral.
with circumcenter 
. Let be a point on 
such that 
. Denote 
the point on satisfying 
. If 
is the projection of onto , show that 
passes through the orthocenter of .
+1 w
be an acute angled scalene triangle with circumcircle 
. Let and be the circumcenter and orthocenter of 
respectively. Let 
and 
be points on segments 
and , respectively, such that
Prove that 
and 
intersect on the circumcircle of 
.
we consider the last digit different from zero in the decimal expansion of 
. The infinite sequence of these digits starts with 
. Determine all digits which occur at least once in this sequence, and show that each of those digits occurs in fact infinitely often.
be a quadrilateral such that 
and 
are acute and 
. Suppose that 
, prove that 
.
be a triangle inscribed in a circle, where the tangents to the circle at points 
and 
intersect at the point 
. Let 
be a point on the arc 
(not containing ) such that 
and 
. Let the lines and 
intersect at point 
. Let 
be the reflection of with respect to the line . The lines 
and 
intersect at point , and intersects the circumcircle of again at point . lies on the circumcircle of 
.
, 
, and 
. Points and of the sides and respectively, are such that 
and 
. Calculate the lenght of 
.
, then jumps in some order on each of the numbers 
exactly once and finally returns with his last jump to . Can the total distance he travelled with these 
jumps be a) 
, b) 
?
be any point on side of .Let 
and 
be points on 
and such that 
and 
respectively. Prove that the locus of circumcenter of 
is a line.
, such that 
Prove that :
equality cases : ?
. We show that there are no other solutions. Since 
must be odd, assume 
.
be the least prime factor of . We have 
since is odd. Furthermore, 
.
mod is 
. This is because the order must divide 
, which must equal otherwise must have smaller prime factors which also divide , contradicting 's minimality. Thus, 
, so 
.
to divide 
, we must have 
. Since 
, using the lifting the exponent lemma yields 
. We then conclude that 
, but since 
is the smallest prime factor of , we must have 
.
for some 
not divisible by 
or . Since , we have 
and we can let be the smallest prime factor of . But similarly to before, we see that 
and thus 
. This means 
. Since 
, we must have 
. is divisible by 
. However, 
, so we are done.
is the smallest prime dividing , so we have 
. Clearly 
. Let denote the order of 
. Observe that 
, and since 
, we have 
. 
is impossible, which means 
.
is the next smallest prime dividing , we have 
. 
fails upon checking. is the only prime dividing . We need 
, for 
. By LTE, 
.
, which clearly works. 
, which works as well. So, we are done.
. This implies that 
. Also note that 
is a solution so suppose 
. Now take the smallest prime factor of (notice that this can’t be ). We have that 
and also note that 
so this order must be equal to . Hence =3.
where 
and 
is an odd integer. We have: 
But we clearly have 
and from LTE 
hence 
must be qual to so we get that 
.
. Now 
is a solution (
) so suppose that 
. Let be the smallest prime factor of and note that this isn’t or . We similarly get that 
so 
so from minimality this implies 
. Hence 
. In either case, we get that 
so 
which isn’t possible. Therefore the only solutions are and 
.
is odd. dividing then order of modulo divides 
but not and it also divides 
implying the order must be giving that the smallest prime must be the smallest prime.
gives us that 
=
which is greater than 
implying 
where is an odd number not divisible by . Plugging this and using similar order arguments, we get that divides 
which is false implying .
is the only solution.
which clearly works.
and let 
be the smallest prime divisor of 
with 
for 
. Let 
. Since 
, it follows that 
and 
. So 
where 
for all 
. But 
and thus 
. From this it follows that 
for some 
. If 
then 
which is absurd. If 
then from 
it follows that 
which is absurd as well.
and 
. From here it's easy to get that 
. So 
(by LTE 
and thus 
and so 
) and 
. We have 
and let's assume 
and that 
is the smallest prime divisor. Let 
and as before we get 
( cannot be 
because of the same reason as before). If 
then 
but this is impossible. So 
and 
. From this we get 
and so 
. Note that 
, so 
but this is a contradiction since 
. From this contradiction it follows that 
and we get the desired solution set.
, which clearly works.
, where is the smallest prime factor of . But 
, and thus 
stuff that
Now let 
where 
.
where is the smallest prime divisor of 
.
.
is impossible because then 
, and is impossible because 
, and so can never divide the numerator. Thus in fact no such prime exists, and 
.
is an integer 
be the smallest prime divisor of (such a prime exists because 
). because RHS
is the smallest prime divisor of we get that 
so 
and 
we get:
-prime)
so simmilarly as before let be the smallest prime divisor of hence we find that 
however if then:
but RHS
so 
we get:
such that 
hence 
which obviously works 
must be odd, and suppose that . Letting be the minimal prime divisor of , we have 
and thus 
. We also have 
. By minimality , so it follows that 
.
and 
. Then 
from exponent lifting, giving 
. Thus . for , so that 
occurs if and only if . Let be the smallest prime factor of . Then similarly 
. Hence 
, but 
as . and 
as 
. Thus cannot exist; in other words, we have . is thus 
. 
must be odd, and suppose that . Letting be the minimal prime divisor of , we have and thus . We also have . By minimality , so it follows that . and . Then from exponent lifting, giving . Thus . for , so that occurs if and only if . Let be the smallest prime factor of . Then similarly . Hence , but as . and as . Thus cannot exist; in other words, we have . is thus . 
which satisfy the given condition are and . It is clear that these solutions work, so we shall now show that they are the only ones. clearly works, we consider in what follows. Further, the left hand side is clearly odd for all 
so we must have being odd. We first show the following. which satisfies the given divisibility, must be the smallest prime divisor of . denote the smallest prime divisor of . Since 
it follows that 
. Thus, 
. Also, 
so if there exists an odd prime 
we have 
so 
. But, 
so 
which contradicts the minimality of . Thus, 
is a perfect power of two. Now, since 
as is odd we must have 
. Thus,![\[0 \equiv 2^n+1 \equiv 2 +1 \equiv 3 \pmod{q}\]](http://latex.artofproblemsolving.com/8/a/6/8a6f4845b7053180d80012ca1aaa9686bd5f580f.png)
which holds if and only if 
as desired.![\[2\nu_3(n)=\nu_3(n^2) \le \nu_3(2^n+1) = \nu_3(2+1)+\nu_3(n)=\nu_3(n)+1\]](http://latex.artofproblemsolving.com/9/0/b/90bdf0b9fd83642fd3786a834717e2bb493ca69d.png)
which implies that 
. Thus, if is a power of it must be itself, which works. Next, we consider 
and hence, there exists a second smallest prime divisor 
of . As before note that if 
is not a power of two, must have a smaller prime divisor than 
. Thus, can only have factors of and in it's prime factorization. However, as noted before, 
and 
so the only possibilities are 
and 
. The former implies that 
which is a contradiction while the second implies 
which requires 
. Thus we must have 
. But it is not hard to check that 
over all positive integers so this is a contradiction and we are done.
![$$\left(a^{3}+b^{3}+c^{3}-3abc\right)^{2}-\left[a^{3}+b^{3}+c^{3}+3abc-ab(a+b)-bc(b+c)-ca(c+a)\right]^{2}\ge 2k\cdot(a-b)^{2}(b-c)^{2}(c-a)^{2}$$](http://latex.artofproblemsolving.com/d/2/4/d24b46e65a587fbd977467b6e4e31838a0eb57aa.png)
forall 
such that![\[ \frac {2^n + 1}{n^2}
\]](http://latex.artofproblemsolving.com/9/2/2/922444e7669c326efcad5fde3ea00f8c2d9fa5d8.png)
is an integer.
be the set of all solutions and 
be the set of all prime factors of the solutions.
is 3.
and let's try to determine the second smallest element 
.
be a multiple of 
.
(otherwise it is easy to get that any power of 
divides 
,
where 
or 
and 
does not have prime divisors smaller than 
,
of 2 modulo 
.
must be even, since otherwise we would have 
,
.
we must have 
or 
.
and 
deliver only one new prime factor 
,
.
,
and thus 
.
Since 2n + 1 | 22n − 1, 
be the smallest prime divisor of 
is obviously solution. Let 
. 
and 
(By the fermat's theorem), we obtain that 
.
is a primitive root modulo 
.
.
.
.
.
.
.
which is a contradiction.If 
then 
.
when 
.
so 
with 
odd
then 
.
wich 
then 
then 
is divisible by 
,
.
.
positive integers such that 
is an integer. Find all 
.
but this is not true for any prime 
and so you can't use LTE here.
t
and so let 
where 
b
similarly the smallest prime factor of 
is 
c
and
and we get 
implying 
.
