Gọi $\mathbb{X}$ là tập con trong trường hợp này

-----------------------------------------------------------------------

Nếu $(n-2) \in \mathbb{X} \Rightarrow (n-2-m) \in \mathbb{X}$

Nên với mọi phần tử thuộc $\mathbb{X}$ khác $(n-1)$ đều không vượt quá $(n-3-m)$

Vậy số tập con lúc này thêm là $f(n-2-m)$

-----------------------------------------------------------------------

Nếu $(n-2) \not \in \mathbb{X}$

Nên với mọi phần tử thuộc $\mathbb{X}$ khác $(n-1)$ đều không vượt quá $(n-2-m)$

Vậy số tập con lúc này thêm là $f(n-1-m)$

 

Kết luận: Số tập con cần đếm là $$f(n) = f(n-1) + f(n-1-m) + f(n-2-m)$$

Bạn hơi vội chỗ này rồi. Lấy $m=3$, thì ta thấy rằng nếu $n-2 \in \mathbb X \Rightarrow n-5 = n-2-3 \not \in \mathbb X$, nhưng chú ý rằng $n-3$ vẫn có thể nằm trong $X$.

Với $m \ge 2$, phải chú ý các phần tử $n-1,n-2, n-3, \ldots, n-2m$.

Trong phạm trù THCS thì bạn không thể dùng định lý Pascal được.

Mình chưa làm nhưng hướng làm chắc sẽ là dùng phương pháp trùng.

Và nếu muốn phương trình trên có nghiệm duy nhất thì $|k|>1$,điều này không đúng $\forall m,n>0$

Đề chỉ yêu cầu chứng minh có một nghiệm dương duy nhất, chứ không phải nghiệm duy nhất và nghiệm đó dương.

Có thể chứng minh có không quá 1 nghiệm dương như sau:

Giả sử hàm số $f(d)=2d^3+(1+m+n)d^2-mn$ có hai nghiệm dương phân biệt. Ta gọi hai nghiệm đó là $d_1, d_2$. Không mất tính tổng quát, ta giả sử $d_1 > d_2$.

Dễ thấy $d_1^3 > d_2^3$ và $d_1^2 > d_2^2 \Rightarrow f(d_1) > f(d_2) = 0$: vô lý vì $f(d_1)=0$.

Vậy hàm $f$ không thể có quá 1 nghiệm dương.

Giờ chỉ cần chứng minh $f$ có ít nhất một nghiệm dương là hoàn thiện.

Có lẽ THCS chưa có định lý giá trị trung bình, chứ THPT thì có thể nói là $f$ là hàm liên tục trên $\mathbb R$, mà $f(0) < 0$ và $f(d) \rightarrow +\infty$ khi $d \rightarrow \infty$ nên tồn tại $d_0 > 0$ để $f(d_0) = 0$.

Có lẽ là mình đã sai và bài học rút ra là đường nên giả sử nhiều mà phải chứng minh.

Giả sử không phải xấu. Chỉ là bạn đã dừng "quá sớm". Bạn cảm giác được rằng nếu $AC \perp BD$ thì sẽ dẫn tới đpcm.

Giống như bạn đã có nửa cây cầu từ giữa sông tới đích. Giờ bạn chỉ còn thiếu nửa cây từ bờ này tới giữa sông.

@perfectstrong Anh sửa nhầm đề rồi kìa. Đề là $m(m+1)(m+2)$ ạ.

Bạn chủ topic nhắn mình là sửa thành $m(m+1)$.

Bạn đã đăng ở đây

https://diendantoanh...nh-được-chọn-h/

Vui lòng không đăng lại chỗ khác.

