@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix problem_type: <https://w3id.org/kmath/problem_type/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skill: <https://w3id.org/kmath/skill/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix solution_pattern: <https://w3id.org/kmath/solution_pattern/> .

solution_pattern:induction_inequality_proof a math:SolutionPattern ;
    rdfs:label "부등식의 수학적 귀납법 증명"@ko ;
    skos:definition "n ≥ a에서 성립하는 부등식을 시작값 확인과 중간식 비교를 거쳐 귀납법으로 증명하는 전략."@ko ;
    skos:editorialNote "2026-09-28 GRIP 대수 개념서와 시발점 워크북 대수의 풀이를 분석해 추가했다(근거: GRIP 10-8 check point·예제·실전 017–018, 시발점 Theme 35 #12). 교사 검토가 필요하다."@ko ;
    skos:prefLabel "부등식의 수학적 귀납법 증명"@ko ;
    math:appliesTo problem_type:mathematical_induction_proof ;
    math:hasStep [ ],
        [ ],
        [ ],
        [ ],
        [ ] ;
    math:requiresConcept concept:inequality,
        concept:mathematical_induction ;
    math:usesSkill skill:induction_inequality_bridging,
        skill:induction_step .