Một bài toán thường có nhiều phương pháp để giải quyết, phương pháp của bạn có thể mình chưa được tiếp cận nhiều nên cũng không biết nó có hữu dụng không, mình cũng không phải là một người học giỏi toán hình cho lắm nên cũng cần phải học hỏi thêm nhiều điều để phát triển kĩ năng làm bài.Mình không có ý nói rằng mọi bài toán đều sử dụng "giả sử" nhằm chứng minh, chưa chắc một bài toán nào đó giả sử điều luôn đúng thì có thể chứng minh được, hơn hết bạn đâu thể khẳng định rằng việc giả sử rồi chứng minh nó đúng cho khỏe, mình tin rằng mỗi phương pháp đều có điểm mạnh yếu riêng của nó.Giả sử có thể giả sử kết luận sai và chứng minh nó vô lí hoặc giả sử kết luận đúng và chứng minh nó luôn đúng theo giải thiết,lý luận và dựa vào giả thiết để chứng minh kết luận,giả sử có thể khác lý luận nhưng về cơ bản là đều chứng minh kết luận là luôn đúng.Vấn đề ở đây là tuy theo trình độ và dạng bài cần chứng minh mà đưa ra phương pháp phải phù hợp, đối với mình thì bài toán này dùng giả sử sẽ dễ hơn lập luận thông thường(nếu bạn chỉ làm nó theo một cách và không thực sự muốn chinh phục toàn bộ bài toán)

Cách bạn làm ở trên là bạn giả sử một giả thiết X nào đó, rồi suy ra đpcm. Vấn đề ở chỗ là giả thiết X được suy ra thế nào, chứng minh thế nào, phủ định thế nào, bạn lại không nói. Đấy mới là cái mình không đồng tình.

Cụ thể hơn, trong bài toán trên, bạn giả sử rằng $AC \perp BD$, rồi suy ra đpcm. Vậy giả sử này có mâu thuẫn với điều kiện $AB^2+CD^2=AD^2+CB^2$ không? Hay nó là hệ quả? Mình chứng minh rằng $AB^2 + CD^2 = AD^2 +CB^2 \Rightarrow AC \perp BD$, còn bạn thì giả sử luôn cái cấu hình ấy.

Bạn có chứng minh được không thể có cấu hình nào khác không?

Mở rộng ra một chút thì:

Cách chứng minh của bạn rất hay, nhưng theo mình thì đối với những người học toán trình độ không quá giỏi thì lối chứng minh này rất khó để nghĩ ra.Thay vào đó, họ thường tư duy ngược lại bài toán.Theo yêu cầu của bài toán thì có thể biến đổi $\frac{AC^{2}+BD^{2}}{4}\geq \frac{AC.BD}{2}$(theo BĐT cauchy) và $\frac{AC.BD}{2}$ có thể bằng S_ABCD ,điều này đúng khi AC vuông góc với BD.Việc dựa vào giả thiết mà chứng minh AC vuông góc với BD là rất khó nên theo mình nghĩ việc giả sử rồi chứng minh luôn đúng sẽ tốt hơn(theo ý kiến cá nhân).Nhưng dù sao thì cảm ơn bạn đã đóp góp cho bài viết của mình

Phương pháp trùng là cách rất căn bản trong nhiều bài toán để chứng minh một đối tượng có nhiều tính chất.

Bạn sử dụng "giả sử" như vậy là sai phương pháp lý luận trong toán. Giờ cứ gặp "khó khăn" nào trong chứng minh là ta giả sử luôn điều đó đúng cho khỏe xác? Vậy thì chắc chẳng có giả thuyết nào trụ nổi trước phương pháp của bạn.

Cho tập hợp gồm $2n$ số tự nhiên đầu tiên, hỏi có bao nhiêu tập con (tính cả tập rỗng) của tập đó sao cho không có $2$ phần tử nào trong tập con đó cách nhau đúng $2$ đơn vị.

Mình không hiểu $2n$ thì khác gì với trường hợp $2n+1$ lắm, nên mình sẽ xét trường hợp tổng quát là $n$.

Để bắt đầu truy hồi, ta luôn đặt $f(n)$ là hàm đại diện cho đại lượng cần đếm. Ở đây là: "số tập con của $S(n)$ sao cho không có $2$ phần tử nào có hiệu bằng $2$" với $S(n)=\{0,1,\ldots,n-1\}$ tập $n$ số tự nhiên đầu tiên.

Sau đó, ta xác định $f(n)$ dựa trên các giá trị có trước (truy hồi): $f(n-1), f(n-2), \ldots$.

Ta thấy rằng để từ $S(n-1)$ lên $S(n)$, ta phải thêm số $n-1$ vào, do đó ta cần tìm hiểu xem con số $n-1$ này sẽ được sử dụng như thế nào để xây dựng các tập con của $S(n)$ mà vẫn thỏa đề.

TH1: Nếu ta không dùng $n-1$, tức là ta chỉ dùng các số tự nhiên không quá $n-2$. Vậy ta đang đếm $f(n-1)$.

TH2: Nếu ta dùng $n-1$: xét một $X$ tập con thỏa đề có chứa $n-1$. Dễ thấy $n-3 \not \in X$.

TH2.1: Nếu $n-2 \not \in X$, thế thì mọi phần tử khác $n-1$ của $X$ đều không vượt quá $n-4$. Vậy ta có thêm $f(n-3)$ tập con thỏa đề.

TH2.2: Nếu $n-2 \in X \Rightarrow n-4 \not \in X$. Suy ra mọi phần tử khác $n-1$ và $n-2$ của $X$ đều không vượt quá $n-5$. Vậy ta có thêm $f(n-4)$ tập.

Tổng cộng, ta sẽ có $$f(n)=f(n-1)+f(n-3)+f(n-4)$$

Ta liệt kê "vài" trường hợp đầu tiên. Với mỗi $n$, ta sẽ liệt kê các tập con thành nhiều hàng, mỗi hàng sẽ có chung phần tử lớn nhất.

$n=1$:

\[\begin{array}{c}
\left\{ {} \right\}\\
\left\{ 0 \right\}
\end{array}\]

$n=2$:

\[\begin{array}{c}
\left\{ {} \right\}\\
\left\{ 0 \right\}\\
\left\{ 1 \right\},\left\{ {1,0} \right\}
\end{array}\]

$n=3$:

\[\begin{array}{c}
\left\{ {} \right\}\\
\left\{ 0 \right\}\\
\left\{ 1 \right\},\left\{ {1,0} \right\}\\
\left\{ 2 \right\},\left\{ {2,1} \right\}
\end{array}\]

$n=4$:

\[\begin{array}{c}
\left\{ {} \right\}\\
\left\{ 0 \right\}\\
\left\{ 1 \right\},\left\{ {1,0} \right\}\\
\left\{ 2 \right\},\left\{ {2,1} \right\}\\
\left\{ 3 \right\},\left\{ {3,2} \right\},\left\{ {3,0} \right\}
\end{array}\]

$n=5$:

\[\begin{array}{c}
\left\{ {} \right\}\\
\left\{ 0 \right\}\\
\left\{ 1 \right\},\left\{ {1,0} \right\}\\
\left\{ 2 \right\},\left\{ {2,1} \right\}\\
\left\{ 3 \right\},\left\{ {3,2} \right\},\left\{ {3,0} \right\}\\
\left\{ 4 \right\},\left\{ {4,3} \right\},\left\{ {4,1} \right\},\left\{ {4,0} \right\},\left\{ {4,3,0} \right\},\left\{ {4,1,0} \right\}
\end{array}\]

$n=6$

\[\begin{array}{c}
\left\{ {} \right\}\\
\left\{ 0 \right\}\\
\left\{ 1 \right\},\left\{ {1,0} \right\}\\
\left\{ 2 \right\},\left\{ {2,1} \right\}\\
\left\{ 3 \right\},\left\{ {3,2} \right\},\left\{ {3,0} \right\}\\
\left\{ 4 \right\},\left\{ {4,3} \right\},\left\{ {4,1} \right\},\left\{ {4,0} \right\},\left\{ {4,3,0} \right\},\left\{ {4,1,0} \right\}\\
\left\{ 5 \right\},\left\{ {5,4} \right\},\left\{ {5,2} \right\},\left\{ {5,1} \right\},\left\{ {5,0} \right\},\left\{ {5,4,1} \right\},\left\{ {5,4,0} \right\},\left\{ {5,2,1} \right\},\left\{ {5,1,0} \right\},\left\{ {5,4,1,0} \right\}
\end{array}\]

Bạn thử kiểm tra xem có đúng không nhé Công thức tổng quát xin nhường bạn.

Theo mình thì giả sử AC vuông góc với BD sau đó chứng minh luôn đúng theo pitago được $S_{ABCD}=\frac{1}{2}AC.BD\leq \frac{AC^2+BD^2}{4}$

Vì sao lại "giả sử" mà không chứng minh?

Giả thiết đã cho tương đương với $BA^2-BC^2 = DA^2-DC^2 \, (1)$. Đây là điều kiện cần và đủ để có $BD \perp AC$.

Nếu ở THPT thì có thể dùng vector, còn ở THCS thì chiều đảo hiển nhiên đúng do Pythagore, còn chiều thuận thì như sau:

Hạ $BH, DK$ vuông góc với $AC$.

$(1) \Leftrightarrow HA^2 - HC^2 = KA^2 - KC^2 \, (2)$.

Gọi $M$ là trung điểm $AC$. Ta có nhận xét như sau:

Với nhận xét đó và $(2)$, ta sẽ tìm cách chứng minh $H \equiv K$.

TH1: $H \equiv M$. TH này dễ thấy $K \equiv M$.

TH2: $H$ thuộc tia $MA$. Từ $(2)$, ta có $KA < KC$, nên do Theorem, ta cũng có $M$ nằm giữa $K,C \, (*)$.

TH2.1: $H$ nằm giữa $A,M$.

$(2) \Rightarrow (KC - KA)(KC + KA) = (HC-HA)(HC + HA) = 2HM.AC \, (3)$

Nếu $A$ nằm giữa $K, C$ thì $(KC - KA)(KC + KA)= AC(KC + KA) > AC^2 > 2HM.AC$ (vì $2HM < 2AM=AC$): mâu thuẫn với $(2)$.

Nên $K$ nằm giữa $A, C$. Kết hợp với $(*)$, ta có $K$ nằm giữa $A,M$.

Do đó $(3) \Rightarrow 2KM.AC = 2HM.AC \Rightarrow KM = HM \Rightarrow K \equiv H$.

TH2.2: $A$ nằm giữa $H, M$

$(2) \Rightarrow (KC - KA)(KC + KA) = (HC-HA)(HC + HA) = 2AC.HM \, (4)$

Nếu $K$ nằm giữa $A,M$ thì $(KC-KA)(KC+KA)=2KM.AC < 2AC.HM$: mâu thuẫn với $(2)$. Nên $A$ nằm giữa $K, M$.

Từ đó $(2) \Rightarrow AC.2KM=2AC.HM \Rightarrow KM = HM \Rightarrow K \equiv H$.

TH3: $H$ thuộc tia $MC$. Tương tự với TH2.

Vậy, ta luôn có $K \equiv H$, đồng nghĩa với $BD \perp AC$ (đpcm).

Có $(a^y+b^y+c^y)^x3^{y-x}\\ =(a^y+b^y+c^y)(a^y+b^y+c^y)...(a^y+b^y+c^y)(1+1+1)...(1+1+1)\\ \geq (a^x+b^x+c^x)^y=3^y \Rightarrow (a^y+b^y+c^y)^x\geq 3^x$ hay đpcm

Nếu $y$ không phải là số nguyên thì sao bạn? Chẳng hạn $y = \frac{3}{2}$ ?

Hình sẽ trông kiểu kiểu như vậy:  s.png

Một cách để định nghĩa là $O_1, O_2$ nằm cùng nửa mặt phẳng so với đường thẳng $d$.

$d$ là một đường thẳng bất kỳ nằm dưới 2 đường tròn

Mặc dù hiểu ý bạn, nhưng mình nghĩ bạn nên định nghĩa rõ ràng thế nào là "nằm dưới 2 đường tròn".

$d$ là đường thẳng à bạn? Và $d$ nằm đâu?

Nhìn lời giải của các bạn thì có thể thấy rằng việc $A,B$ nằm ngoài $(O)$ không thật sự cần thiết. Chỉ cần $O$ nằm giữa $A,B$.

Như vậy, ta có thể thu gọn một chút mở rộng ở trên thành kết quả như sau:

Nhìn hai bạn "song kiếm hợp bích" đẹp mắt quá. Giờ mà dừng lại thì thật uổng phải không?

Thực ra đây vẫn là bài toán con bướm, chỉ là thay vì cắt bên trong đoạn $AB$ thì cắt ở ngoài

Khi đọc đề bài, mình nhớ tới một bài mà anh E. Galois đăng hồi lâu:

Cho hai điểm $A,B$ cùng nằm ở bên ngoài đường tròn $(O,r)$. Xác định vị trí điểm $M \in (O)$ sao cho $MA+MB $ nhỏ nhất

https://diendantoanh...o-mamb-nhỏ-nhất

Ở đây chỉ có bài toán tìm min với trường hợp tổng quát. Nhưng nếu suy nghĩ tìm max thì cũng sẽ rất thú vị

Hãy thử tăng độ khó lên một chút : Tìm GTLN của $MA + MB$ khi $A, B$ đều nằm ngoài $(O)$ và $O$ nằm giữa $A,B$.

mình k bt dùng kí hiệu trong này 
A= xy+yz+xz +12-xy-yz-xz/3(x+y+z )

gt: 3(x+y+z)² - 5(xy+yz+xz)=12

đắt x+y+z=a, xy+yz+xz=b.

Cm dc a <=3 . b<=3

A=b +12-b/3a=b+ a(12-b)/3a²

A<= b+ 36-3b/12+5b = 9b+5b^2+36/12+5b

CM A<=4. tương đương 11b+12>=5b^2

Do 12>= 4b (=) 15b>=5b^2( đúng)

=) A<=4

 

Min 

do b>=0 =) 3a² >=12 =) a>=2

A= b + a(12-b)/3a² 

A>= b+ 24-2b/12+5b = 5b² +10b+24 / 12+5b >= 10b +24 / 5b+12 =2

Min A=2 khi (x,y,z) là hoán vị của (0,0,2)

Bạn học cách gõ LaTeX qua hướng dẫn ở đây https://diendantoanh...-trên-diễn-đàn/

Diễn đàn có nơi tập gõ LaTeX: https://diendantoanh...-trên-diễn-đàn/

Mình đã sửa bài của bạn theo LaTeX, tuy nhiên bạn không đặt dấu ngoặc để phân biệt tử số mẫu số gì cả, nên có thể có sai sót.

Để đơn giản trước thì hãy thử với $6 \times 6$ và mỗi hàng một cột có 3 mã xem

Cho bàn cờ $4*4$.

Có bao nhiêu cách đặt các quân mã lên bàn cờ đó sao cho trên mỗi ô chứa nhiều nhất 1 quân mã, mỗi quân mã chỉ nằm trên 1 ô và mỗi hàng, mỗi cột chỉ chứa đúng 2 quân mã?

Câu hỏi phụ: có bao nhiêu cách đặt quân mã thỏa đề mà chúng không ăn nhau ?

Đã nhắc tới quân mã mà không đặt thêm một câu hỏi phụ như vậy thì phí quá

Từ một điểm được cho trong vùng làm việc Geogebra, cần trích xuất một thành phần toạ độ của điểm đó (giá trị hoành độ thôi chẳng hạn) thì phải làm thế nào? Xin được chỉ dẫn. Thanks!

Trong khung lệnh, bạn gõ $x(M)$ (hoành độ) hoặc $y(M)$ (tung độ) với $M$ là điểm cần tìm.

Khi soạn LaTeX, mình lúc nào cũng để ở đầu trang dòng này để bật displaystyle ở mọi chỗ:

\everymath{\displaystyle}

TeX còn hỗ trợ vài định dạng khác, bạn tham khảo ở đây: https://www.overleaf...le_in_math_mode

Không đăng một bài nhiều lần.

https://diendantoanh...24-điểm-đã-cho/